From 9ef23ec9239cb0c8bb31e3989b48cbf143a2c2a4 Mon Sep 17 00:00:00 2001 From: charlet Date: Wed, 7 Mar 2012 14:56:40 +0000 Subject: 2012-03-07 Javier Miranda * sem_ch3.adb (Analyze_Object_Declaration): If the object declaration has an init expression then stop the analysis of the object declaration if the expression which initializes the object is a call to an inlined function which returns an unconstrained and has been expanded into a procedure call. * sem_ch5.adb (Has_Call_Using_Secondary_Stack): Add missing support to handle selected components. * sem_ch6.ads (Cannot_Inline): Adding parameter Is_Serious plus documentation. * sem_ch6.adb (Check_And_Build_Body_To_Inline): New subprogram which implements the checks required by the new rules for frontend inlining and builds the body to inline. (Analyze_Subprogram_Body_Helper): Move code that checks inlining of subprogram that has nested subprogram to Check_And_Build_Body_To_Inline. Replace call to Build_Body_To_Inline by call to the new subprogram Check_And_Build_Body_To_Inline. (Cannot_Inline): New implementation. * sem_ch12.adb (Analyze_Package_Instantiation.Must_Inline_Subp): New subprogram. * sem_util.ad[sb] (Must_Inline): New subprogram. (Returns_Unconstrained_Type): New subprogram. * sem_res.adb (Resolve_Call): Do not create a transient scope for inlined calls. * inline.ads (Analyzing_Inlined_Bodies): Remove unreferenced variable. * inline.adb (Analyze_Inlined_Bodies, Initialize): Remove setting to false the variable Analyzing_Inlined_Bodies. Fix comments. * exp_ch4.adb (Expand_N_Allocator): Fix handling of finalization master. * exp_ch6.ads (List_Inlining_Info): New subprogram. * exp_ch6.adb (Expand_Call.Do_Inline): New subprogram. (Expand_Call.Do_Inline_Always): New subprogram. (In_Unfrozen_Instance): Move the declaration of this subprogram. (Expand_Inlined_Call.Reset_Dispatching_Calls): New subprogram. (Expand_Inlined_Call): Adding new support for inlining functions that return unconstrained types. (List_Inlining_Info): New subprogram. * debug.adb Document flags -gnatd.j and -gnatd.k * gnat1drv.adb Add call to generate the new listing of inlined calls and calls passed to the backend. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@185055 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ada/debug.adb | 13 ++++++++++--- 1 file changed, 10 insertions(+), 3 deletions(-) (limited to 'gcc/ada/debug.adb') diff --git a/gcc/ada/debug.adb b/gcc/ada/debug.adb index 99ba3d5585d..3fd2d645115 100644 --- a/gcc/ada/debug.adb +++ b/gcc/ada/debug.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 1992-2011, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2012, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -100,8 +100,8 @@ package body Debug is -- d.g Enable conversion of raise into goto -- d.h -- d.i Ignore Warnings pragmas - -- d.j - -- d.k + -- d.j Generate listing of frontend inlined calls + -- d.k Enable new support for frontend inlining -- d.l Use Ada 95 semantics for limited function returns -- d.m For -gnatl, print full source only for main unit -- d.n Print source file names @@ -533,6 +533,13 @@ package body Debug is -- be used in particular to disable Warnings (Off) to check if any of -- these statements are inappropriate. + -- d.j Generate listing of frontend inlined calls and inline calls passed + -- to the backend. This is useful to locate skipped calls that must be + -- inlined by the frontend. + + -- d.k Enable new semantics of frontend inlining. This is useful to test + -- this new feature in all the platforms. + -- d.l Use Ada 95 semantics for limited function returns. This may be -- used to work around the incompatibility introduced by AI-318-2. -- It is useful only in -gnat05 mode. -- cgit v1.2.1