diff options
| -rw-r--r-- | gcc/ChangeLog | 9 | ||||
| -rw-r--r-- | 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 <rguenther@suse.de> + Revert + 2011-11-09 Richard Guenther <rguenther@suse.de> + + * 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 <rguenther@suse.de> + 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; } |