From: Piotr Trojanek <trojanek@adacore.com>
Date: Wed, 15 Feb 2023 20:20:42 +0000 (+0100)
Subject: ada: Suppress warning about Subprogram_Variant failing at run time
X-Git-Tag: basepoints/gcc-15~9050
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=53ed0028adacb4e9c033b236805ae409823178ab;p=thirdparty%2Fgcc.git

ada: Suppress warning about Subprogram_Variant failing at run time

Warning about check failing at run time is likely spurious for mutually
recursive subprograms with multiple variant clauses. These will be
non-trivial to detect, so we simply suppress the warning altogether for
all subprogram variants.

gcc/ada/

	* exp_prag.adb (Expand_Pragma_Check): Suppress warning for checks of
	subprogram variants.
---

diff --git a/gcc/ada/exp_prag.adb b/gcc/ada/exp_prag.adb
index ceb27848dad8..c6b3bed54252 100644
--- a/gcc/ada/exp_prag.adb
+++ b/gcc/ada/exp_prag.adb
@@ -564,6 +564,13 @@ package body Exp_Prag is
          then
             null;
 
+         --  For Subprogram_Variant suppress the warning altogether, because
+         --  for mutually recursive subprograms with multiple variant clauses
+         --  some of the clauses might have expressions that are only meant for
+         --  verification and would always fail when executed.
+
+         elsif Nam = Name_Subprogram_Variant then
+            null;
          elsif Nam = Name_Assert then
             Error_Msg_N ("?.a?assertion will fail at run time", N);
          else