[COMMITTED 12/40] ada: Enable checks during analysis of expanded dispatching calls

[Marc Poulhiès]

From: Denis Mazzucato <mazzuc...@adacore.com>

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.

Tested on x86_64-pc-linux-gnu, committed on master.

---
 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 73e76bd037d..8e0bcce49f9 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;
-- 
2.53.0