From: Arnaud Charlet <charlet@adacore.com>
Date: Tue, 31 Jul 2018 09:56:48 +0000 (+0000)
Subject: [Ada] Sem_Elab: remove duplicate condition
X-Git-Tag: basepoints/gcc-10~5066
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=fa9f3f8c448e8e7d1b0d61742059218398f59b09;p=thirdparty%2Fgcc.git

[Ada] Sem_Elab: remove duplicate condition

2018-07-31  Arnaud Charlet  <charlet@adacore.com>

gcc/ada/

	* sem_elab.adb: Remove duplicate condition detected by CodePeer.

From-SVN: r263106
---

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index a713ceb8fecc..92ec7513bd58 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,7 @@
+2018-07-31  Arnaud Charlet  <charlet@adacore.com>
+
+	* sem_elab.adb: Remove duplicate condition detected by CodePeer.
+
 2018-07-31  Ed Schonberg  <schonberg@adacore.com>
 
 	* exp_unst.adb (Subp_Index): In the case of a protected
diff --git a/gcc/ada/sem_elab.adb b/gcc/ada/sem_elab.adb
index c2fc7c5977be..8226e107565b 100644
--- a/gcc/ada/sem_elab.adb
+++ b/gcc/ada/sem_elab.adb
@@ -4763,7 +4763,6 @@ package body Sem_Elab is
            and then not Comes_From_Source (N)
            and then Present (Context)
            and then Nkind (Context) = N_Handled_Sequence_Of_Statements
-           and then not Comes_From_Source (N)
          then
             return False;
          end if;