diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-01-26 11:02:11 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-01-26 11:02:11 +0100 |
| commit | 2593c3e1cb8b4325f87ea5a2ce9c1f906c4cf45b (patch) | |
| tree | 0381871c3df52168bdd59daf8a8cca434563c28e /gcc/ada/s-tpoben.adb | |
| parent | 1a1054884e248ff337bb8958e1889b90c192f22d (diff) | |
| download | gcc-2593c3e1cb8b4325f87ea5a2ce9c1f906c4cf45b.zip gcc-2593c3e1cb8b4325f87ea5a2ce9c1f906c4cf45b.tar.gz gcc-2593c3e1cb8b4325f87ea5a2ce9c1f906c4cf45b.tar.bz2 | |
[multiple changes]
2010-01-26 Arnaud Charlet <charlet@adacore.com>
* s-tpoben.adb: Update comments.
2010-01-26 Robert Dewar <dewar@adacore.com>
* freeze.adb (Set_Small_Size): Don't set size if alignment clause
present.
2010-01-26 Robert Dewar <dewar@adacore.com>
* scos.ads: Clean up documentation, remove obsolete XOR references
From-SVN: r156238
Diffstat (limited to 'gcc/ada/s-tpoben.adb')
| -rw-r--r-- | gcc/ada/s-tpoben.adb | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/gcc/ada/s-tpoben.adb b/gcc/ada/s-tpoben.adb index 561d793..4694310 100644 --- a/gcc/ada/s-tpoben.adb +++ b/gcc/ada/s-tpoben.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 1998-2009, Free Software Foundation, Inc. -- +-- Copyright (C) 1998-2010, Free Software Foundation, Inc. -- -- -- -- GNARL is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -226,14 +226,12 @@ package body System.Tasking.Protected_Objects.Entries is raise Program_Error; end if; + -- pragma Assert (Self_Id.Deferral_Level = 0); -- If a PO is created from a controlled operation, abort is already -- deferred at this point, so we need to use Defer_Abort_Nestable - -- In some cases, the below assertion can be useful to spot + -- In some cases, the above assertion can be useful to spot -- inconsistencies, outside the above scenario involving controlled - -- types: - - -- pragma Assert (Self_Id.Deferral_Level = 0); - -- Why is this commented out Assert here ??? + -- types. Initialization.Defer_Abort_Nestable (Self_ID); Initialize_Lock (Init_Priority, Object.L'Access); |