diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2009-05-06 12:16:45 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2009-05-06 12:16:45 +0200 |
| commit | b92625409b2db508eba00753a4f257c1fcad7a73 (patch) | |
| tree | 4a7e68efce4c8f9321566a8610bd84a0330fc120 | |
| parent | deef4289f2b8b58b98610b2fb8bfb87f3a83a7a8 (diff) | |
| download | gcc-b92625409b2db508eba00753a4f257c1fcad7a73.zip gcc-b92625409b2db508eba00753a4f257c1fcad7a73.tar.gz gcc-b92625409b2db508eba00753a4f257c1fcad7a73.tar.bz2 | |
Minor reformatting.
From-SVN: r147168
| -rw-r--r-- | gcc/ada/sem_attr.adb | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/ada/sem_attr.adb b/gcc/ada/sem_attr.adb index 6059401..3a123d9 100644 --- a/gcc/ada/sem_attr.adb +++ b/gcc/ada/sem_attr.adb @@ -1067,6 +1067,7 @@ package body Sem_Attr is -- If there is an implicit dereference, then we must freeze -- the designated type of the access type, since the type of -- the referenced array is this type (see AI95-00106). + -- As done elsewhere, freezing must not happen when pre-analyzing -- a pre- or postcondition or a default value for an object or -- for a formal parameter. |