]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 54d6ce3) | patch
ada: Accept duplicate SPARK_Mode pragmas in configuration files
authorPiotr Trojanek <trojanek@adacore.com>
Tue, 2 Jul 2024 13:19:41 +0000 (15:19 +0200)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Thu, 1 Aug 2024 15:14:38 +0000 (17:14 +0200)
commitaced54ff681f671b2c5b99d18dddbbc570ac2a57
tree231eee1d61dc76821a35780caed3c83b5fc43b51tree
parent54d6ce3f067f529e2dbfe237a12e5b65548e298ccommit | diff
ada: Accept duplicate SPARK_Mode pragmas in configuration files

For consistency, we now accept duplicate SPARK_Mode pragmas in
configuration files just like we accept other duplicate pragas there.

gcc/ada/

* sem_prag.adb (Analyze_Pragma): Don't check for duplicate
SPARK_Mode pragmas in configuration files.
gcc/ada/sem_prag.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git