From: Piotr Trojanek <trojanek@adacore.com>
Date: Thu, 31 Dec 2020 14:26:03 +0000 (+0100)
Subject: [Ada] Simplify implicit loading for GNATprove with Discard_Node
X-Git-Tag: upstream/12.2.0~8327
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=13b26a958071d818e051f4b3230d381ec974772a;p=platform%2Fupstream%2Fgcc.git

[Ada] Simplify implicit loading for GNATprove with Discard_Node

gcc/ada/

	* rtsfind.adb (SPARK_Implicit_Load): Simplify with Discard_Node.
---

diff --git a/gcc/ada/rtsfind.adb b/gcc/ada/rtsfind.adb
index cab8679..33ce7cd 100644
--- a/gcc/ada/rtsfind.adb
+++ b/gcc/ada/rtsfind.adb
@@ -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;