diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2017-11-08 15:38:51 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2017-11-08 15:38:51 +0000 |
| commit | a14ab2c3467950ccaad000864164a62d24129dd5 (patch) | |
| tree | a1b83aacc9d51be4e2f71d5128f3513e54855be1 /gcc/ada/lib-xref-spark_specific.adb | |
| parent | 6216fd904f46a11fa243195ee303560dc802958e (diff) | |
| download | gcc-a14ab2c3467950ccaad000864164a62d24129dd5.zip gcc-a14ab2c3467950ccaad000864164a62d24129dd5.tar.gz gcc-a14ab2c3467950ccaad000864164a62d24129dd5.tar.bz2 | |
lib-xref-spark_specific.adb (Add_SPARK_Xrefs): Remove dead check for empty entities.
2017-11-08 Piotr Trojanek <trojanek@adacore.com>
* lib-xref-spark_specific.adb (Add_SPARK_Xrefs): Remove dead check for
empty entities.
From-SVN: r254535
Diffstat (limited to 'gcc/ada/lib-xref-spark_specific.adb')
| -rw-r--r-- | gcc/ada/lib-xref-spark_specific.adb | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/gcc/ada/lib-xref-spark_specific.adb b/gcc/ada/lib-xref-spark_specific.adb index c3bad8d..4837718 100644 --- a/gcc/ada/lib-xref-spark_specific.adb +++ b/gcc/ada/lib-xref-spark_specific.adb @@ -657,7 +657,6 @@ package body SPARK_Specific is Prev_Loc : Source_Ptr; Prev_Typ : Character; Ref_Count : Nat; - Ref_Name : String_Ptr; Scope_Id : Scope_Index; -- Start of processing for Add_SPARK_Xrefs @@ -818,10 +817,6 @@ package body SPARK_Specific is pragma Assert (Scope_Id <= SPARK_Scope_Table.Last); end loop; - if Present (Ref.Ent) then - Ref_Name := new String'(Unique_Name (Ref.Ent)); - end if; - if Ref.Ent = Heap then Line := 0; Col := 0; @@ -845,7 +840,7 @@ package body SPARK_Specific is end if; SPARK_Xref_Table.Append ( - (Entity_Name => Ref_Name, + (Entity_Name => new String'(Unique_Name (Ref.Ent)), Entity_Line => Line, Etype => Get_Entity_Type (Ref.Ent), Entity_Col => Col, |