From 3f5f720f33ed5a56f626640875e8e0ee9dee3bc1 Mon Sep 17 00:00:00 2001 From: Ronan Desplanques Date: Tue, 18 Mar 2025 08:53:35 +0100 Subject: [PATCH] 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. --- 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.47.2