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;