https://gcc.gnu.org/g:3f5f720f33ed5a56f626640875e8e0ee9dee3bc1
commit r16-1366-g3f5f720f33ed5a56f626640875e8e0ee9dee3bc1
Author: Ronan Desplanques <desplanq...@adacore.com>
Date: Tue Mar 18 08:53:35 2025 +0100
ada: Fix recursive call in Process_Subtype
Process_Subtype calls itself in some error situations. This recursive
call was not updated together with the recent addition of the
Excludes_Null formal. This does not matter in practice because there can
never be both a null exclusion and another constraint at the same time,
but this patch updates the call anyway to make the situation clearer.
gcc/ada/ChangeLog:
* sem_ch3.adb (Process_Subtype): Fix recursive call.
Diff:
---
gcc/ada/sem_ch3.adb | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb
index fcf2baa9d3e0..fdf225efc30a 100644
--- a/gcc/ada/sem_ch3.adb
+++ b/gcc/ada/sem_ch3.adb
@@ -22705,7 +22705,9 @@ package body Sem_Ch3 is
-- Make recursive call, having got rid of the bogus constraint
- return Process_Subtype (S, Related_Nod, Related_Id, Suffix);
+ return
+ Process_Subtype
+ (S, Related_Nod, Related_Id, Suffix, Excludes_Null);
end if;
-- Remaining processing depends on type. Select on Base_Type kind to
