diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-11-06 10:45:56 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-11-06 10:45:56 +0000 |
| commit | 704b4aa5034b6b00d087d39761336f975727009c (patch) | |
| tree | 3a1a533fefbde97f9df0bf57d5bfca920075618c | |
| parent | 64f28d78bd0c816e2059171b3f32b1f762b715cc (diff) | |
| download | gcc-upstream-704b4aa5034b6b00d087d39761336f975727009c.tar.gz | |
2012-11-06 Robert Dewar <dewar@adacore.com>
* exp_attr.adb, sem_attr.adb: Minor reformatting.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@193230 138bc75d-0d04-0410-961f-82ee72b054a4
| -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 7493c6d61a0..d2ad5416b29 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 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; |