[PATCH] Verify stuff after IPA split

[Richard Guenther]

Bootstrapped on x86_64-unknown-linux-gnu, testing in progress.

Richard.

2011-10-10  Richard Guenther  <rguent...@suse.de>

        * ipa-split.c (pass_split_functions): Add verification TODOs.
        (pass_feedback_split_functions): Likewise.

Index: gcc/ipa-split.c
===================================================================
--- gcc/ipa-split.c     (revision 179738)
+++ gcc/ipa-split.c     (working copy)
@@ -1451,7 +1451,7 @@ struct gimple_opt_pass pass_split_functi
   0,                                   /* properties_provided */
   0,                                   /* properties_destroyed */
   0,                                   /* todo_flags_start */
-  0                                    /* todo_flags_finish */
+  TODO_verify_all                              /* todo_flags_finish */
  }
 };
 
@@ -1492,6 +1492,6 @@ struct gimple_opt_pass pass_feedback_spl
   0,                                   /* properties_provided */
   0,                                   /* properties_destroyed */
   0,                                   /* todo_flags_start */
-  0                                    /* todo_flags_finish */
+  TODO_verify_all                              /* todo_flags_finish */
  }
 };