FreeChainXenon/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

[Ada] Simplify implicit loading for GNATprove with Discard_Node

Browse source 
gcc/ada/

	* rtsfind.adb (SPARK_Implicit_Load): Simplify with Discard_Node.
This commit is contained in:
Piotr Trojanek 2020-12-31 15:26:03 +01:00 • committed by Pierre-Marie de Rodat
parent 8d0d46f4a2
commit 13b26a9580
1 changed files with 1 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
gcc/ada/rtsfind.adb
View file

@ -1795,14 +1795,12 @@ package body Rtsfind is
-------------------------
procedure SPARK_Implicit_Load (E : RE_Id) is
Unused : Entity_Id;
begin
pragma Assert (GNATprove_Mode);
-- Force loading of a predefined unit
Unused := RTE (E);
Discard_Node (RTE (E));
end SPARK_Implicit_Load;
end Rtsfind;