diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-04-12 15:31:37 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-04-12 15:31:37 +0200 |
| commit | beaa97abbff424d43e37b2efee127499386ad0ad (patch) | |
| tree | 592fd2a602426c8cf2cad7e8546ab294d86d54a8 /gcc/ada/gnatbind.adb | |
| parent | 97b9064f51cab2ae12cabc9fb9d90b8477f2fd22 (diff) | |
| download | gcc-beaa97abbff424d43e37b2efee127499386ad0ad.zip gcc-beaa97abbff424d43e37b2efee127499386ad0ad.tar.gz gcc-beaa97abbff424d43e37b2efee127499386ad0ad.tar.bz2 | |
[multiple changes]
2013-04-12 Ed Schonberg <schonberg@adacore.com>
* sem_attr.adb (Check_Stream_Attribute): If restriction
No_Default_Stream_Attributes is active, it is illegal to use a
predefined elementary type stream attribute either by itself,
or more importantly as part of the attribute subprogram for a
composite type. However, if the broader restriction No_Streams
is active, then stream operations are not generated, and there
is no error.
2013-04-12 Robert Dewar <dewar@adacore.com>
* gnatbind.adb: Minor reformatting.
From-SVN: r197914
Diffstat (limited to 'gcc/ada/gnatbind.adb')
| -rw-r--r-- | gcc/ada/gnatbind.adb | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gcc/ada/gnatbind.adb b/gcc/ada/gnatbind.adb index b332b13..63e7c14 100644 --- a/gcc/ada/gnatbind.adb +++ b/gcc/ada/gnatbind.adb @@ -176,6 +176,9 @@ procedure Gnatbind is Max_Storage_At_Blocking => True, -- Not checkable at compile time + -- The following three should not be partition-wide, so the + -- following tests are junk to be removed eventually ??? + No_Specification_Of_Aspect => True, -- Requires a parameter value, not a count |