diff options
Diffstat (limited to 'gcc/web.c')
| -rw-r--r-- | gcc/web.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/web.c b/gcc/web.c index 46a6ff7448d..2c038f2bb81 100644 --- a/gcc/web.c +++ b/gcc/web.c @@ -338,7 +338,7 @@ const pass_data pass_data_web = 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_web : public rtl_opt_pass |