]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 800363a) | patch
ada: Match assertion levels by name
authorViljar Indus <indus@adacore.com>
Tue, 2 Sep 2025 14:11:14 +0000 (17:11 +0300)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Mon, 15 Sep 2025 12:59:32 +0000 (14:59 +0200)
commitdde7f4252e32b47493a2a6ce45d8d29bede4b2db
tree5e81d76f97ff7a01ded18bb61cb462285eff2490tree
parent800363a1bc5bc108769af636419bae2ead3e5155commit | diff
ada: Match assertion levels by name

Since Assertion_Levels cannot be named after valid assertion names
we no longer need the policies to be matched by entity.

gcc/ada/ChangeLog:

* sem_prag.adb (Get_Applicable_Policy): Match assertion levels
by name.
gcc/ada/sem_prag.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git