diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-10-24 09:51:42 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-10-24 09:51:42 +0000 |
| commit | 07c191b040bec6ff3e7855556689c53a35062f99 (patch) | |
| tree | 8e1fb052842b78ff9e44ea4d0eb445b8ea8d15ee /gcc/ada/debug.adb | |
| parent | 84718223174979b8bd7ced76182868713dbca37b (diff) | |
| download | gcc-07c191b040bec6ff3e7855556689c53a35062f99.tar.gz | |
2011-10-24 Ed Schonberg <schonberg@adacore.com>
* sem_ch12.adb (Earlier): make available globally. If both
nodes have the same sloc, the freeze node that does not come
from source is the later one.
(True_Parent): Make available globally.
(Previous_Instance): Subsidiary of
Insert_Freeze_Node_For_Instance, to check whether the generic
parent of the current instance is declared within a previous
instance in the same unit or declarative part, in which case the
freeze nodes of both instances must appear in order to prevent
elaboration problems in gigi.
* sem_ch12.adb (Insert_Freeze_Node_For_Instance): A stub is a
freeze point, and the freeze node of a preceding instantiation
must be inserted before it.
2011-10-24 Robert Dewar <dewar@adacore.com>
* checks.ads, checks.adb: Add handling of Synchronization_Check
* debug.adb: Add doc for -gnatd.d and -gnatd.e (disable/enable
atomic sync).
* exp_ch2.adb (Expand_Entity_Reference): Set Atomic_Sync_Required
flag Minor code reorganization.
* opt.ads (Warn_On_Atomic_Synchronization): New switch.
* par-prag.adb: Add dummy entries for pragma
Disable/Enable_Atomic_Synchronization.
* sem_prag.adb (Process_Suppress_Unsuppress): Handle
case of Atomic_Synchronization specially (not suppressed
by All_Checks, cannot be set from Source).
(Pragma Disable/Enable_Atomic_Synchronization): Add processing.
* sinfo.ads, sinfo.adb: Add Atomic_Sync_Required flag
* snames.ads-tmpl: Add entry for Atomic_Synchronization Add
entry for pragma Disable/Enable_Atomic_Synchronization
* switch-c.adb: The -gnatp switch does not disable
Atomic_Synchronization Add -gnatep switch to disable
Atomic_Synchronization.
* types.ads: Add entry for Synchronization_Check
* usage.adb: Add line for -gnated switch
* warnsw.adb: Settings for Warn_On_Atomic_Synchronization
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@180373 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/debug.adb')
| -rw-r--r-- | gcc/ada/debug.adb | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/gcc/ada/debug.adb b/gcc/ada/debug.adb index b3eb5cfd8e8..99ba3d5585d 100644 --- a/gcc/ada/debug.adb +++ b/gcc/ada/debug.adb @@ -94,8 +94,8 @@ package body Debug is -- d.a Force Target_Strict_Alignment mode to True -- d.b Dump backend types -- d.c Generate inline concatenation, do not call procedure - -- d.d - -- d.e + -- d.d Disable atomic synchronization + -- d.e Enable atomic synchronization -- d.f Inhibit folding of static expressions -- d.g Enable conversion of raise into goto -- d.h @@ -513,6 +513,13 @@ package body Debug is -- System.Concat_n.Str_Concat_n routines in cases where the latter -- routines would normally be called. + -- d.d Disable atomic synchronization for all atomic variable references. + -- Pragma Enable_Atomic_Synchronization is ignored. + + -- d.e Enable atomic synchronization for all atomic variable references. + -- Pragma Disable_Atomic_Synchronization is ignored, and also the + -- compiler switch -gnated is ignored. + -- d.f Suppress folding of static expressions. This of course results -- in seriously non-conforming behavior, but is useful sometimes -- when tracking down handling of complex expressions. |