[COMMITTED] Remove unused back_threader destructor.

[Aldy Hernandez via Gcc-patches]

Tested on x86-64 Linux.

gcc/ChangeLog:

        * tree-ssa-threadbackward.c (back_threader::~back_threader): Remove.
---
 gcc/tree-ssa-threadbackward.c | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/gcc/tree-ssa-threadbackward.c b/gcc/tree-ssa-threadbackward.c
index 96422a1390e..d94e3b962db 100644
--- 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.
 //
-- 
2.31.1