diff options
author | Arnaud Charlet <charlet@adacore.com> | 2016-05-02 10:00:00 +0000 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-05-02 12:00:00 +0200 |
commit | 4871a41df95577e9c43dcf118d46e7faf733ef94 (patch) | |
tree | f2f6e97b3894a51e65b162e94b2a54702fc8fb8d /gcc/ada/sem_intr.adb | |
parent | 8d4611f7b0399ae3726185659f230b8b86f6a81e (diff) | |
download | gcc-4871a41df95577e9c43dcf118d46e7faf733ef94.zip gcc-4871a41df95577e9c43dcf118d46e7faf733ef94.tar.gz gcc-4871a41df95577e9c43dcf118d46e7faf733ef94.tar.bz2 |
2016-05-02 Arnaud Charlet <charlet@adacore.com>
* spark_xrefs.ads Description of the spark cross-references
clarified; small style fixes.
* lib-xref-spark_specific.adb (Add_SPARK_Scope,
Detect_And_Add_SPARK_Scope): consider protected types and bodies
as yet another scopes.
(Enclosing_Subprogram_Or_Library_Package): refactored using
Hristian's suggestions; added support for scopes of protected
types and bodies; fix for entries to return the scope of the
enclosing concurrent type, which is consistent with what is
returned for protected subprograms.
* sem_intr.adb: Minor style fix in comment.
From-SVN: r235731
Diffstat (limited to 'gcc/ada/sem_intr.adb')
-rw-r--r-- | gcc/ada/sem_intr.adb | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gcc/ada/sem_intr.adb b/gcc/ada/sem_intr.adb index e25ebb7..a15e95c 100644 --- a/gcc/ada/sem_intr.adb +++ b/gcc/ada/sem_intr.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 1992-2015, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2016, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -59,7 +59,7 @@ package body Sem_Intr is procedure Check_Shift (E : Entity_Id; N : Node_Id); -- Check intrinsic shift subprogram, the two arguments are the same -- as for Check_Intrinsic_Subprogram (i.e. the entity of the subprogram - -- declaration, and the node for the pragma argument, used for messages) + -- declaration, and the node for the pragma argument, used for messages). procedure Errint (Msg : String; S : Node_Id; N : Node_Id); -- Post error message for bad intrinsic, the message itself is posted @@ -340,7 +340,7 @@ package body Sem_Intr is then null; - -- Exception functions + -- Exception functions elsif Nam_In (Nam, Name_Exception_Information, Name_Exception_Message, |