diff options
| author | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2017-11-08 16:31:39 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2017-11-08 16:31:39 +0000 |
| commit | 2cf8eabd48500b8d2480301020bd2aa82cf6556d (patch) | |
| tree | c2dbb61ab4220dd6fa0227fb21a70be00dfc9bed /gcc/ada/lib-xref-spark_specific.adb | |
| parent | 45a6947d0f40ca6bfebd430969087e0595c47cb8 (diff) | |
| download | gcc-2cf8eabd48500b8d2480301020bd2aa82cf6556d.zip gcc-2cf8eabd48500b8d2480301020bd2aa82cf6556d.tar.gz gcc-2cf8eabd48500b8d2480301020bd2aa82cf6556d.tar.bz2 | |
[multiple changes]
2017-11-08 Piotr Trojanek <trojanek@adacore.com>
* spark_xrefs.ads (SPARK_Xref_Record): Replace file and scope indices
with Entity_Id of the reference.
* spark_xrefs.adb (dspark): Adapt pretty-printing routine.
* lib-xref-spark_specific.adb (Add_SPARK_Xrefs): Store Entity_Id of the
reference, not the file and scope indices.
2017-11-08 Arnaud Charlet <charlet@adacore.com>
* errout.ads (Current_Node): New.
* errout.adb (Error_Msg): Use Current_Node.
* par-ch6.adb, par-ch7.adb, par-ch9.adb, par-util.adb: Set Current_Node
when relevant.
* style.adb: Call Error_Msg_N when possible.
From-SVN: r254543
Diffstat (limited to 'gcc/ada/lib-xref-spark_specific.adb')
| -rw-r--r-- | gcc/ada/lib-xref-spark_specific.adb | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/gcc/ada/lib-xref-spark_specific.adb b/gcc/ada/lib-xref-spark_specific.adb index 929de9a..8cc2e72 100644 --- a/gcc/ada/lib-xref-spark_specific.adb +++ b/gcc/ada/lib-xref-spark_specific.adb @@ -773,8 +773,7 @@ package body SPARK_Specific is SPARK_Xref_Table.Append ( (Entity => Unique_Entity (Ref.Ent), - File_Num => Dependency_Num (Ref.Lun), - Scope_Num => Get_Scope_Num (Ref.Ref_Scope), + Ref_Scope => Ref.Ref_Scope, Rtype => Typ)); end; end loop; |