diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-05-21 15:01:59 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-05-21 15:01:59 +0200 |
| commit | 0df5ae93e08e17fbe36bfcd1bda8ea24af968a64 (patch) | |
| tree | 160aed62a8b7dc8baaecb1c3e3d236c979273971 /gcc/ada/sem_prag.adb | |
| parent | 9db78a423bbd92dfbfcaa5b33b040da21540d647 (diff) | |
| download | gcc-0df5ae93e08e17fbe36bfcd1bda8ea24af968a64.zip gcc-0df5ae93e08e17fbe36bfcd1bda8ea24af968a64.tar.gz gcc-0df5ae93e08e17fbe36bfcd1bda8ea24af968a64.tar.bz2 | |
[multiple changes]
2014-05-21 Robert Dewar <dewar@adacore.com>
* sem_ch13.adb (Analyze_Aspect_Specifications):
Insert_Delayed_Pragma is now used for the case of Attach_Handler.
* sem_prag.adb: Minor comment improvements.
2014-05-21 Ed Schonberg <schonberg@adacore.com>
* sem_ch12.adb (Install_Body): When checking whether freezing of
instantiation must be delayed, verify that the common enclosing
subprogram to generic and instance is in fact an overloadable
entity.
2014-05-21 Vincent Celier <celier@adacore.com>
* makeutl.adb (Mains.Complete_Mains.Do_Complete): Look for all
mains with the same name and fail if there is more than one.
* prj.ads, prj.adb (Find_All_Sources): New function
From-SVN: r210702
Diffstat (limited to 'gcc/ada/sem_prag.adb')
| -rw-r--r-- | gcc/ada/sem_prag.adb | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb index 6764612..416eb04 100644 --- a/gcc/ada/sem_prag.adb +++ b/gcc/ada/sem_prag.adb @@ -4552,7 +4552,7 @@ package body Sem_Prag is -- For pragma case (as opposed to access case), check placement. -- We don't need to do that for aspects, because we have the - -- check that they are apply an appropriate procedure. + -- check that they aspect applies an appropriate procedure. if not From_Aspect_Specification (N) and then Parent (N) /= Protected_Definition (Parent (Proc_Scope)) @@ -6387,12 +6387,11 @@ package body Sem_Prag is Set_Treat_As_Volatile (E); else - Error_Pragma_Arg - ("inappropriate entity for pragma%", Arg1); + Error_Pragma_Arg ("inappropriate entity for pragma%", Arg1); end if; - -- The following check are only relevant when SPARK_Mode is on as - -- those are not a standard Ada legality rule. Pragma Volatile can + -- The following check is only relevant when SPARK_Mode is on as + -- this is not a standard Ada legality rule. Pragma Volatile can -- only apply to a full type declaration or an object declaration -- (SPARK RM C.6(1)). |