]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aa34d34) | patch
ada: Fix missing index check with declare expression
authorEric Botcazou <ebotcazou@adacore.com>
Thu, 30 May 2024 10:46:57 +0000 (12:46 +0200)
committerMarc Poulhiès <poulhies@adacore.com>
Fri, 21 Jun 2024 08:34:20 +0000 (10:34 +0200)
commit2b55cc520cf51089d961414a78e6e5371f3c3e20
tree3e5907cdc4c2d70d39cd338dd4c7085baaf0961ctree
parentaa34d34f753cee8974af6942e0603dfc2f8ea160commit | diff
ada: Fix missing index check with declare expression

The Do_Range_Check flag is properly set on the Expression of the EWA node
built for the declare expression, so this instructs Generate_Index_Checks
to look into this Expression.

gcc/ada/

* checks.adb (Generate_Index_Checks): Add specific treatment for
index expressions that are N_Expression_With_Actions nodes.
gcc/ada/checks.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git