]> gcc.gnu.org Git - gcc.git/commit
git://gcc.gnu.org / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d1ae373) | patch
[Ada] Propagate Has_Inherit{able,ed}_Invariants to base types
authorEric Botcazou <ebotcazou@adacore.com>
Wed, 11 May 2022 08:10:52 +0000 (10:10 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 2 Jun 2022 09:06:38 +0000 (09:06 +0000)
commitdc94991cb702e6432de9fea3a2980c5076d49a63
tree0855daefcc11c50c6997aef32d2af7db8ff9f01dtree
parentd1ae37393be7f3fae1cbae075c8302f8d1847965commit | diff
[Ada] Propagate Has_Inherit{able,ed}_Invariants to base types

The two flags apply to base types only like Has_Own_Invariants.

gcc/ada/

* sem_util.adb (Propagate_DIC_Attributes): Add ??? comment.
(Propagate_Invariant_Attributes): Likewise.  Propagate the
Has_Inheritable_Invariants and Has_Inherited_Invariants to
the base type of the target type.
gcc/ada/sem_util.adb diff | blob | blame | history
GNU Compiler Collection
This page took 0.050036 seconds and 5 git commands to generate.