diff options
| author | Olivier Hainque <hainque@adacore.com> | 2016-04-19 13:19:45 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-04-19 15:19:45 +0200 |
| commit | 27b95a65410ccb700752c8178fd19f1485a4b5bf (patch) | |
| tree | 132f0b06c5933b23ab8d346737f54e784f7c852a /gcc/tree-ssa-pre.c | |
| parent | b4213ffdafd1907f53c50b7bcdaa7fd269495592 (diff) | |
| download | gcc-27b95a65410ccb700752c8178fd19f1485a4b5bf.zip gcc-27b95a65410ccb700752c8178fd19f1485a4b5bf.tar.gz gcc-27b95a65410ccb700752c8178fd19f1485a4b5bf.tar.bz2 | |
sem_util.adb (Build_Elaboration_Entity): Always request an elab counter when preserving control-flow.
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.
From-SVN: r235202
Diffstat (limited to 'gcc/tree-ssa-pre.c')
0 files changed, 0 insertions, 0 deletions