From: Ronan Desplanques <desplanques@adacore.com>
Date: Tue, 18 Mar 2025 07:53:35 +0000 (+0100)
Subject: ada: Fix recursive call in Process_Subtype
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3f5f720f33ed5a56f626640875e8e0ee9dee3bc1;p=thirdparty%2Fgcc.git

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 --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