Remove unused back_threader destructor.

Tested on x86-64 Linux.

gcc/ChangeLog:

	* tree-ssa-threadbackward.c (back_threader::~back_threader): Remove.

diff --git a/gcc/tree-ssa-threadbackward.c b/gcc/tree-ssa-threadbackward.c
index 96422a1390e61d1c27e20a0d9f94820deb808d50..d94e3b962db415bb071b771c0331be5aa127aa5d 100644 (file)
--- a/gcc/tree-ssa-threadbackward.c
+++ b/gcc/tree-ssa-threadbackward.c
@@ -76,7 +76,6 @@ class back_threader
 {
 public:
   back_threader (bool speed_p, bool resolve);
-  ~back_threader ();
   void maybe_thread_block (basic_block bb);
   bool thread_through_all_blocks (bool may_peel_loop_headers);
 private:
@@ -128,10 +127,6 @@ back_threader::back_threader (bool speed_p, bool resolve)
   m_resolve = resolve;
 }
 
-back_threader::~back_threader ()
-{
-}
-
 // Register the current path for jump threading if it's profitable to
 // do so.
 //