diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 3c668004cd5..858caaeb4f3 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,8 @@
+2011-12-02  Robert Dewar  <dewar@adacore.com>
+
+	* sem_ch3.adb, sem_attr.adb, a-comutr.adb, a-cbmutr.adb,
+	a-cbmutr.ads: Minor reformatting.
+
 2011-12-02  Hristian Kirtchev  <kirtchev@adacore.com>
 
 	* exp_dbug.adb: Comment reformatting.
diff --git a/gcc/ada/a-cbmutr.adb b/gcc/ada/a-cbmutr.adb
index 713e1be8d4b..0e05e8b5f74 100644
--- a/gcc/ada/a-cbmutr.adb
+++ b/gcc/ada/a-cbmutr.adb
@@ -2047,6 +2047,7 @@ package body Ada.Containers.Bounded_Multiway_Trees is
       declare
          Nodes : Tree_Node_Array renames Object.Container.Nodes;
          Node  : Count_Type;
+
       begin
          Node := Position.Node;
 
diff --git a/gcc/ada/a-cbmutr.ads b/gcc/ada/a-cbmutr.ads
index 73580d992cf..b114ffc3db8 100644
--- a/gcc/ada/a-cbmutr.ads
+++ b/gcc/ada/a-cbmutr.ads
@@ -302,6 +302,9 @@ private
    use Ada.Streams;
 
    No_Node : constant Count_Type'Base := -1;
+   --  Need to document all global declarations such as this ???
+
+   --  Following decls also need much more documentation ???
 
    type Children_Type is record
       First : Count_Type'Base;
diff --git a/gcc/ada/a-comutr.adb b/gcc/ada/a-comutr.adb
index 12d675ad574..3d6794a74f5 100644
--- a/gcc/ada/a-comutr.adb
+++ b/gcc/ada/a-comutr.adb
@@ -51,6 +51,9 @@ package body Ada.Containers.Multiway_Trees is
    --  Subtree_Iterator --
    -----------------------
 
+   --  ??? these headers are a bit odd, but for sure they do not substitute
+   --  for documenting things, what *is* a Subtree_Iterator?
+
    type Subtree_Iterator is new Root_Iterator with null record;
 
    overriding function First (Object : Subtree_Iterator) return Cursor;
diff --git a/gcc/ada/sem_attr.adb b/gcc/ada/sem_attr.adb
index bfad3f8b7d0..d4c78b83521 100644
--- a/gcc/ada/sem_attr.adb
+++ b/gcc/ada/sem_attr.adb
@@ -8633,8 +8633,8 @@ package body Sem_Attr is
                    (Ada_Version < Ada_2005
                      or else
                        not Effectively_Has_Constrained_Partial_View
-                        (Typ => Designated_Type (Base_Type (Typ)),
-                         Scop => Current_Scope))
+                             (Typ => Designated_Type (Base_Type (Typ)),
+                              Scop => Current_Scope))
                then
                   null;
 
@@ -8648,7 +8648,6 @@ package body Sem_Attr is
                   then
                      declare
                         D : constant Node_Id := Declaration_Node (Entity (P));
-
                      begin
                         Error_Msg_N ("aliased object has explicit bounds?",
                           D);
diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb
index 6af0ed53989..897ed169e85 100644
--- a/gcc/ada/sem_ch3.adb
+++ b/gcc/ada/sem_ch3.adb
@@ -9526,6 +9526,7 @@ package body Sem_Ch3 is
          --  In case of previous errors, other expansion actions that provide
          --  bodies for null procedures with not be invoked, so inhibit message
          --  in those cases.
+
          --  Note that E_Operator is not in the list that follows, because
          --  this kind is reserved for predefined operators, that are
          --  intrinsic and do not need completion.
@@ -9583,6 +9584,8 @@ package body Sem_Ch3 is
                May_Need_Implicit_Body (E);
             end if;
 
+         --  Comment needed here for Is_Generic_Type test ???
+
          elsif Ekind (E) = E_Incomplete_Type
            and then No (Underlying_Type (E))
            and then not Is_Generic_Type (E)