diff mbox

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

Message ID 1398099480-49147-41-git-send-email-dmalcolm@redhat.com
State New
Headers show

Commit Message

David Malcolm April 21, 2014, 4:57 p.m. UTC 
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(-)

Comments

Jeff Law May 12, 2014, 5:16 p.m. UTC | #1 
On 04/21/14 10:57, David Malcolm wrote:
> 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.
OK when prerequisites have gone in.

jeff
diff mbox

Patch

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)