+2012-08-06  Robert Dewar  <dewar@adacore.com>
+
+       * s-oscons-tmplt.c, sem_ch9.adb, osint.adb: Minor reformatting.
+
+2012-08-06  Hristian Kirtchev  <kirtchev@adacore.com>
+
+       * sem_ch5.adb (Analyze_Loop_Parameter_Specification): Remove obsolete
+       Alfa-specific guard. The code is a leftover from an early
+       implementation of iterators which is no longer in use.
+
+2012-08-06  Vincent Celier  <celier@adacore.com>
+
+       * par-ch13.adb (Get_Aspect_Specifications): Do not consider
+       No_Aspect when checking for a mispelled aspect.
+
 2012-08-06  Robert Dewar  <dewar@adacore.com>
 
        * s-htable.adb: Minor reformatting.
 
          return null;
    end To_Canonical_Path_Spec;
 
-   ---------------------------
+   ----------------------
    -- To_Host_Dir_Spec --
-   ---------------------------
+   ----------------------
 
    function To_Host_Dir_Spec
      (Canonical_Dir : String;
       end if;
    end To_Host_Dir_Spec;
 
-   ----------------------------
+   -----------------------
    -- To_Host_File_Spec --
-   ----------------------------
+   -----------------------
 
    function To_Host_File_Spec
      (Canonical_File : String) return String_Access
 
             --  Check bad spelling
 
             for J in Aspect_Id loop
-               if Is_Bad_Spelling_Of (Token_Name, Aspect_Names (J)) then
+               if J /= No_Aspect and then
+                  Is_Bad_Spelling_Of (Token_Name, Aspect_Names (J))
+               then
                   Error_Msg_Name_1 := Aspect_Names (J);
                   Error_Msg_SC -- CODEFIX
                     ("\possible misspelling of%");
 
 /*
    pragma Warnings (Off, Target_OS);
    --  Suppress warnings on Target_OS since it is in general tested for
-   --  equality with a constant valueto implement conditional compilation,
+   --  equality with a constant value to implement conditional compilation,
    --  which normally generates a constant condition warning.
 
 */
 
          --  Ada 2012: If the domain of iteration is a function call, it is the
          --  new iterator form.
 
-         --  We have also implemented the shorter form : for X in S for Alfa
-         --  use. In this case, 'Old and 'Result must be treated as entity
-         --  names over which iterators are legal.
-
          if Nkind (DS_Copy) = N_Function_Call
-           or else
-             (Alfa_Mode
-               and then (Nkind (DS_Copy) = N_Attribute_Reference
-               and then
-                 (Attribute_Name (DS_Copy) = Name_Result
-                   or else Attribute_Name (DS_Copy) = Name_Old)))
            or else
              (Is_Entity_Name (DS_Copy)
                and then not Is_Type (Entity (DS_Copy)))
 
                                         Get_Aspect_Id (Asp_Name);
 
                         begin
-                           if Asp_Id = Aspect_Address
-                             or else Asp_Id = Aspect_Export
-                             or else Asp_Id = Aspect_Import
+                           if Asp_Id = Aspect_Address or else
+                              Asp_Id = Aspect_Export  or else
+                              Asp_Id = Aspect_Import
                            then
                               Error_Msg_Name_1 := Asp_Name;