diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-29 16:15:28 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-29 16:15:28 +0200 |
| commit | 9fd9d2beb0212955c62cdfcf7401eaabd45b2462 (patch) | |
| tree | 7d95b487803259803db0b51cf7168742d49402a1 /gcc/ada/gnat1drv.adb | |
| parent | 833eaa8a3dc786183340f972c6188cc188510d00 (diff) | |
| download | gcc-9fd9d2beb0212955c62cdfcf7401eaabd45b2462.zip gcc-9fd9d2beb0212955c62cdfcf7401eaabd45b2462.tar.gz gcc-9fd9d2beb0212955c62cdfcf7401eaabd45b2462.tar.bz2 | |
[multiple changes]
2011-08-29 Yannick Moy <moy@adacore.com>
* sem_ch3.adb (Array_Type_Declaration): Create declarations for Itypes
created in Alfa mode, instead of inserting artificial declarations of
non-Itypes in the tree.
* sem_util.adb, sem_util.ads (Itype_Has_Declaration): New function to
know if an Itype has a corresponding declaration, as defined in
itypes.ads.
2011-08-29 Yannick Moy <moy@adacore.com>
* gnat1drv.adb: Minor rewrite.
2011-08-29 Bob Duff <duff@adacore.com>
* s-tasuti.adb (Make_Passive): Work around race condition in
Make_Independent, which can cause Wait_Count to be zero. So instead of
asserting that Wait_Count > 0, and then decrementing it, decrement it
only if Wait_Count > 0.
* s-taskin.ads (Wait_Count, Alive_Count, Awake_Count): All of these
should be nonnegative, so declare them Natural instead of Integer.
From-SVN: r178240
Diffstat (limited to 'gcc/ada/gnat1drv.adb')
| -rw-r--r-- | gcc/ada/gnat1drv.adb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/gnat1drv.adb b/gcc/ada/gnat1drv.adb index cf85e4e..ffb3e24 100644 --- a/gcc/ada/gnat1drv.adb +++ b/gcc/ada/gnat1drv.adb @@ -478,8 +478,8 @@ procedure Gnat1drv is -- We would prefer to suppress the expansion of tagged types and -- dispatching calls, so that one day GNATprove can handle them - -- directly. Unfortunately, this is causing problems on H513-015, so - -- keep this expansion for the time being. ??? + -- directly. Unfortunately, this is causing problems in some cases, + -- so keep this expansion for the time being. Tagged_Type_Expansion := True; end if; |