| commit | 845d4419da1abe839431af7e6bf5aaecec932486 | |
| author | Piotr Trojanek <trojanek@adacore.com> | |
| Sat, 4 Mar 2023 17:07:55 +0000 (4 18:07 +0100) | ||
| committer | Marc Poulhiès <poulhies@adacore.com> | |
| Thu, 25 May 2023 07:44:17 +0000 (25 09:44 +0200) | ||
| tree | c6f0e625095b95c787e7e6125348e890672df643 | treesnapshot (tar.gz zip) |
| parent | 54d8dbebf1b1b7f2ff5dcaa50a7b17c116ddb60f | commitdiff |
ada: Prevent search of calls in preconditions from going too far
When determining whether a call to protected function appears within
a pragma expression we can safely stop at the subprogram body.
Cleanup related to recently added support for a new SPARK aspects,
whose implementation was based on Contract_Cases.
gcc/ada/
* sem_util.adb (Check_Internal_Protected_Use): Add standard protection
against search going too far.
When determining whether a call to protected function appears within
a pragma expression we can safely stop at the subprogram body.
Cleanup related to recently added support for a new SPARK aspects,
whose implementation was based on Contract_Cases.
gcc/ada/
* sem_util.adb (Check_Internal_Protected_Use): Add standard protection
against search going too far.
| gcc/ada/sem_util.adb | diffblobblamehistory |