This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.
Index Nav: | [Date Index] [Subject Index] [Author Index] [Thread Index] | |
---|---|---|
Message Nav: | [Date Prev] [Date Next] | [Thread Prev] [Thread Next] |
Other format: | [Raw text] |
Tested on i686-linux, committed on trunk. Ongoing work for AI-318: This set of changes adds support for the run-time model of build-in-place function calls for cases where the calling context determines a constrained target object for the result. Currently we only support build-in-place for functions with a limited result subtype that is constrained. Ada 2005 now allows calls to limited functions to occur in various contexts that in Ada 95 were not permitted because of the restrictions on copying values of limited types, but these are now handled using build-in-place semantics. The changes here support calls to build-in-place functions in the contexts of the expression of an object declaration, an actual in a subprogram call, the expression of an initialized allocator, and expression of a simple or extended return statement within the body of a build-in-place function. Further work is needed to support build-in-place functions with result subtypes that are unconstrained and for calls in other contexts (for example, in aggregates, component default expressions, renamings, and generic actuals). See gnat.dg/nested_return_test.adb 2006-10-31 Bob Duff <duff@adacore.com> Robert Dewar <dewar@adacore.com> Gary Dismukes <dismukes@adacore.com> Ed Schonberg <schonberg@adacore.com> * exp_ch5.ads (Expand_N_Extended_Return_Statement): New procedure. * exp_ch5.adb (Expand_N_Loop_Statement): Do validity checks on range (Expand_N_Assignment_Statement): Call Make_Build_In_Place_Call_In_Assignment if the right-hand side is a build-in-place function call. Currently, this can happen only for assignments that come from aggregates. Add -gnatd.l --Use Ada 95 semantics for limited function returns, in order to alleviate the upward compatibility introduced by AI-318. (Expand_N_Extended_Return_Statement): Add support for handling the return object as a build-in-place result. (Expand_Non_Function_Return): Implement simple return statements nested within an extended return. (Enable_New_Return_Processing): Turn on the new processing of return statements. (Expand_Non_Function_Return): For a return within an extended return, don't raise Program_Error, because Sem_Ch6 now gives a warning. (Expand_N_Extended_Return_Statement): Implement AI-318 (Expand_Simple_Function_Return): Ditto. (Expand_N_If_Statement): Handle new -gnatwt warning (Expand_N_Case_Statement): Handle new -gnatwt warning (Expand_N_Assignment): Handle assignment to the Priority attribute of a protected object. (Expand_N_Assignment_Statement): Implement -gnatVe/E to control validity checking of assignments to elementary record components. (Expand_N_Return_Statement): return Class Wide types on the secondary stack independantly of their controlled status since with HIE runtimes, class wide types are not potentially controlled anymore. * expander.adb (Expand): Add case for new N_Extended_Return_Statement node kind. * exp_ch11.adb (Expand_N_Handled_Sequence_Of_Statements): Avoid Expand_Cleanup_Actions in case of N_Extended_Return_Statement, because it expects a block, procedure, or task. The return statement will get turned into a block, and Expand_Cleanup_Actions will happen then.
Attachment:
difs
Description: Text document
Index Nav: | [Date Index] [Subject Index] [Author Index] [Thread Index] | |
---|---|---|
Message Nav: | [Date Prev] [Date Next] | [Thread Prev] [Thread Next] |