From: Richard Guenther Date: Wed, 9 Nov 2011 15:05:20 +0000 (+0000) Subject: revert: tree-cfg.c (verify_gimple_call): Verify that gimple_call_cannot_inline_p... X-Git-Tag: releases/gcc-4.7.0~2316 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=26833b3de72bba8da5516e47a2da4fe73f5d1478;p=thirdparty%2Fgcc.git 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 --- 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; }