From 05f211ab748c478196ece74948efa14f05f78dcb Mon Sep 17 00:00:00 2001 From: Steve Baird Date: Mon, 2 Dec 2024 16:45:37 -0800 Subject: ada: Avoid failing reanalysis of aggregate bounds An expression like Some_Package."+" (Arg1, Arg2) is sometimes transformed during expansion into an unqualified call of the form "+" (Arg1, Arg2). This is normally ok, but it means that reanalysis of the expression is likely to fail and must therefore be avoided. Remove code that was forcing such reanalysis (the original reason for the now-removed code is unknown). gcc/ada/ChangeLog: * exp_aggr.adb (Check_Bounds): Remove calls that were setting the Analyzed flag to False for two aggregate bound expressions. --- gcc/ada/exp_aggr.adb | 2 -- 1 file changed, 2 deletions(-) (limited to 'gcc') diff --git a/gcc/ada/exp_aggr.adb b/gcc/ada/exp_aggr.adb index 1f1f580..64bb05c 100644 --- a/gcc/ada/exp_aggr.adb +++ b/gcc/ada/exp_aggr.adb @@ -5144,8 +5144,6 @@ package body Exp_Aggr is Right_Opnd => Cond); - Set_Analyzed (Left_Opnd (Left_Opnd (Cond)), False); - Set_Analyzed (Right_Opnd (Left_Opnd (Cond)), False); Insert_Action (N, Make_Raise_Constraint_Error (Loc, Condition => Cond, -- cgit v1.1