diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2016-07-04 10:38:22 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2016-07-04 10:38:22 +0000 |
| commit | 449c4f5825ca5eab4963dd888c496f26a6135783 (patch) | |
| tree | 7acf0390ffa103a9fe53083b2e13c0da7be1a593 /gcc/ada/sem_elab.adb | |
| parent | b426a73b4c50e58b2796973096ff253a4e0b342f (diff) | |
| download | gcc-449c4f5825ca5eab4963dd888c496f26a6135783.tar.gz | |
2016-07-04 Gary Dismukes <dismukes@adacore.com>
* sem_ch12.ads, freeze.adb: Minor reformatting and typo fixes.
2016-07-04 Ed Schonberg <schonberg@adacore.com>
* sem_ch13.adb (New_Stream_Subprogram): If the attribute
definition clause comes from an aspect specification, place the
generated subprogram renaming in the freeze actions of the type.
2016-07-04 Philippe Gil <gil@adacore.com>
* g-debpoo.adb (Dump.Do_Report) - add space prefix to backtrace
address dump - avoid new line sent directly to stdout.
2016-07-04 Arnaud Charlet <charlet@adacore.com>
* gnat1drv.adb, sem_ch12.adb, sem_elab.adb, sem_prag.adb, sem_res.adb:
Relax elaboration checks in SPARK_Mode so that we rely on the
static elaboration model (if used). We'll have a more precise
check performed in flow analysis of gnat2why.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@237968 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/sem_elab.adb')
| -rw-r--r-- | gcc/ada/sem_elab.adb | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gcc/ada/sem_elab.adb b/gcc/ada/sem_elab.adb index d963def7980..8e82d281795 100644 --- a/gcc/ada/sem_elab.adb +++ b/gcc/ada/sem_elab.adb @@ -1018,7 +1018,9 @@ package body Sem_Elab is -- expression, which in turn may have side effects. Issue_In_SPARK := - SPARK_Mode = On and (Comes_From_Source (Ent) or Is_DIC_Proc); + SPARK_Mode = On + and then Dynamic_Elaboration_Checks + and then (Comes_From_Source (Ent) or Is_DIC_Proc); -- Now check if an Elaborate_All (or dynamic check) is needed |