Why does loop change the SMT usage? In addition, since there are times loop doesn't do anything, you should simply be returning PROP_smt_usage when it does do something, and nothing otherwise.
On 4 Sep 2006 03:52:04 -0000, pinskia at gcc dot gnu dot org <[EMAIL PROTECTED]> wrote:
------- Comment #4 from pinskia at gcc dot gnu dot org 2006-09-04 03:52 ------- Note the patch is: Index: tree-ssa-loop.c =================================================================== --- tree-ssa-loop.c (revision 116671) +++ tree-ssa-loop.c (working copy) @@ -405,9 +405,11 @@ struct tree_opt_pass pass_complete_unrol TV_COMPLETE_UNROLL, /* tv_id */ PROP_cfg | PROP_ssa, /* properties_required */ 0, /* properties_provided */ - 0, /* properties_destroyed */ + PROP_smt_usage, /* properties_destroyed */ 0, /* todo_flags_start */ - TODO_dump_func | TODO_verify_loops, /* todo_flags_finish */ + TODO_dump_func + | TODO_verify_loops + | PROP_smt_usage, /* todo_flags_finish */ 0 /* letter */ }; -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=28937