diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2015-11-12 11:38:28 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2015-11-12 11:38:28 +0000 |
| commit | 1548739875d63ce4020234846712447c5c7f9f4f (patch) | |
| tree | fa339846e5282acd562105c9ad0be87609fa21cf /gcc/ada/sem_elab.adb | |
| parent | 17ad8c37b25781524dfcccd491256a5b2bcfdcb3 (diff) | |
| download | gcc-1548739875d63ce4020234846712447c5c7f9f4f.tar.gz | |
2015-11-12 Gary Dismukes <dismukes@adacore.com>
* exp_ch5.adb, sem_ch3.adb, exp_util.ads, inline.adb, freeze.adb,
sem_util.adb, sem_util.ads, par-ch6.adb, sem_elab.adb: Minor
reformatting and a typo fix.
2015-11-12 Ed Schonberg <schonberg@adacore.com>
* sem_ch12.adb (Preanalyze_Actuals): Add guard on use of
Incomplete_Actuals, which are only stored for a package
instantiation, in order to place the instance in the body of
the enclosing unit.
2015-11-12 Ed Schonberg <schonberg@adacore.com>
* exp_intr.adb: Add legality checks on calls to a
Generic_Dispatching_Constructor: the given tag must be defined,
it cannot be the tag of an abstract type, and its accessibility
level must not be greater than that of the constructor.
2015-11-12 Ed Schonberg <schonberg@adacore.com>
* sem_ch4.adb (Try_Container_Indexing, Constant_Indexing_OK): If
the context is an overloaded call, assume that Constant_Indexing
is not OK if an interpretation has an assignable parameter
corresponding to the indexing expression.
2015-11-12 Jerome Lambourg <lambourg@adacore.com>
* init.c (__gnat_error_handler): Force the SPE bit of the MSR
when executing on e500v2 CPU.
2015-11-12 Hristian Kirtchev <kirtchev@adacore.com>
* sem_prag.adb (Analyze_Constituent): Stop the
analysis after detecting a misplaced constituent as this is a
critical error.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@230239 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/sem_elab.adb')
| -rw-r--r-- | gcc/ada/sem_elab.adb | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/gcc/ada/sem_elab.adb b/gcc/ada/sem_elab.adb index bab845d359e..cd9d5b6a2f6 100644 --- a/gcc/ada/sem_elab.adb +++ b/gcc/ada/sem_elab.adb @@ -599,7 +599,7 @@ package body Sem_Elab is Is_DIC_Proc : Boolean := False; -- Flag set when the call denotes the Default_Initial_Condition - -- procedure of a private type which wraps a non-trivila assertion + -- procedure of a private type that wraps a nontrivial assertion -- expression. Issue_In_SPARK : Boolean; @@ -971,13 +971,13 @@ package body Sem_Elab is return; end if; - Is_DIC_Proc := Is_Non_Trivial_Default_Init_Cond_Procedure (Ent); + Is_DIC_Proc := Is_Nontrivial_Default_Init_Cond_Procedure (Ent); -- Elaboration issues in SPARK are reported only for source constructs - -- and for non-trivial Default_Initial_Condition procedures. The latter + -- and for nontrivial Default_Initial_Condition procedures. The latter -- must be checked because the default initialization of an object of a -- private type triggers the evaluation of the Default_Initial_Condition - -- expression which in turn may have side effects. + -- expression, which in turn may have side effects. Issue_In_SPARK := SPARK_Mode = On and (Comes_From_Source (Ent) or Is_DIC_Proc); |