diff options
| author | Robert Dewar <dewar@adacore.com> | 2011-12-02 14:38:54 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-12-02 15:38:54 +0100 |
| commit | 35fae080e6722415f3308bb3375236f657022b61 (patch) | |
| tree | 1cdaf7acba063fc30006b1aa7fab06c89b66e731 /gcc/ada/freeze.adb | |
| parent | e47e21c129bdb0cf5066944faf503f761b6023e0 (diff) | |
| download | gcc-35fae080e6722415f3308bb3375236f657022b61.zip gcc-35fae080e6722415f3308bb3375236f657022b61.tar.gz gcc-35fae080e6722415f3308bb3375236f657022b61.tar.bz2 | |
a-coinve.adb, [...]: Minor reformatting.
2011-12-02 Robert Dewar <dewar@adacore.com>
* a-coinve.adb, a-coorma.adb, freeze.adb, a-coorse.adb, a-comutr.adb,
a-coormu.adb, a-convec.adb: Minor reformatting.
From-SVN: r181913
Diffstat (limited to 'gcc/ada/freeze.adb')
| -rw-r--r-- | gcc/ada/freeze.adb | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/gcc/ada/freeze.adb b/gcc/ada/freeze.adb index 16521f9..3e31e9a 100644 --- a/gcc/ada/freeze.adb +++ b/gcc/ada/freeze.adb @@ -1356,6 +1356,14 @@ package body Freeze is Bod : constant Node_Id := Next (After); begin + -- The presence of a body freezes all entities previously + -- declared in the current list of declarations, but this + -- does not apply if the body does not come from source. + -- A type invariant is transformed into a subprogram body + -- which is placed at the end of the private part of the + -- current package, but this body does not freeze incomplete + -- types that may be declared in this private part. + if (Nkind_In (Bod, N_Subprogram_Body, N_Entry_Body, N_Package_Body, @@ -1363,7 +1371,7 @@ package body Freeze is N_Task_Body) or else Nkind (Bod) in N_Body_Stub) and then - List_Containing (After) = List_Containing (Parent (E)) + List_Containing (After) = List_Containing (Parent (E)) and then Comes_From_Source (Bod) then Error_Msg_Sloc := Sloc (Next (After)); |