From: Piotr Trojanek Date: Wed, 8 Nov 2017 15:38:51 +0000 (+0000) Subject: lib-xref-spark_specific.adb (Add_SPARK_Xrefs): Remove dead check for empty entities. X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a14ab2c3467950ccaad000864164a62d24129dd5;p=gcc.git 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 --- diff --git a/gcc/ada/lib-xref-spark_specific.adb b/gcc/ada/lib-xref-spark_specific.adb index c3bad8d784d..48377185ebf 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,