diff options
Diffstat (limited to 'gcc/tree-vrp.c')
-rw-r--r-- | gcc/tree-vrp.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index a680bf4..099e85a 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -4571,13 +4571,13 @@ struct tree_opt_pass pass_vrp = TV_TREE_VRP, /* tv_id */ PROP_ssa | PROP_alias, /* properties_required */ 0, /* properties_provided */ - PROP_tmt_usage, /* properties_destroyed */ + PROP_smt_usage, /* properties_destroyed */ 0, /* todo_flags_start */ TODO_cleanup_cfg | TODO_ggc_collect | TODO_verify_ssa | TODO_dump_func | TODO_update_ssa - | TODO_update_tmt_usage, /* todo_flags_finish */ + | TODO_update_smt_usage, /* todo_flags_finish */ 0 /* letter */ }; |