[gcc r15-1132] ada: Remove unnecessary guard against empty list

[Marc Poulhi?s via Gcc-cvs]

https://gcc.gnu.org/g:731824d08107075d689aec92ea564e0a3ec6d90a

commit r15-1132-g731824d08107075d689aec92ea564e0a3ec6d90a
Author: Piotr Trojanek <troja...@adacore.com>
Date:   Mon Apr 8 18:00:49 2024 +0200

    ada: Remove unnecessary guard against empty list
    
    Code cleanup; semantics is unaffected.
    
    gcc/ada/
    
            * sem_prag.adb (Report_Extra_Clauses): Remove redundant check
            for empty list, because First works also for No_List.

Diff:
---
 gcc/ada/sem_prag.adb | 15 ++++++---------
 1 file changed, 6 insertions(+), 9 deletions(-)

diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb
index 29f27652138..9ccf1b9cf65 100644
--- a/gcc/ada/sem_prag.adb
+++ b/gcc/ada/sem_prag.adb
@@ -28248,16 +28248,13 @@ package body Sem_Prag is
          Clause : Node_Id;
 
       begin
-         if Present (Clauses) then
-            Clause := First (Clauses);
-            while Present (Clause) loop
-               SPARK_Msg_N
-                 ("unmatched or extra clause in dependence refinement",
-                  Clause);
+         Clause := First (Clauses);
+         while Present (Clause) loop
+            SPARK_Msg_N
+              ("unmatched or extra clause in dependence refinement", Clause);
 
-               Next (Clause);
-            end loop;
-         end if;
+            Next (Clause);
+         end loop;
       end Report_Extra_Clauses;
 
       --  Local variables