Remove vrp_insert::live_on_edge declaration.

	* tree-vrp.c (class vrp_insert): Remove prototype for
	live_on_edge.

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 1e0330d..fecc494 100644 (file)
--- 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 (file)
--- 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);