]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 615c29a) | patch
ada: Fix for validity checking and conditional evaluation of 'Old
authorPiotr Trojanek <trojanek@adacore.com>
Mon, 11 Mar 2024 22:02:50 +0000 (23:02 +0100)
committerMarc Poulhiès <poulhies@adacore.com>
Fri, 17 May 2024 08:21:04 +0000 (10:21 +0200)
commit75de817d88aade7fc5e8b4bebe3f179f1c5b6a87
tree57e3e8b54e6c85bc11923130fc29120280c6e180tree
parent615c29a8c5d47a28887087d3ff49b9df7f74fe9ecommit | diff
ada: Fix for validity checking and conditional evaluation of 'Old

Detection of expression that are "known on entry" (as defined in Ada
2022 RM 6.1.1(20/5)) was confused by validity checks when used from
within expansion of attribute 'Old.

gcc/ada/

* sem_util.adb (Is_Known_On_Entry): Handle constants introduced
by validity checks.
gcc/ada/sem_util.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git