diff options
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/tree-vrp.c | 3 |
2 files changed, 5 insertions, 3 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 1e0330d..fecc494 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,10 @@ 2020-05-17 Aldy Hernandez <aldyh@redhat.com> + * tree-vrp.c (class vrp_insert): Remove prototype for + live_on_edge. + +2020-05-17 Aldy Hernandez <aldyh@redhat.com> + * tree-vrp.c (class live_names): New. (live_on_edge): Move into live_names. (build_assert_expr_for): Move into vrp_insert. diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index e4bc774..4b5df54 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -244,9 +244,6 @@ private: ASSERT_EXPRs for SSA name N_I should be inserted. */ assert_locus **asserts_for; - /* Return true if the SSA name NAME is live on the edge E. */ - bool live_on_edge (edge e, tree name); - /* Finish found ASSERTS for E and register them at GSI. */ void finish_register_edge_assert_for (edge e, gimple_stmt_iterator gsi, vec<assert_info> &asserts); |