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.
-- 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