From: Pierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Date: Wed, 8 Nov 2017 17:10:05 +0000 (+0000)
Subject: [multiple changes]
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=76b37a56d234f98a8f30c9e22f24cb02edb75e23;p=gcc.git

[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 be7a8bb8c7e..51aa930e0f4 100644
--- 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 56bcf5de919..df0c5bbe188 100644
--- 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 cfc4db7c2b6..2ef57476b9a 100644
--- 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 a5d337334d2..df1d8e89398 100644
--- 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