This patch fixes a compiler abort on a pragma Compile_Time_Warning when its second argument is a reference to a constsant string (rather than a string literal or an expression that evaluates to a string literal).
Compiling main.adb must yield: main.adb:5:33: warning: Good main.adb:6:33: warning: VALLUE main.adb:7:33: warning: Test ---- procedure Main is Value : constant String := "Test"; Switch : constant Boolean := True; begin pragma Compile_Time_Warning (Switch, "Good"); pragma Compile_Time_Warning (Switch, "VAL" & "LUE"); pragma Compile_Time_Warning (Switch, value); null; end Main; Tested on x86_64-pc-linux-gnu, committed on trunk 2018-05-22 Ed Schonberg <schonb...@adacore.com> gcc/ada/ * sem_prag.adb (Process_Compile_Time_Warning_Or_Error): Handle properly a second argument that is a constant of a given string value.
--- gcc/ada/sem_prag.adb +++ gcc/ada/sem_prag.adb @@ -30359,11 +30359,18 @@ package body Sem_Prag is if Compile_Time_Known_Value (Arg1x) then if Is_True (Expr_Value (Arg1x)) then + + -- We have already verified that the second argument is a static + -- string expression. Its string value must be retrieved + -- explicitly if it is a declared constant, otherwise it has + -- been constant-folded previously. + declare Cent : constant Entity_Id := Cunit_Entity (Current_Sem_Unit); Pname : constant Name_Id := Pragma_Name_Unmapped (N); Prag_Id : constant Pragma_Id := Get_Pragma_Id (Pname); - Str : constant String_Id := Strval (Get_Pragma_Arg (Arg2)); + Str : constant String_Id := + Strval (Expr_Value_S (Get_Pragma_Arg (Arg2))); Str_Len : constant Nat := String_Length (Str); Force : constant Boolean :=