]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fc81119) | patch
ada: Fix for illegal deep delta array aggregate with others
authorPiotr Trojanek <trojanek@adacore.com>
Fri, 13 Feb 2026 09:07:28 +0000 (10:07 +0100)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Thu, 28 May 2026 08:52:43 +0000 (10:52 +0200)
commit22df349bbc047cd15e5df2187afc59c8c3cb3618
tree0dcb8fd51c4dca1b58ecf94592d53f061a533f36tree | snapshot
parentfc811192bb897b3244da0d99894a3909281e3b63commit | diff
ada: Fix for illegal deep delta array aggregate with others

Do not try to apply a scalar range check to "others" choice in deep delta array
aggregate. This choice is illegal, but we still need to handle it in expansion.

gcc/ada/ChangeLog:

* exp_spark.adb (Expand_SPARK_N_Delta_Aggregate): Special case for
"others" clause.
gcc/ada/exp_spark.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git