]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 31bd253) | patch
ada: VAST found bug: Itypes with Parent
authorBob Duff <duff@adacore.com>
Thu, 27 Mar 2025 10:14:33 +0000 (06:14 -0400)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Tue, 10 Jun 2025 07:32:08 +0000 (09:32 +0200)
commite564160f91b3ac49bf006873f00bb94104ea521f
tree523971fba537de0ce06cd474907178e933902f69tree
parent31bd253c363e61f14eb7a530e0d6824beb72ca9ccommit | diff
ada: VAST found bug: Itypes with Parent

Fix the comment about Itypes, so the Parent field is no longer required.

Change VAST to no longer require it. Remove Check_Itype_Parents
from Check_Enum; it can no longer fail, so there's no point in
making it switchable.

gcc/ada/ChangeLog:

* einfo.ads (Associated_Node_For_Itype): Document that
Parent field may be empty.
* vast.adb:  Allow empty Parent in Itypes.
gcc/ada/einfo.ads diff | blob | blame | history
gcc/ada/vast.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git