https://gcc.gnu.org/g:036a37eae64ba6ff73a913fa2f93fc888e4b28b9
commit r15-1524-g036a37eae64ba6ff73a913fa2f93fc888e4b28b9
Author: Ronan Desplanques <desplanq...@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
