[multiple changes]

2017-11-08  Piotr Trojanek  <trojanek@adacore.com>

	* spark_xrefs.ads (SPARK_Scope_Record): Remove File_Num component.
	* lib-xref-spark_specific.adb (Add_SPARK_Scope): Skip initialization of
	removed component.

2017-11-08  Gary Dismukes  <dismukes@adacore.com>

	* sem_ch4.adb: Minor typo fix.

From-SVN: r254546

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index be7a8bb8c7e60557e14d6dc18848d136a0ba1152..51aa930e0f42f0e4f05ca0bb3a119928d2e0c673 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,13 @@
+2017-11-08  Piotr Trojanek  <trojanek@adacore.com>
+
+       * spark_xrefs.ads (SPARK_Scope_Record): Remove File_Num component.
+       * lib-xref-spark_specific.adb (Add_SPARK_Scope): Skip initialization of
+       removed component.
+
+2017-11-08  Gary Dismukes  <dismukes@adacore.com>
+
+       * sem_ch4.adb: Minor typo fix.
+
 2017-11-08  Piotr Trojanek  <trojanek@adacore.com>
 
        * spark_xrefs.ads (SPARK_Scope_Record): Remove Spec_File_Num and

diff --git a/gcc/ada/lib-xref-spark_specific.adb b/gcc/ada/lib-xref-spark_specific.adb
index 56bcf5de91922a5308770afce8521b7587af37a7..df0c5bbe1880469a83c504d2fc3f280e66b1f22e 100644 (file)
--- a/gcc/ada/lib-xref-spark_specific.adb
+++ b/gcc/ada/lib-xref-spark_specific.adb
@@ -161,11 +161,10 @@ package body SPARK_Specific is
          --  range.
 
          SPARK_Scope_Table.Append
-           ((Entity         => E,
-             File_Num       => Dspec,
-             Scope_Num      => Scope_Id,
-             From_Xref      => 1,
-             To_Xref        => 0));
+           ((Entity    => E,
+             Scope_Num => Scope_Id,
+             From_Xref => 1,
+             To_Xref   => 0));
 
          Scope_Id := Scope_Id + 1;
       end Add_SPARK_Scope;

diff --git a/gcc/ada/sem_ch4.adb b/gcc/ada/sem_ch4.adb
index cfc4db7c2b6d08d0d0ae0832de3aa17bdc859ba0..2ef57476b9a7b7ed216231e74764bbdd3a16cf46 100644 (file)
--- a/gcc/ada/sem_ch4.adb
+++ b/gcc/ada/sem_ch4.adb
@@ -418,7 +418,7 @@ package body Sem_Ch4 is
    --  Delta aggregates have a base component that determines the type of the
    --  enclosing aggregate so its type can be ascertained earlier. This also
    --  allows delta aggregates to appear in the context of a record type with
-   --  a private extension, as per the latest update of AI2-0127.
+   --  a private extension, as per the latest update of AI12-0127.
 
    procedure Analyze_Aggregate (N : Node_Id) is
    begin

diff --git a/gcc/ada/spark_xrefs.ads b/gcc/ada/spark_xrefs.ads
index a5d337334d270a45f148f89361e24a06ef7346a7..df1d8e89398ef3bd469ebb11371f0e85a7d2a546 100644 (file)
--- a/gcc/ada/spark_xrefs.ads
+++ b/gcc/ada/spark_xrefs.ads
@@ -104,11 +104,8 @@ package SPARK_Xrefs is
       Entity : Entity_Id;
       --  Entity that is represented by the scope
 
-      File_Num : Nat;
-      --  Set to the file dependency number for the scope
-
       Scope_Num : Pos;
-      --  Set to the scope number for the scope
+      --  Set to the scope number within the enclosing unit
 
       From_Xref : Xref_Index;
       --  Starting index in Xref table for this scope