]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 95711d6) | patch
ada: Fix breakage of GNATprove introduced by latest change
authorEric Botcazou <ebotcazou@adacore.com>
Thu, 28 Nov 2024 22:05:52 +0000 (23:05 +0100)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Fri, 13 Dec 2024 08:36:01 +0000 (09:36 +0100)
commit5b30245800b1657f6c29212ca843c43bbfcffd20
treed238120f7ca3d41b2b7889aff76d45639db991b3tree
parent95711d6ba78efaf1b090185f7419518dcb287395commit | diff
ada: Fix breakage of GNATprove introduced by latest change

gcc/ada/ChangeLog:

* sem_aggr.adb (Resolve_Aggr_Expr): Always perform a full analysis
of the expression in SPARK mode.
gcc/ada/sem_aggr.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git