]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fa832b4) | patch
ada: Fix detection of if_expressions that are known on entry
authorPiotr Trojanek <trojanek@adacore.com>
Thu, 22 Feb 2024 21:25:16 +0000 (22:25 +0100)
committerMarc Poulhiès <poulhies@adacore.com>
Thu, 16 May 2024 08:49:30 +0000 (10:49 +0200)
commit7d2a5dbbfed311b9d13e5772dbc86f525adde3e9
treecd216d0c64bb0a61699cc8a4c70c41043f1cc0c8tree
parentfa832b4e799e4db4d815ca9a94e331c55dc2f3b3commit | diff
ada: Fix detection of if_expressions that are known on entry

Fix a small glitch in routine Is_Known_On_Entry, which returned False
for all if_expressions, regardless whether their conditions or dependent
expressions are known on entry.

gcc/ada/

* sem_util.adb (Is_Known_On_Entry): Check whether condition and
dependent expressions of an if_expression are known on entry.
gcc/ada/sem_util.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git