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 1e0330d9d55fc288c5954522192f73d68fa085d1..fecc494f380dc3d7c1eced024e0e249ecf7dbe34 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+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.

diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c
index e4bc774dd508d2ddc18b2193f99b7da7ed1fb108..4b5df543c00ebaa845a3e0a864dc96c01eb026d1 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);