https://gcc.gnu.org/g:05f211ab748c478196ece74948efa14f05f78dcb
commit r15-6519-g05f211ab748c478196ece74948efa14f05f78dcb
Author: Steve Baird <ba...@adacore.com>
Date: Mon Dec 2 16:45:37 2024 -0800
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.
Diff:
---
gcc/ada/exp_aggr.adb | 2 --
1 file changed, 2 deletions(-)
diff --git a/gcc/ada/exp_aggr.adb b/gcc/ada/exp_aggr.adb
index 1f1f58061cee..64bb05c9b4c1 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,
