aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_attr.adb
diff options
context:
space:
mode:
authorArnaud Charlet <charlet@gcc.gnu.org>2016-05-02 12:10:01 +0200
committerArnaud Charlet <charlet@gcc.gnu.org>2016-05-02 12:10:01 +0200
commit2cc2e9642be12cc88ae8bf2b69c00affb5e1e9fe (patch)
tree7202b177596c943e3df1aa040bb132d8e4085915 /gcc/ada/sem_attr.adb
parent08e5cf22522a870f0de5be947f1494b4b63f33ad (diff)
downloadgcc-2cc2e9642be12cc88ae8bf2b69c00affb5e1e9fe.zip
gcc-2cc2e9642be12cc88ae8bf2b69c00affb5e1e9fe.tar.gz
gcc-2cc2e9642be12cc88ae8bf2b69c00affb5e1e9fe.tar.bz2
[multiple changes]
2016-05-02 Gary Dismukes <dismukes@adacore.com> * exp_ch5.adb, exp_ch7.adb, exp_ch7.ads, checks.adb, sem_attr.adb, gnat1drv.adb, sem_ch4.adb, sem_ch13.adb: Minor reformatting and typo fixes. * sem_prag.adb, sem_ch12.adb: Minor typo fixes. 2016-05-02 Ed Schonberg <schonberg@adacore.com> * exp_ch6.adb (Make_Build_In_Place_Call_In_Allocator): The function call may be wrapped in an explicit type conversion. 2016-05-02 Jerome Lambourg <lambourg@adacore.com> * interfac.ads: use pragma No_Elaboration_Code_All. * s-unstyp.ads: s-unstyp.ads: use pragma No_Elaboration_Code_All. 2016-05-02 Ed Schonberg <schonberg@adacore.com> * sem.adb (Analyze: If node is an error node previously created by the parser, disable expansion to prevent subsequent glitches in error recovery. From-SVN: r235736
Diffstat (limited to 'gcc/ada/sem_attr.adb')
-rw-r--r--gcc/ada/sem_attr.adb6
1 files changed, 3 insertions, 3 deletions
diff --git a/gcc/ada/sem_attr.adb b/gcc/ada/sem_attr.adb
index 6d8f8fc..30d33d2 100644
--- a/gcc/ada/sem_attr.adb
+++ b/gcc/ada/sem_attr.adb
@@ -4975,9 +4975,9 @@ package body Sem_Attr is
-- and does not suffer from the out-of-order issue described
-- above. Thus, this expansion is skipped in SPARK mode.
- -- THe expansion is not relevant for discrete types, that will
- -- not generate extra declarations, and where use of the base
- -- type may lead to spurious errors if context is a case.
+ -- The expansion is not relevant for discrete types, which will
+ -- not generate extra declarations, and where use of the base type
+ -- may lead to spurious errors if context is a case.
if not GNATprove_Mode then
if not Is_Discrete_Type (Pref_Typ) then