From 094f84b512a0f7840d0a10aa26bf78b40b09b742 Mon Sep 17 00:00:00 2001 From: rguenth Date: Wed, 9 Nov 2011 15:05:20 +0000 Subject: [PATCH] 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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@181206 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ChangeLog | 9 +++++++++ gcc/tree-cfg.c | 10 ---------- 2 files changed, 9 insertions(+), 10 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 63da104..c40d732 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,14 @@ 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 * tree-cfg.c (verify_gimple_call): Verify that gimple_call_cannot_inline_p is returning a conservative diff --git a/gcc/tree-cfg.c b/gcc/tree-cfg.c index b733c88..d81cc67 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.7.4