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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@181206
138bc75d-0d04-0410-961f-
82ee72b054a4
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
}
}
- /* 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;
}