]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5db0a4c) | patch
ada: Fix the detection of configuration pragmas
authorViljar Indus <indus@adacore.com>
Wed, 19 Mar 2025 09:28:13 +0000 (11:28 +0200)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Tue, 10 Jun 2025 07:32:04 +0000 (09:32 +0200)
commitc8d739794646ace3c19e078a7bca67c0e3bdfbdf
tree4dd94a42c097100f69756978deb1a1d419878ad6tree | snapshot
parent5db0a4c3c736a2164774344c3c1b4c3b34e59a75commit | diff
ada: Fix the detection of configuration pragmas

Some pragma nodes like the ones for Assertion_Policy are
replaced by a Null_Statement. This is not taken into account
when analyzing if the pragma is a configuration pragma.

gcc/ada/ChangeLog:

* sem_prag.adb (Is_Configuration_Pragma): Check that nodes
preceding the pragma are pragma nodes or originally were
pragma nodes.
gcc/ada/sem_prag.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git