exp_disp.adb, [...]: Minor reformatting

2010-06-18  Robert Dewar  <dewar@adacore.com>

	* exp_disp.adb, sem_ch12.adb: Minor reformatting

From-SVN: r160967

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index b489a8d5b4b0bcac2d56baefdff19bed69c749aa..f53ba64bd79b8328a55fa922e039b529aa979437 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,7 @@
+2010-06-18  Robert Dewar  <dewar@adacore.com>
+
+       * exp_disp.adb, sem_ch12.adb: Minor reformatting
+
 2010-06-18  Ed Schonberg  <schonberg@adacore.com>
 
        * exp_util.adb (Make_Subtype_From_Expr): If the unconstrained type is

diff --git a/gcc/ada/exp_disp.adb b/gcc/ada/exp_disp.adb
index 66ab8134622211b74339fa9a0ba7517b0b7a5a6f..717d9739ae4dd01ee074f27bffc91c842058777a 100644 (file)
--- a/gcc/ada/exp_disp.adb
+++ b/gcc/ada/exp_disp.adb
@@ -6,7 +6,7 @@
 --                                                                          --
 --                                 B o d y                                  --
 --                                                                          --
---          Copyright (C) 1992-2009, Free Software Foundation, Inc.         --
+--          Copyright (C) 1992-2010, Free Software Foundation, Inc.         --
 --                                                                          --
 -- GNAT is free software;  you can  redistribute it  and/or modify it under --
 -- terms of the  GNU General Public License as published  by the Free Soft- --
@@ -1546,8 +1546,8 @@ package body Exp_Disp is
             Ftyp := Base_Type (Etype (Target_Formal));
          end if;
 
-         --  For concurrent types, the relevant info is on the corresponding_
-         --  record type.
+         --  For concurrent types, the relevant information is found in the
+         --  Corresponding_Record_Type, rather than the type entity itself.
 
          if Is_Concurrent_Type (Ftyp) then
             Ftyp := Corresponding_Record_Type (Ftyp);
@@ -3520,7 +3520,7 @@ package body Exp_Disp is
            and then not Is_Frozen (Typ)
          then
             Error_Msg_Sloc := Sloc (Subp);
