revert: tree-cfg.c (verify_gimple_call): Verify that gimple_call_cannot_inline_p...

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

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 63da104969f8dd5c9412009ad52b5aa194dae3a8..c40d732ff9c71ba7880bc334f1f113fe0b7560eb 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -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

diff --git a/gcc/tree-cfg.c b/gcc/tree-cfg.c
index b733c88ff14fbce7c5ab0522c3c4e3e5cacf3b62..d81cc670bf4f55c9dcd1e48733d25702291d2729 100644 (file)
--- 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;
 }