From: pmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Tue, 31 Jul 2018 09:56:48 +0000 (+0000)
Subject: [Ada] Sem_Elab: remove duplicate condition
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7233af4a4d5aa6db244109ad8e047b102f3374c8;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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@263106 138bc75d-0d04-0410-961f-82ee72b054a4
---

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;