]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bd41370) | patch
[Ada] SCOs: generate 'P' decisions for [Type_]Invariant pragmas
authorMatthieu Eyraud <eyraud@adacore.com>
Wed, 7 Jul 2021 17:33:25 +0000 (19:33 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 21 Sep 2021 15:25:02 +0000 (15:25 +0000)
commit57fb9d3820cd955ba0af1baadb27cd9a756a87c8
treeb67de84c27465c6dc4c5324f76c82d9d127b7225tree
parentbd413702ce3106573655490668bdf8dcd6a680c9commit | diff
[Ada] SCOs: generate 'P' decisions for [Type_]Invariant pragmas

gcc/ada/

* par_sco.adb (Traverse_One): Add support for pragma Invariant /
Type_Invariant.
gcc/ada/par_sco.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git