diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2023-02-15 21:20:42 +0100 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-05-23 09:50:58 +0200 |
| commit | 53ed0028adacb4e9c033b236805ae409823178ab (patch) | |
| tree | 7f2a3345d4015ad10c3183cf1e399f233c4a8a2c | |
| parent | 507fe403b505fdaeffcc1beb2188e86f9ab8de9f (diff) | |
| download | gcc-53ed0028adacb4e9c033b236805ae409823178ab.zip gcc-53ed0028adacb4e9c033b236805ae409823178ab.tar.gz gcc-53ed0028adacb4e9c033b236805ae409823178ab.tar.bz2 | |
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.
| -rw-r--r-- | gcc/ada/exp_prag.adb | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/gcc/ada/exp_prag.adb b/gcc/ada/exp_prag.adb index ceb27848..c6b3bed 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 |