PROP_cfg | PROP_ssa
| PROP_alias, /* properties_required */
0, /* properties_provided */
- 0, /* properties_destroyed */
+ PROP_tmt_usage, /* properties_destroyed */
0, /* todo_flags_start */
- TODO_dump_func | TODO_ggc_collect /* todo_flags_finish */
+ TODO_update_tmt_usage |TODO_dump_func /* todo_flags_finish */
+ | TODO_ggc_collect
| TODO_update_ssa | TODO_verify_ssa,
0 /* letter */
};