From: Eric Botcazou Date: Fri, 10 Jan 2020 20:55:33 +0000 (+0100) Subject: [Ada] Small improvement to Expand_N_Unchecked_Type_Conversion X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b5b032ec6e3532d9362d4dd4b1097ebf53509b81;p=gcc.git [Ada] Small improvement to Expand_N_Unchecked_Type_Conversion 2020-06-03 Eric Botcazou gcc/ada/ * exp_ch4.adb (Expand_N_Unchecked_Type_Conversion): Also fold the conversion for literals of enumeration types. --- diff --git a/gcc/ada/exp_ch4.adb b/gcc/ada/exp_ch4.adb index 66ebc531af7..8d6ddd7cd4c 100644 --- a/gcc/ada/exp_ch4.adb +++ b/gcc/ada/exp_ch4.adb @@ -12460,7 +12460,7 @@ package body Exp_Ch4 is -- If we have a conversion of a compile time known value to a target -- type and the value is in range of the target type, then we can simply -- replace the construct by an integer literal of the correct type. We - -- only apply this to integer types being converted. Possibly it may + -- only apply this to discrete types being converted. Possibly it may -- apply in other cases, but it is too much trouble to worry about. -- Note that we do not do this transformation if the Kill_Range_Check @@ -12473,13 +12473,13 @@ package body Exp_Ch4 is if Is_Integer_Type (Target_Type) and then not Has_Biased_Representation (Target_Type) - and then Is_Integer_Type (Operand_Type) + and then Is_Discrete_Type (Operand_Type) and then not Has_Biased_Representation (Operand_Type) and then Compile_Time_Known_Value (Operand) and then not Kill_Range_Check (N) then declare - Val : constant Uint := Expr_Value (Operand); + Val : constant Uint := Expr_Rep_Value (Operand); begin if Compile_Time_Known_Value (Type_Low_Bound (Target_Type))