diff options
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/ada/exp_attr.adb | 3 | ||||
| -rw-r--r-- | gcc/ada/sem_attr.adb | 2 |
3 files changed, 9 insertions, 0 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 7493c6d..d2ad541 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,7 @@ +2012-11-06 Robert Dewar <dewar@adacore.com> + + * exp_attr.adb, sem_attr.adb: Minor reformatting. + 2012-11-06 Gary Dismukes <dismukes@adacore.com> * 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 d94ae88..dcaac0c 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 223f387..7ed94b4 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; |