diff options
| author | Steve Baird <baird@adacore.com> | 2024-12-02 16:45:37 -0800 |
|---|---|---|
| committer | Marc Poulhiès <dkm@gcc.gnu.org> | 2025-01-03 16:39:11 +0100 |
| commit | 05f211ab748c478196ece74948efa14f05f78dcb (patch) | |
| tree | 50ef1e8f31c70da1211f70ab05e2ae2b6cb3d8a8 /gcc | |
| parent | 1e3619a37aebd8005c8505aebded7957b661577c (diff) | |
| download | gcc-05f211ab748c478196ece74948efa14f05f78dcb.zip gcc-05f211ab748c478196ece74948efa14f05f78dcb.tar.gz gcc-05f211ab748c478196ece74948efa14f05f78dcb.tar.bz2 | |
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.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/exp_aggr.adb | 2 |
1 files changed, 0 insertions, 2 deletions
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, |