https://gcc.gnu.org/g:20a59cd8d305540113643c1f8609aae9032d4e4f
commit r16-8974-g20a59cd8d305540113643c1f8609aae9032d4e4f 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;
