git
/
gcc
mirror of git://gcc.gnu.org/git/gcc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

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
This commit is contained in:
Richard Guenther 2011-11-09 15:05:20 +00:00 committed by Richard Biener
parent 03cb5f3988
commit 26833b3de7
2 changed files with 9 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
gcc/ChangeLog
View File

@ -1,3 +1,12 @@
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

10
gcc/tree-cfg.c
View File

@ -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;
}