diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2024-03-11 23:02:50 +0100 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2024-05-17 10:21:04 +0200 |
| commit | 75de817d88aade7fc5e8b4bebe3f179f1c5b6a87 (patch) | |
| tree | 57e3e8b54e6c85bc11923130fc29120280c6e180 /libcpp | |
| parent | 615c29a8c5d47a28887087d3ff49b9df7f74fe9e (diff) | |
| download | gcc-75de817d88aade7fc5e8b4bebe3f179f1c5b6a87.zip gcc-75de817d88aade7fc5e8b4bebe3f179f1c5b6a87.tar.gz gcc-75de817d88aade7fc5e8b4bebe3f179f1c5b6a87.tar.bz2 | |
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.
Diffstat (limited to 'libcpp')
0 files changed, 0 insertions, 0 deletions