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 --git a/gcc/ada/exp_disp.adb b/gcc/ada/exp_disp.adb index 73e76bd0..8e0bcce 100644 --- a/gcc/ada/exp_disp.adb +++ b/gcc/ada/exp_disp.adb
@@ -1203,10 +1203,7 @@ 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;