]> git.ipfire.org Git - thirdparty/gcc.git/commit
ada: Suppress warning about Subprogram_Variant failing at run time
authorPiotr Trojanek <trojanek@adacore.com>
Wed, 15 Feb 2023 20:20:42 +0000 (21:20 +0100)
committerMarc Poulhiès <poulhies@adacore.com>
Tue, 23 May 2023 07:50:58 +0000 (09:50 +0200)
commit53ed0028adacb4e9c033b236805ae409823178ab
tree7f2a3345d4015ad10c3183cf1e399f233c4a8a2c
parent507fe403b505fdaeffcc1beb2188e86f9ab8de9f
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.
gcc/ada/exp_prag.adb