]> gcc.gnu.org Git - gcc.git/commit
git://gcc.gnu.org / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b7d26cb) | patch
ada: Allow pragmas Annotate between loop pragmas
authorYannick Moy <moy@adacore.com>
Thu, 5 Jan 2023 09:18:51 +0000 (10:18 +0100)
committerMarc Poulhiès <poulhies@adacore.com>
Mon, 15 May 2023 09:36:41 +0000 (11:36 +0200)
commitc9ed0840840911e3e936f15327acda3f807d7142
tree47aa98ff46723c3b3a96cc23c8430b0391df1287tree
parentb7d26cb1fe3e8f8b44ae82894750d18d2094234ecommit | diff
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.
gcc/ada/sem_prag.adb diff | blob | blame | history
GNU Compiler Collection
This page took 0.059485 seconds and 5 git commands to generate.