This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r235202 - in /trunk/gcc/ada: ChangeLog par_sco....
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Tue, 19 Apr 2016 13:19:45 -0000
- Subject: r235202 - in /trunk/gcc/ada: ChangeLog par_sco....
Author: charlet
Date: Tue Apr 19 13:19:45 2016
New Revision: 235202
URL: https://gcc.gnu.org/viewcvs?rev=235202&root=gcc&view=rev
Log:
2016-04-19 Olivier Hainque <hainque@adacore.com>
* sem_util.adb (Build_Elaboration_Entity): Always request an
elab counter when preserving control-flow.
2016-04-19 Olivier Hainque <hainque@adacore.com>
* sem_ch13.adb (Build_Invariant_Procedure_Declaration): Set
Needs_Debug_Info when producing SCOs.
* par_sco.adb (Traverse_Aspects): Fix categorization of
Type_Invariant to match actual processing as activated depending
on pragma Assertion_Policy.
* sem_prag.adb (Analyze_Pragma): Remove special case for
Name_Invariant regarding SCO generation, which completely disabled
the production of SCOs for Invariant pragmas and aspects.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/par_sco.adb
trunk/gcc/ada/sem_ch13.adb
trunk/gcc/ada/sem_prag.adb
trunk/gcc/ada/sem_util.adb