From 26833b3de72bba8da5516e47a2da4fe73f5d1478 Mon Sep 17 00:00:00 2001 From: Richard Guenther Date: Wed, 9 Nov 2011 15:05:20 +0000 Subject: [PATCH] revert: tree-cfg.c (verify_gimple_call): Verify that gimple_call_cannot_inline_p is returning a conservative correct... 2011-11-09 Richard Guenther Revert 2011-11-09 Richard Guenther * tree-cfg.c (verify_gimple_call): Verify that gimple_call_cannot_inline_p is returning a conservative correct result according to gimple_check_call_matching_types. From-SVN: r181206 --- gcc/ChangeLog | 9 +++++++++ gcc/tree-cfg.c | 10 ---------- 2 files changed, 9 insertions(+), 10 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 63da104969f8..c40d732ff9c7 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,12 @@ +2011-11-09 Richard Guenther + + Revert + 2011-11-09 Richard Guenther + + * tree-cfg.c (verify_gimple_call): Verify that + gimple_call_cannot_inline_p is returning a conservative + correct result according to gimple_check_call_matching_types. + 2011-11-09 Richard Guenther PR tree-optimization/51039 diff --git a/gcc/tree-cfg.c b/gcc/tree-cfg.c index b733c88ff14f..d81cc670bf4f 100644 --- a/gcc/tree-cfg.c +++ b/gcc/tree-cfg.c @@ -3227,16 +3227,6 @@ verify_gimple_call (gimple stmt) } } - /* Verify that if we have a direct call and the argument/return - types have mismatches the call is properly marked as noninlinable. */ - if (fndecl - && !gimple_call_cannot_inline_p (stmt) - && !gimple_check_call_matching_types (stmt, fndecl)) - { - error ("gimple call cannot be inlined but is not marked so"); - return true; - } - return false; } -- 2.47.2