diff options
| author | Robert Dewar <dewar@adacore.com> | 2009-07-30 09:23:06 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2009-07-30 11:23:06 +0200 |
| commit | 16c5f1c6245a40a82bf79b2b9733158fe5604f31 (patch) | |
| tree | 8ff2cf737ef3c3eb332181ccf26bd3e56f725988 /gcc/ada/s-tasini.adb | |
| parent | 08dab97a61578a3f9145786b3d07f73cb63ef276 (diff) | |
| download | gcc-16c5f1c6245a40a82bf79b2b9733158fe5604f31.zip gcc-16c5f1c6245a40a82bf79b2b9733158fe5604f31.tar.gz gcc-16c5f1c6245a40a82bf79b2b9733158fe5604f31.tar.bz2 | |
a-teioed.adb, [...]: Minor reformatting
2009-07-30 Robert Dewar <dewar@adacore.com>
* a-teioed.adb, exp_disp.adb, s-linux-hppa.ads, s-linux.ads,
s-tasini.adb, sem_ch13.adb, sem_ch3.adb, sem_ch3.ads, sem_ch6.adb,
sem_ch7.adb: Minor reformatting
From-SVN: r150251
Diffstat (limited to 'gcc/ada/s-tasini.adb')
| -rw-r--r-- | gcc/ada/s-tasini.adb | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/gcc/ada/s-tasini.adb b/gcc/ada/s-tasini.adb index 28b86cb..cacd86c 100644 --- a/gcc/ada/s-tasini.adb +++ b/gcc/ada/s-tasini.adb @@ -190,13 +190,14 @@ package body System.Tasking.Initialization is return; end if; + -- The following assertion is by default disabled. See the comment in + -- Defer_Abort on the situations in which it may be useful to uncomment + -- this assertion and enable the test. + -- pragma Assert -- (Self_ID.Pending_ATC_Level >= Self_ID.ATC_Nesting_Level or else -- Self_ID.Deferral_Level > 0); - -- See comment in Defer_Abort on the situations in which it may be - -- useful to uncomment the above assertion. - Self_ID.Deferral_Level := Self_ID.Deferral_Level + 1; end Defer_Abort_Nestable; |