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.adb | |
| 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.adb')
| -rw-r--r-- | gcc/ada/spark_xrefs.adb | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/gcc/ada/spark_xrefs.adb b/gcc/ada/spark_xrefs.adb index 552ed59..cea28a6 100644 --- a/gcc/ada/spark_xrefs.adb +++ b/gcc/ada/spark_xrefs.adb @@ -69,10 +69,6 @@ package body SPARK_Xrefs is begin Write_Str (" "); Write_Int (Int (Index)); - Write_Str (". File_Num = "); - Write_Int (Int (ASR.File_Num)); - Write_Str (" Scope_Num = "); - Write_Int (Int (ASR.Scope_Num)); Write_Str (" Scope_Name = """); Write_Str (Unique_Name (ASR.Entity)); |