diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-04-24 16:49:08 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-04-24 16:49:08 +0200 |
| commit | 0d5fbf52732b39f55714baad348c3269db8bb1b9 (patch) | |
| tree | 2e0534b116d60294d01b70485a5da625a229e180 /gcc/ada/sem_attr.adb | |
| parent | 3d67b2397ae7eb4d2c384a093cbcac138cf068c7 (diff) | |
| download | gcc-0d5fbf52732b39f55714baad348c3269db8bb1b9.zip gcc-0d5fbf52732b39f55714baad348c3269db8bb1b9.tar.gz gcc-0d5fbf52732b39f55714baad348c3269db8bb1b9.tar.bz2 | |
[multiple changes]
2013-04-24 Robert Dewar <dewar@adacore.com>
* sem_type.adb, exp_attr.adb, exp_ch4.adb: Minor reformatting.
2013-04-24 Robert Dewar <dewar@adacore.com>
* gnat_rm.texi: Document 'Update attribute.
* sem_attr.adb (Analyze_Attribute, case Update): Remove call
to S14_Attribute (S14_Attribute): removed.
2013-04-24 Robert Dewar <dewar@adacore.com>
* interfac.ads: Add size clauses for IEEE_Float_32/64
2013-04-24 Claire Dross <dross@adacore.com>
* gnat1drv.adb (Adjust_Global_Switches): Remove
special assignment of Use_Expression_With_Actions for SPARK_Mode.
2013-04-24 Hristian Kirtchev <kirtchev@adacore.com>
* checks.adb (Apply_Predicate_Check): Check for the presence
of the dynamic predicate aspect when trying to determine if the
predicate of a type is non-static.
* sem_ch5.adb (Analyze_Loop_Parameter_Specification): Check
for the presence of the dynamic predicate aspect when trying to
determine if the predicate of a type is non- static.
* sem_ch13.adb (Add_Call): Capture the nature of the
inherited ancestor predicate.
(Build_Predicate_Functions): Update comments. Rewrite the checks on
static predicate application. Complain about the form of a non-static
expression only when the type is static.
2013-04-24 Ed Schonberg <schonberg@adacore.com>
* sem_prag.adb: Add guard to tree traversal.
2013-04-24 Vincent Celier <celier@adacore.com>
* clean.adb (Clean): Remove local variable Root_Environment,
use Makeutl.Root_Environment instead.
* gnatcmd.adb: Remove local variable Root_Environment, use
Makeutl.Root_Environment instead.
* make.adb (Gnatmake): Remove local variable Root_Environment,
use Makeutl.Root_Environment instead.
* prj-makr.adb: Remove local variable Root_Environment, use
Makeutl.Root_Environment instead.
From-SVN: r198243
Diffstat (limited to 'gcc/ada/sem_attr.adb')
| -rw-r--r-- | gcc/ada/sem_attr.adb | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/gcc/ada/sem_attr.adb b/gcc/ada/sem_attr.adb index 762015f..5ee023b 100644 --- a/gcc/ada/sem_attr.adb +++ b/gcc/ada/sem_attr.adb @@ -376,12 +376,6 @@ package body Sem_Attr is pragma No_Return (Error_Attr); -- Like Error_Attr, but error is posted at the start of the prefix - procedure S14_Attribute; - -- Called for all attributes defined for formal verification to check - -- that the S14_Extensions flag is set. - -- Bad name ??? - -- No such thing as S14_Extensions flag ??? - procedure Standard_Attribute (Val : Int); -- Used to process attributes whose prefix is package Standard which -- yield values of type Universal_Integer. The attribute reference @@ -1973,18 +1967,6 @@ package body Sem_Attr is Set_Etype (N, Standard_Boolean); end Legal_Formal_Attribute; - ------------------- - -- S14_Attribute -- - ------------------- - - procedure S14_Attribute is - begin - if not Formal_Extensions then - Error_Attr - ("attribute % requires the use of debug switch -gnatd.V", N); - end if; - end S14_Attribute; - ------------------------ -- Standard_Attribute -- ------------------------ @@ -5667,7 +5649,6 @@ package body Sem_Attr is -- Start of processing for Update begin - S14_Attribute; Check_E1; if not Is_Object_Reference (P) then |