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).
Tested on x86_64-pc-linux-gnu, committed on trunk
gcc/ada/
* sem_ch5.adb (Check_Unreachable_Code): Remove redundant guard;
the call to Present wasn't needed either.
diff --git a/gcc/ada/sem_ch5.adb b/gcc/ada/sem_ch5.adb
--- 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