From: Ronan Desplanques <desplanq...@adacore.com>
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.
Tested on x86_64-pc-linux-gnu, committed on master.
---
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 fcf2baa9d3e..fdf225efc30 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
--
2.43.0
