From a14ab2c3467950ccaad000864164a62d24129dd5 Mon Sep 17 00:00:00 2001 From: Piotr Trojanek Date: Wed, 8 Nov 2017 15:38:51 +0000 Subject: [PATCH] lib-xref-spark_specific.adb (Add_SPARK_Xrefs): Remove dead check for empty entities. 2017-11-08 Piotr Trojanek * lib-xref-spark_specific.adb (Add_SPARK_Xrefs): Remove dead check for empty entities. From-SVN: r254535 --- gcc/ada/lib-xref-spark_specific.adb | 7 +------ 1 file changed, 1 insertion(+), 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, -- 2.7.4