[gcc r15-1524] ada: Apply fixes to Examine_Array_Bounds

[Marc Poulhi?s]

https://gcc.gnu.org/g:036a37eae64ba6ff73a913fa2f93fc888e4b28b9

commit r15-1524-g036a37eae64ba6ff73a913fa2f93fc888e4b28b9
Author: Ronan Desplanques <desplanques@adacore.com>
Date:   Thu Jun 6 09:40:54 2024 +0200

    ada: Apply fixes to Examine_Array_Bounds
    
    gcc/ada/
    
            * sem_util.adb (Examine_Array_Bounds): Add missing return
            statements. Fix criterion for a string literal being empty.

Diff:
---
 gcc/ada/sem_util.adb | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb
index 4cdac9443e6d..4dde5f3964e1 100644
--- a/gcc/ada/sem_util.adb
+++ b/gcc/ada/sem_util.adb
@@ -8157,13 +8157,15 @@ package body Sem_Util is
       if not Is_Constrained (Typ) then
          All_Static := False;
          Has_Empty  := False;
+         return;
 
       --  A string literal has static bounds, and is not empty as long as it
       --  contains at least one character.
 
       elsif Ekind (Typ) = E_String_Literal_Subtype then
          All_Static := True;
-         Has_Empty  := String_Literal_Length (Typ) > 0;
+         Has_Empty  := String_Literal_Length (Typ) = 0;
+         return;
       end if;
 
       --  Assume that all bounds are static and not empty