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;