diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2023-03-04 18:07:55 +0100 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-05-25 09:44:17 +0200 |
| commit | 845d4419da1abe839431af7e6bf5aaecec932486 (patch) | |
| tree | c6f0e625095b95c787e7e6125348e890672df643 /gcc/tree-vectorizer.h | |
| parent | 54d8dbebf1b1b7f2ff5dcaa50a7b17c116ddb60f (diff) | |
| download | gcc-845d4419da1abe839431af7e6bf5aaecec932486.zip gcc-845d4419da1abe839431af7e6bf5aaecec932486.tar.gz gcc-845d4419da1abe839431af7e6bf5aaecec932486.tar.bz2 | |
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.
Diffstat (limited to 'gcc/tree-vectorizer.h')
0 files changed, 0 insertions, 0 deletions