]> git.ipfire.org Git - thirdparty/gcc.git/commit
ada: Add missing guards in Selected_Range_Checks
authorEric Botcazou <ebotcazou@adacore.com>
Tue, 14 Mar 2023 11:42:53 +0000 (12:42 +0100)
committerMarc Poulhiès <poulhies@adacore.com>
Fri, 26 May 2023 07:29:15 +0000 (09:29 +0200)
commit0251292d2da4039d4b12ecee81588614bf99b546
tree2ef4e11a602c2ed56f781b0e1d7a0b1262712f1f
parentda7b4b08f13b89752941f51651dcd5109d9be925
ada: Add missing guards in Selected_Range_Checks

gcc/ada/

* checks.adb (Selected_Range_Checks): Add guards to protect calls
to Expr_Value on bounds.
gcc/ada/checks.adb