diff options
Diffstat (limited to 'gcc/dse.c')
| -rw-r--r-- | gcc/dse.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/dse.c b/gcc/dse.c index 88b8c373bbf..167920cf098 100644 --- a/gcc/dse.c +++ b/gcc/dse.c @@ -3720,7 +3720,7 @@ const pass_data pass_data_rtl_dse1 = 0, /* properties_provided */ 0, /* properties_destroyed */ 0, /* todo_flags_start */ - ( TODO_df_finish | TODO_verify_rtl_sharing ), /* todo_flags_finish */ + TODO_df_finish, /* todo_flags_finish */ }; class pass_rtl_dse1 : public rtl_opt_pass @@ -3761,7 +3761,7 @@ const pass_data pass_data_rtl_dse2 = 0, /* properties_provided */ 0, /* properties_destroyed */ 0, /* todo_flags_start */ - ( TODO_df_finish | TODO_verify_rtl_sharing ), /* todo_flags_finish */ + TODO_df_finish, /* todo_flags_finish */ }; class pass_rtl_dse2 : public rtl_opt_pass |