From 3754477bb08f12a7866d9f422fad85bac79f2579 Mon Sep 17 00:00:00 2001 From: Piotr Trojanek Date: Mon, 6 Feb 2023 14:40:26 +0100 Subject: ada: Fix spurious warning on Inline_Always and contracts Warnings about pre/postconditions being ignored with Inline_Always were only true for the obsolete frontend inlining. With the current backend pre/postconditions work fine with Inline_Always. gcc/ada/ * sem_prag.adb (Check_Postcondition_Use_In_Inlined_Subprogram): Only emit warning when frontend inlining is enabled. --- gcc/ada/sem_prag.adb | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'gcc') diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb index b6c78db..dbc8584 100644 --- a/gcc/ada/sem_prag.adb +++ b/gcc/ada/sem_prag.adb @@ -210,7 +210,7 @@ package body Sem_Prag is -- Subsidiary to the analysis of pragmas Contract_Cases, Postcondition, -- Precondition, Refined_Post, and Test_Case. Emit a warning when pragma -- Prag is associated with subprogram Spec_Id subject to Inline_Always, - -- and assertions are enabled. + -- assertions are enabled and inling is done in the frontend. procedure Check_State_And_Constituent_Use (States : Elist_Id; @@ -30304,6 +30304,7 @@ package body Sem_Prag is if Warn_On_Redundant_Constructs and then Has_Pragma_Inline_Always (Spec_Id) and then Assertions_Enabled + and then not Back_End_Inlining then Error_Msg_Name_1 := Original_Aspect_Pragma_Name (Prag); -- cgit v1.1