-            Error_Msg_NE
+            Error_Msg_NE -- CODEFIX???
               ("declaration must appear after completion of type &", N, Typ);
             Error_Msg_NE
               ("\which is an untagged type in the profile of"
@@ -7350,7 +7350,7 @@ package body Exp_Disp is
                  and then
                not Is_TSS (Prim, TSS_Stream_Output)
             then
-               Error_Msg_NE
+               Error_Msg_NE -- CODEFIX???
                  ("abstract inherited private operation&" &
                   " must be overridden (RM 3.9.3(10))",
                  Parent (Typ), Prim);
@@ -7364,11 +7364,11 @@ package body Exp_Disp is
 
       if Is_Controlled (Typ) then
          if not Finalized then
-            Error_Msg_N
+            Error_Msg_N -- CODEFIX???
               ("controlled type has no explicit Finalize method?", Typ);
 
          elsif not Adjusted then
-            Error_Msg_N
+            Error_Msg_N -- CODEFIX???
               ("controlled type has no explicit Adjust method?", Typ);
          end if;
       end if;

diff --git a/gcc/ada/sem_ch12.adb b/gcc/ada/sem_ch12.adb
index b9ff3b97fda650e19ae6d8e32e7d3952ee76ac64..483b4162eda5a1c2b9a3ae63dd79abde61b06699 100644 (file)
--- a/gcc/ada/sem_ch12.adb
+++ b/gcc/ada/sem_ch12.adb
@@ -6,7 +6,7 @@
 --                                                                          --
 --                                 B o d y                                  --
 --                                                                          --
---          Copyright (C) 1992-2009, Free Software Foundation, Inc.         --
+--          Copyright (C) 1992-2010, Free Software Foundation, Inc.         --
 --                                                                          --
 -- GNAT is free software;  you can  redistribute it  and/or modify it under --
 -- terms of the  GNU General Public License as published  by the Free Soft- --
@@ -1144,7 +1144,8 @@ package body Sem_Ch12 is
                Others_Present := True;
 
                if Present (Next (Actual)) then
-                  Error_Msg_N ("others must be last association", Actual);
+                  Error_Msg_N -- CODEFIX???
+                    ("others must be last association", Actual);
                end if;
 
                --  This subprogram is used both for formal packages and for
@@ -1834,11 +1835,11 @@ package body Sem_Ch12 is
 
          if Null_Exclusion_Present (N) then
             if not Is_Access_Type (T) then
-               Error_Msg_N
+               Error_Msg_N -- CODEFIX???
                  ("null exclusion can only apply to an access type", N);
 
             elsif Can_Never_Be_Null (T) then
-               Error_Msg_NE
+               Error_Msg_NE -- CODEFIX???
                  ("`NOT NULL` not allowed (& already excludes null)",
                     N, T);
             end if;
@@ -4088,7 +4089,7 @@ package body Sem_Ch12 is
         and then Ekind (Gen_Unit) /= E_Generic_Procedure
       then
          if Ekind (Gen_Unit) = E_Generic_Function then
-            Error_Msg_N
+            Error_Msg_N -- CODEFIX???
               ("cannot instantiate generic function as procedure", Gen_Id);
          else
             Error_Msg_N
@@ -4099,7 +4100,7 @@ package body Sem_Ch12 is
         and then Ekind (Gen_Unit) /= E_Generic_Function
       then
          if Ekind (Gen_Unit) = E_Generic_Procedure then
-            Error_Msg_N
+            Error_Msg_N -- CODEFIX???
               ("cannot instantiate generic procedure as function", Gen_Id);
          else
             Error_Msg_N
@@ -4227,7 +4228,8 @@ package body Sem_Ch12 is
                   then
                      Error_Msg_NE ("access parameter& is controlling,",
                        N, Formal);
-                     Error_Msg_NE ("\corresponding parameter of & must be"
+                     Error_Msg_NE -- CODEFIX???
+                       ("\corresponding parameter of & must be"
                        & " explicitly null-excluding", N, Gen_Id);
                   end if;
 
@@ -5043,7 +5045,7 @@ package body Sem_Ch12 is
                   if Is_Child_Unit (E)
                     and then not Is_Visible_Child_Unit (E)
                   then
-                     Error_Msg_NE
+                     Error_Msg_NE -- CODEFIX???
                        ("generic child unit& is not visible", Gen_Id, E);
                   end if;
 
@@ -8354,14 +8356,14 @@ package body Sem_Ch12 is
          if Is_Atomic_Object (Actual)
            and then not Is_Atomic (Orig_Ftyp)
          then
-            Error_Msg_N
+            Error_Msg_N -- CODEFIX???
               ("cannot instantiate non-atomic formal object " &
                "with atomic actual", Actual);
 
          elsif Is_Volatile_Object (Actual)
            and then not Is_Volatile (Orig_Ftyp)
          then
-            Error_Msg_N
+            Error_Msg_N -- CODEFIX???
               ("cannot instantiate non-volatile formal object " &
                "with volatile actual", Actual);
          end if;
@@ -8528,7 +8530,7 @@ package body Sem_Ch12 is
         and then Has_Null_Exclusion (Analyzed_Formal)
       then
          Error_Msg_Sloc := Sloc (Analyzed_Formal);
-         Error_Msg_N
+         Error_Msg_N -- CODEFIX???
            ("actual must exclude null to match generic formal#", Actual);
       end if;
 
@@ -9212,21 +9214,23 @@ package body Sem_Ch12 is
 
          if Is_Access_Constant (A_Gen_T) then
             if not Is_Access_Constant (Act_T) then
-               Error_Msg_N
+               Error_Msg_N -- CODEFIX???
                  ("actual type must be access-to-constant type", Actual);
                Abandon_Instantiation (Actual);
             end if;
          else
             if Is_Access_Constant (Act_T) then
-               Error_Msg_N
+               Error_Msg_N -- CODEFIX???
                  ("actual type must be access-to-variable type", Actual);
                Abandon_Instantiation (Actual);
 
             elsif Ekind (A_Gen_T) = E_General_Access_Type
               and then Ekind (Base_Type (Act_T)) /= E_General_Access_Type
             then
-               Error_Msg_N ("actual must be general access type!", Actual);
-               Error_Msg_NE ("add ALL to }!", Actual, Act_T);
+               Error_Msg_N -- CODEFIX
+                 ("actual must be general access type!", Actual);
+               Error_Msg_NE -- CODEFIX
+                 ("add ALL to }!", Actual, Act_T);
                Abandon_Instantiation (Actual);
             end if;
          end if;
@@ -9266,7 +9270,7 @@ package body Sem_Ch12 is
          --  Ada 2005: null-exclusion indicators of the two types must agree
 
          if Can_Never_Be_Null (A_Gen_T) /=  Can_Never_Be_Null (Act_T) then
-            Error_Msg_NE
+            Error_Msg_NE -- CODEFIX???
               ("non null exclusion of actual and formal & do not match",
                  Actual, Gen_T);
          end if;
@@ -9388,7 +9392,7 @@ package body Sem_Ch12 is
          if Has_Aliased_Components (A_Gen_T)
            and then not Has_Aliased_Components (Act_T)
          then
-            Error_Msg_NE
+            Error_Msg_NE -- CODEFIX???
               ("actual must have aliased components to match formal type &",
                Actual, Gen_T);
          end if;
@@ -9577,7 +9581,7 @@ package body Sem_Ch12 is
          --  Perform atomic/volatile checks (RM C.6(12))
 
          if Is_Atomic (Act_T) and then not Is_Atomic (Ancestor) then
-            Error_Msg_N
+            Error_Msg_N -- CODEFIX???
               ("cannot have atomic actual type for non-atomic formal type",
                Actual);
 
@@ -9585,7 +9589,7 @@ package body Sem_Ch12 is
            and then not Is_Volatile (Ancestor)
            and then Is_By_Reference_Type (Ancestor)
          then
-            Error_Msg_N
+            Error_Msg_N -- CODEFIX???
               ("cannot have volatile actual type for non-volatile formal type",
                Actual);
          end if;
@@ -9940,7 +9944,7 @@ package body Sem_Ch12 is
            and then not Is_Limited_Type (A_Gen_T)
            and then False
          then
-            Error_Msg_NE
+            Error_Msg_NE -- CODEFIX???
               ("actual for non-limited & cannot be a limited type", Actual,
                Gen_T);
             Explain_Limited_Type (Act_T, Actual);
@@ -9988,7 +9992,7 @@ package body Sem_Ch12 is
          if Is_Limited_Type (Act_T)
            and then not Is_Limited_Type (A_Gen_T)
          then
-            Error_Msg_NE
+            Error_Msg_NE -- CODEFIX???
               ("actual for non-limited & cannot be a limited type", Actual,
                Gen_T);
             Explain_Limited_Type (Act_T, Actual);
@@ -12207,11 +12211,11 @@ package body Sem_Ch12 is
                   --  idea to have this flag set properly.
 
                   if Nkind (N) = N_Pragma
-                    and  then
-                      (Pragma_Name (N) = Name_Assert
-                        or else Pragma_Name (N) = Name_Check
-                        or else Pragma_Name (N) = Name_Precondition
-                        or else Pragma_Name (N) = Name_Postcondition)
+                    and then
+                      (Pragma_Name (N) = Name_Assert       or else
+                       Pragma_Name (N) = Name_Check        or else
+                       Pragma_Name (N) = Name_Precondition or else
+                       Pragma_Name (N) = Name_Postcondition)
                     and then Present (Associated_Node (Pragma_Identifier (N)))
                   then
                      Set_Pragma_Enabled (N,
@@ -12300,19 +12304,22 @@ package body Sem_Ch12 is
       Act_Unit : Entity_Id)
    is
    begin
-      --  Regardless of the current mode, predefined units are analyzed in
-      --  the most current Ada mode, and earlier version Ada checks do not
-      --  apply to predefined units. Nothing needs to be done for non-internal
-      --  units. These are always analyzed in the current mode.
+      --  Regardless of the current mode, predefined units are analyzed in the
+      --  most current Ada mode, and earlier version Ada checks do not apply
+      --  to predefined units. Nothing needs to be done for non-internal units.
+      --  These are always analyzed in the current mode.
 
       if Is_Internal_File_Name
-          (Fname => Unit_File_Name (Get_Source_Unit (Gen_Unit)),
-           Renamings_Included => True)
+           (Fname              => Unit_File_Name (Get_Source_Unit (Gen_Unit)),
+            Renamings_Included => True)
       then
          Set_Opt_Config_Switches (True, Current_Sem_Unit = Main_Unit);
       end if;
 
-      Current_Instantiated_Parent := (Gen_Unit, Act_Unit, Assoc_Null);
+      Current_Instantiated_Parent :=
+        (Gen_Id         => Gen_Unit,
+         Act_Id         => Act_Unit,
+         Next_In_HTable => Assoc_Null);
    end Set_Instance_Env;
 
    -----------------