From 97ce3a148a0c13f7ec36584e70f5a2e952b63a32 Mon Sep 17 00:00:00 2001 From: Robert Dewar Date: Tue, 6 Nov 2012 10:45:56 +0000 Subject: [PATCH] exp_attr.adb, [...]: Minor reformatting. 2012-11-06 Robert Dewar * exp_attr.adb, sem_attr.adb: Minor reformatting. From-SVN: r193230 --- gcc/ada/ChangeLog | 4 ++++ gcc/ada/exp_attr.adb | 3 +++ gcc/ada/sem_attr.adb | 2 ++ 3 files changed, 9 insertions(+) diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 7493c6d61a0..d2ad5416b29 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,7 @@ +2012-11-06 Robert Dewar + + * exp_attr.adb, sem_attr.adb: Minor reformatting. + 2012-11-06 Gary Dismukes * exp_attr.adb (Expand_N_Attribute_Reference): Apply a predicate diff --git a/gcc/ada/exp_attr.adb b/gcc/ada/exp_attr.adb index d94ae8896f2..dcaac0c29b9 100644 --- a/gcc/ada/exp_attr.adb +++ b/gcc/ada/exp_attr.adb @@ -5627,6 +5627,9 @@ package body Exp_Attr is -- function, then issue a warning that this will cause infinite -- recursion. + -- Do we have to issue these warnings in the expander rather + -- than during analysis (means they are skipped in -gnatc???). + if Current_Scope = Pred_Func then Error_Msg_N ("attribute Valid requires a predicate check?", N); diff --git a/gcc/ada/sem_attr.adb b/gcc/ada/sem_attr.adb index 223f3879155..7ed94b4d91a 100644 --- a/gcc/ada/sem_attr.adb +++ b/gcc/ada/sem_attr.adb @@ -7235,6 +7235,8 @@ package body Sem_Attr is -- Loop_Entry -- ---------------- + -- This null processing requires an explanatory comment??? + when Attribute_Loop_Entry => null;