]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
ada: Compiler crash on container aggregate with constant element choice
authorGary Dismukes <dismukes@adacore.com>
Fri, 25 Jul 2025 20:56:32 +0000 (20:56 +0000)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Tue, 9 Sep 2025 12:39:51 +0000 (14:39 +0200)
The compiler fails when compiling a container aggregate with
an element association with a key choice that denotes a constant
object.  The code for getting the value of the choice was only
accounting for the possibility of integer and enumeration literals,
and is corrected to handle static expressions generally.

gcc/ada/ChangeLog:

* exp_aggr.adb (Build_Container_Aggr_Code.To_Int): Replace existing
conditional expression with call to Expr_Value.

gcc/ada/exp_aggr.adb

index cd98369a91890781b458e2c1d2154251369d79e6..34d4f84f95e6d22e28bb41937f289438462a78d0 100644 (file)
@@ -7208,13 +7208,11 @@ package body Exp_Aggr is
       -- To_Int --
       ------------
 
-      --  The bounds of the discrete range are integers or enumeration literals
+      --  The bounds of the discrete range are static discrete values
 
       function To_Int (Expr : N_Subexpr_Id) return Int is
       begin
-         return UI_To_Int ((if Nkind (Expr) = N_Integer_Literal
-                            then Intval (Expr)
-                            else Enumeration_Pos (Entity (Expr))));
+         return UI_To_Int (Expr_Value (Expr));
       end To_Int;
 
       --  Local variables