From d42dc0ade04ceb5b186fec9cdbc2554251753583 Mon Sep 17 00:00:00 2001 From: Yannick Moy Date: Mon, 11 Jun 2018 09:18:07 +0000 Subject: [PATCH] [Ada] Mark extended return of unconstrained type as never inlined Calls to subprograms whose body was an extended return of an unconstrained type were marked as not inlined, while the subprogram itself was marked as always inlined. This was inconsistent and could lead to crash in GNATprove. Now such subprograms are marked as not candidates for inlining. This mostly impacts GNATprove, as it relates to frontend inlining which is not used anymore in normal compilation. 2018-06-11 Yannick Moy gcc/ada/ * inline.adb (Build_Body_To_Inline): Consider case of extended return of unconstrained type as one case where inlining is not supported. (Expand_Inlined_Call): Remove special case for body as extended return of unconstrained type. From-SVN: r261413 --- gcc/ada/ChangeLog | 7 +++++ gcc/ada/inline.adb | 70 +++++++++++++++++++++++++++++++++++++--------- 2 files changed, 64 insertions(+), 13 deletions(-) diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 3ab3de7d28c..c145d7216a1 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,10 @@ +2018-06-11 Yannick Moy + + * inline.adb (Build_Body_To_Inline): Consider case of extended return + of unconstrained type as one case where inlining is not supported. + (Expand_Inlined_Call): Remove special case for body as extended return + of unconstrained type. + 2018-06-11 Yannick Moy * sem_prag.adb (Analyze_Part_Of): Only allow Part_Of on non-generic diff --git a/gcc/ada/inline.adb b/gcc/ada/inline.adb index 4a3e122ddbe..22fa01f9f1b 100644 --- a/gcc/ada/inline.adb +++ b/gcc/ada/inline.adb @@ -879,6 +879,10 @@ package body Inline is Body_To_Analyze : Node_Id; Max_Size : constant := 10; + function Has_Extended_Return return Boolean; + -- This function returns True if the subprogram has an extended return + -- statement. + function Has_Pending_Instantiation return Boolean; -- If some enclosing body contains instantiations that appear before -- the corresponding generic body, the enclosing body has a freeze node @@ -899,6 +903,49 @@ package body Inline is -- unconstrained type, the secondary stack is involved, and it -- is not worth inlining. + ------------------------- + -- Has_Extended_Return -- + ------------------------- + + function Has_Extended_Return return Boolean is + Body_To_Inline : constant Node_Id := N; + + function Check_Return (N : Node_Id) return Traverse_Result; + -- Returns OK on node N if this is not an extended return statement + + ------------------ + -- Check_Return -- + ------------------ + + function Check_Return (N : Node_Id) return Traverse_Result is + begin + case Nkind (N) is + when N_Extended_Return_Statement => + return Abandon; + + -- Skip locally declared subprogram bodies inside the body to + -- inline, as the return statements inside those do not count. + + when N_Subprogram_Body => + if N = Body_To_Inline then + return OK; + else + return Skip; + end if; + + when others => + return OK; + end case; + end Check_Return; + + function Check_All_Returns is new Traverse_Func (Check_Return); + + -- Start of processing for Has_Extended_Return + + begin + return Check_All_Returns (N) /= OK; + end Has_Extended_Return; + ------------------------------- -- Has_Pending_Instantiation -- ------------------------------- @@ -1048,7 +1095,16 @@ package body Inline is and then not Is_Access_Type (Etype (Spec_Id)) and then not Is_Constrained (Etype (Spec_Id)) then - if not Has_Single_Return (N) then + if not Has_Single_Return (N) + + -- Skip inlining if the function returns an unconstrained type + -- using an extended return statement since this part of the + -- new inlining model which is not yet supported by the current + -- implementation. ??? + + or else (Returns_Unconstrained_Type (Spec_Id) + and then Has_Extended_Return) + then Cannot_Inline ("cannot inline & (unconstrained return type)?", N, Spec_Id); return; @@ -2873,18 +2929,6 @@ package body Inline is elsif Nkind (Orig_Bod) in N_Entity then return; - - -- Skip inlining if the function returns an unconstrained type using - -- an extended return statement since this part of the new inlining - -- model which is not yet supported by the current implementation. ??? - - elsif Is_Unc - and then - Nkind (First (Statements (Handled_Statement_Sequence (Orig_Bod)))) = - N_Extended_Return_Statement - and then not Back_End_Inlining - then - return; end if; if Nkind (Orig_Bod) = N_Defining_Identifier -- 2.30.2