https://gcc.gnu.org/g:79c927825492c985909d73dc72000e4a10f55f5f
commit r17-726-g79c927825492c985909d73dc72000e4a10f55f5f Author: Denis Mazzucato <[email protected]> Date: Tue Dec 23 15:25:46 2025 +0100 ada: Enable checks during analysis of expanded dispatching calls This patch enables the generation of run-time checks during the analysis and resolution of expanded dispatching calls. They were previously disabled to avoid reporting spurious warnings under the ZFP run-time, but this is no longer required. gcc/ada/ChangeLog: * exp_disp.adb (Expand_Dispatching_Call): Remove suppression of checks during analysis of expanded dispatching calls. Diff: --- gcc/ada/exp_disp.adb | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/gcc/ada/exp_disp.adb b/gcc/ada/exp_disp.adb index 73e76bd037d0..8e0bcce49f90 100644 --- a/gcc/ada/exp_disp.adb +++ b/gcc/ada/exp_disp.adb @@ -1203,10 +1203,7 @@ package body Exp_Disp is Set_SCIL_Node (SCIL_Related_Node, SCIL_Node); end if; - -- Suppress all checks during the analysis of the expanded code to avoid - -- the generation of spurious warnings under ZFP run-time. - - Analyze_And_Resolve (Call_Node, Call_Typ, Suppress => All_Checks); + Analyze_And_Resolve (Call_Node, Call_Typ); Set_Is_Expanded_Dispatching_Call (Call_Node); end Expand_Dispatching_Call;
