From: Piotr Trojanek <troja...@adacore.com>
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.
Tested on x86_64-pc-linux-gnu, committed on master.
---
gcc/ada/sem_util.adb | 8 ++++++++
1 file changed, 8 insertions(+)
diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb
index be777d26e46..d512d462b44 100644
--- a/gcc/ada/sem_util.adb
+++ b/gcc/ada/sem_util.adb
@@ -30791,6 +30791,14 @@ package body Sem_Util is
return False;
end if;
+ -- Handle constants introduced by side-effect
+ -- removal, e.g. by validity checks.
+
+ if not Comes_From_Source (Obj) then
+ return
+ Is_Known_On_Entry (Expression (Parent (Obj)));
+ end if;
+
-- return False if not "all views are constant".
if Is_Immutably_Limited_Type (Obj_Typ)
or Needs_Finalization (Obj_Typ)
--
2.43.2
