diff options
author | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2017-11-08 16:52:32 +0000 |
---|---|---|
committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2017-11-08 16:52:32 +0000 |
commit | ec98bb7dacad52c04092fee6de9cbf3b1d8c6b66 (patch) | |
tree | 11cc04eb7c92b258449c4c54681e3cd733499a59 /gcc/ada/spark_xrefs.ads | |
parent | 9ac3cbb39d0988cb23dee4fd6a67bf7a3020bb69 (diff) | |
download | gcc-ec98bb7dacad52c04092fee6de9cbf3b1d8c6b66.zip gcc-ec98bb7dacad52c04092fee6de9cbf3b1d8c6b66.tar.gz gcc-ec98bb7dacad52c04092fee6de9cbf3b1d8c6b66.tar.bz2 |
[multiple changes]
2017-11-08 Piotr Trojanek <trojanek@adacore.com>
* spark_xrefs.ads (SPARK_Scope_Record): Remove Spec_File_Num and
Spec_Scope_Num components.
* spark_xrefs.adb (dspark): Skip pretty-printing to removed components.
* lib-xref-spark_specific.adb (Add_SPARK_Scope): Skip initialization of
removed components.
(Collect_SPARK_Xrefs): Skip setting proper values of removed
components.
2017-11-08 Gary Dismukes <dismukes@adacore.com>
* exp_ch4.adb (Expand_N_Type_Conversion): Add test that the selector
name is a discriminant in check for unconditional accessibility
violation within instances.
From-SVN: r254545
Diffstat (limited to 'gcc/ada/spark_xrefs.ads')
-rw-r--r-- | gcc/ada/spark_xrefs.ads | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/gcc/ada/spark_xrefs.ads b/gcc/ada/spark_xrefs.ads index 4223003..a5d3373 100644 --- a/gcc/ada/spark_xrefs.ads +++ b/gcc/ada/spark_xrefs.ads @@ -110,14 +110,6 @@ package SPARK_Xrefs is Scope_Num : Pos; -- Set to the scope number for the scope - Spec_File_Num : Nat; - -- Set to the file dependency number for the scope corresponding to the - -- spec of the current scope entity, if different, or else 0. - - Spec_Scope_Num : Nat; - -- Set to the scope number for the scope corresponding to the spec of - -- the current scope entity, if different, or else 0. - From_Xref : Xref_Index; -- Starting index in Xref table for this scope |