[gcc r13-1474] [Ada] Remove redundant guards in detection of unreachable code

[gcc r13-1474] [Ada] Remove redundant guards in detection of unreachable code

[Pierre-Marie de Rodat]

https://gcc.gnu.org/g:21d6ec4579056c97953cb22e99056e6e9a5450c4

commit r13-1474-g21d6ec4579056c97953cb22e99056e6e9a5450c4
Author: Piotr Trojanek <trojanek@adacore.com>
Date:   Tue May 31 00:29:28 2022 +0200

    [Ada] Remove redundant guards in detection of unreachable code
    
    Routine Check_Unreachable_Code is only called on nodes belonging to a
    list of statements (and it wouldn't make sense to call it on anything
    else).
    
    gcc/ada/
    
            * sem_ch5.adb (Check_Unreachable_Code): Remove redundant guard;
            the call to Present wasn't needed either.

Diff:
---
 gcc/ada/sem_ch5.adb | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/gcc/ada/sem_ch5.adb b/gcc/ada/sem_ch5.adb
index 1f3ea556235..bb1e7b9cede 100644
--- a/gcc/ada/sem_ch5.adb
+++ b/gcc/ada/sem_ch5.adb
@@ -4398,7 +4398,7 @@ package body Sem_Ch5 is
       P          : Node_Id;
 
    begin
-      if Is_List_Member (N) and then Comes_From_Source (N) then
+      if Comes_From_Source (N) then
          Nxt := Original_Node (Next (N));
 
          --  Skip past pragmas
@@ -4415,8 +4415,7 @@ package body Sem_Ch5 is
 
          --  Otherwise see if we have a real statement following us
 
-         elsif Present (Nxt)
-           and then Comes_From_Source (Nxt)
+         elsif Comes_From_Source (Nxt)
            and then Is_Statement (Nxt)
          then
             --  Special very annoying exception. If we have a return that