OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

lib-xref-spark_specific.adb (Add_SPARK_Xrefs): Remove dead check for empty entities.

Browse Source 
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
This commit is contained in:
Piotr Trojanek 2017-11-08 15:38:51 +00:00 committed by Pierre-Marie de Rodat
parent 6216fd904f
commit a14ab2c346
1 changed files with 1 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
gcc/ada/lib-xref-spark_specific.adb
View File

@ -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,