diff options
| author | Richard Guenther <rguenther@suse.de> | 2011-11-09 15:05:20 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2011-11-09 15:05:20 +0000 |
| commit | 26833b3de72bba8da5516e47a2da4fe73f5d1478 (patch) | |
| tree | d29bb17902b5284caae497fd9373f9445e22a44e | |
| parent | 03cb5f3988646680362082c19ddcba7c534d6a83 (diff) | |
| download | gcc-26833b3de72bba8da5516e47a2da4fe73f5d1478.zip gcc-26833b3de72bba8da5516e47a2da4fe73f5d1478.tar.gz gcc-26833b3de72bba8da5516e47a2da4fe73f5d1478.tar.bz2 | |
revert: tree-cfg.c (verify_gimple_call): Verify that gimple_call_cannot_inline_p is returning a conservative correct...
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.
From-SVN: r181206
| -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; } |