From: Piotr Trojanek <trojanek@adacore.com>
Date: Wed, 30 Jul 2025 10:08:46 +0000 (+0200)
Subject: ada: Check restriction No_Secondary_Stack for overflow elimination
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=59ca6e03721734d2376db9bc770132fe1c1e76fe;p=thirdparty%2Fgcc.git

ada: Check restriction No_Secondary_Stack for overflow elimination

When overflow checks are eliminated using System.Bignums package, we must
check if secondary stack that is necessary for this package is available.

gcc/ada/ChangeLog:

	* checks.adb (Make_Bignum_Block): Check restriction No_Secondary_Stack.
---

diff --git a/gcc/ada/checks.adb b/gcc/ada/checks.adb
index dfda0a6622b..a9bebee3e13 100644
--- a/gcc/ada/checks.adb
+++ b/gcc/ada/checks.adb
@@ -8948,6 +8948,8 @@ package body Checks is
    function Make_Bignum_Block (Loc : Source_Ptr) return Node_Id is
       M : constant Entity_Id := Make_Defining_Identifier (Loc, Name_uM);
    begin
+      Check_Restriction (No_Secondary_Stack, M);
+
       return
         Make_Block_Statement (Loc,
           Declarations               =>