[PATCH 40/89] tree-cfg.c: Make verify_gimple_call require a gimple_call

[David Malcolm]

gcc/
        * tree-cfg.c (verify_gimple_call): Require a gimple_call rather
        than a plain gimple.
        (verify_gimple_stmt): Add checked cast to gimple_call within
        GIMPLE_CALL case of switch statement.
---
 gcc/tree-cfg.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gcc/tree-cfg.c b/gcc/tree-cfg.c
index 0d3c0d7..b2cca43 100644
--- a/gcc/tree-cfg.c
+++ b/gcc/tree-cfg.c
@@ -3174,7 +3174,7 @@ valid_fixed_convert_types_p (tree type1, tree type2)
    is a problem, otherwise false.  */
 
 static bool
-verify_gimple_call (gimple stmt)
+verify_gimple_call (gimple_call stmt)
 {
   tree fn = gimple_call_fn (stmt);
   tree fntype, fndecl;
@@ -4411,7 +4411,7 @@ verify_gimple_stmt (gimple stmt)
       return verify_gimple_label (stmt->as_a_gimple_label ());
 
     case GIMPLE_CALL:
-      return verify_gimple_call (stmt);
+      return verify_gimple_call (stmt->as_a_gimple_call ());
 
     case GIMPLE_COND:
       if (TREE_CODE_CLASS (gimple_cond_code (stmt)) != tcc_comparison)
-- 
1.8.5.3