lib.ads: Code cleanup.

2016-06-22  Arnaud Charlet  <charlet@adacore.com>

	* lib.ads: Code cleanup.
	* inline.adb: Type refinement for a counter variable.
	* lib-xref-spark_specific.adb (Add_SPARK_File): removal of no-op code.
	Code cleanup.

From-SVN: r237682

gcc/ada/ChangeLog

+2016-06-22  Arnaud Charlet  <charlet@adacore.com>
+
+	* lib.ads: Code cleanup.
+	* inline.adb: Type refinement for a counter variable.
+	* lib-xref-spark_specific.adb (Add_SPARK_File): removal of no-op code.
+	Code cleanup.
+
 2016-06-21  Eric Botcazou  <ebotcazou@adacore.com>
 
 	* gcc-interface/decl.c (set_nonaliased_component_on_array_type): New

gcc/ada/inline.adb

@@ -3868,7 +3868,7 @@ package body Inline is
    --  the body is an internal error.
 
    procedure Instantiate_Bodies is
-      J    : Int;
+      J    : Nat;
       Info : Pending_Body_Info;
 
    begin

gcc/ada/lib-xref-spark_specific.adb

@@ -201,27 +201,6 @@ package body SPARK_Specific is
          end loop;
       end;
 
-      --  Remove those scopes previously marked for removal
-
-      declare
-         Scope_Id : Scope_Index;
-
-      begin
-         Scope_Id := From;
-         for Index in From .. SPARK_Scope_Table.Last loop
-            declare
-               S : SPARK_Scope_Record renames SPARK_Scope_Table.Table (Index);
-            begin
-               if S.Scope_Num /= 0 then
-                  SPARK_Scope_Table.Table (Scope_Id) := S;
-                  Scope_Id := Scope_Id + 1;
-               end if;
-            end;
-         end loop;
-
-         SPARK_Scope_Table.Set_Last (Scope_Id - 1);
-      end;
-
       --  Make entry for new file in file table
 
       Get_Name_String (Reference_Name (File));
@@ -236,6 +215,8 @@ package body SPARK_Specific is
       then
          Get_Name_String (Reference_Name (Main_Source_File));
          Unit_File_Name := new String'(Name_Buffer (1 .. Name_Len));
+      else
+         Unit_File_Name := null;
       end if;
 
       SPARK_File_Table.Append (

gcc/ada/lib.ads

@@ -485,7 +485,7 @@ package Lib is
 
    function Exact_Source_Name (Loc : Source_Ptr) return String;
    --  Return name of entity at location Loc exactly as written in the source.
-   --  this includes copying the wide character encodings exactly as they were
+   --  This includes copying the wide character encodings exactly as they were
    --  used in the source, so the caller must be aware of the possibility of
    --  such encodings.