diff options
| author | Yannick Moy <moy@adacore.com> | 2023-01-05 10:18:51 +0100 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-05-15 11:36:41 +0200 |
| commit | c9ed0840840911e3e936f15327acda3f807d7142 (patch) | |
| tree | 47aa98ff46723c3b3a96cc23c8430b0391df1287 /libgcc | |
| parent | b7d26cb1fe3e8f8b44ae82894750d18d2094234e (diff) | |
| download | gcc-c9ed0840840911e3e936f15327acda3f807d7142.zip gcc-c9ed0840840911e3e936f15327acda3f807d7142.tar.gz gcc-c9ed0840840911e3e936f15327acda3f807d7142.tar.bz2 | |
ada: Allow pragmas Annotate between loop pragmas
Pragma Annotate is now allowed between loop pragmas, in order to
be able to justify separate loop checks in GNATprove.
gcc/ada/
* sem_prag.adb (Check_Grouping): Allow Annotate pragmas between
loop pragmas.
Diffstat (limited to 'libgcc')
0 files changed, 0 insertions, 0 deletions