OSDN Git Service

2011-11-09 Richard Guenther <rguenther@suse.de>
authorrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 9 Nov 2011 15:05:20 +0000 (15:05 +0000)
committerrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 9 Nov 2011 15:05:20 +0000 (15:05 +0000)
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

gcc/ChangeLog
gcc/tree-cfg.c

index 63da104..c40d732 100644 (file)
@@ -1,5 +1,14 @@
 2011-11-09  Richard Guenther  <rguenther@suse.de>
 
 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
        PR tree-optimization/51039
        * tree-cfg.c (verify_gimple_call): Verify that
        gimple_call_cannot_inline_p is returning a conservative
index b733c88..d81cc67 100644 (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;
 }
 
   return false;
 }