This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r237437 - in /trunk/gcc/ada: ChangeLog exp_attr...
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Tue, 14 Jun 2016 12:37:54 -0000
- Subject: r237437 - in /trunk/gcc/ada: ChangeLog exp_attr...
Author: charlet
Date: Tue Jun 14 12:37:54 2016
New Revision: 237437
URL: https://gcc.gnu.org/viewcvs?rev=237437&root=gcc&view=rev
Log:
2016-06-14 Javier Miranda <miranda@adacore.com>
* sem_attr.adb (Analyze_Attribute_Old_Result): Adding assertion.
(Analyze_Attribute [Attribute_Old]): Generating C handle
analysis of 'old in inlined postconditions.
(Analyze_Attribute [Attribute_Result]): Generating C handle analysis
of 'result in inlined postconditions.
* exp_attr.adb (Expand_N_Attribute_Reference [Attribute_Old]):
Generating C handle expansion of 'old in inlined postconditions.
* inline.adb (Declare_Postconditions_Result): New subprogram.
* sem_ch12.adb (Copy_Generic_Node): Copy pragmas generated from
aspects when generating C code since pre/post conditions are
inlined and the frontend inlining relies on this routine to
perform inlining.
* exp_ch6.adb (Inlined_Subprogram): Replace Generate_C_Code
by Modify_Tree_For_C.
* exp_unst.adb (Visit_Node): Searching for up-level references
skip entities defined in inlined subprograms.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/exp_attr.adb
trunk/gcc/ada/exp_ch6.adb
trunk/gcc/ada/exp_unst.adb
trunk/gcc/ada/inline.adb
trunk/gcc/ada/sem_attr.adb
trunk/gcc/ada/sem_ch12.adb