analyzer: eliminate unused field eh_dispatch_edge_op::m_dst_snode [PR123540]

gcc/analyzer/ChangeLog:
	PR analyzer/123540
	* ops.cc (eh_dispatch_edge_op::make): Drop dst_snode param to
	ctor.
	(eh_dispatch_edge_op::eh_dispatch_edge_op): Likewise, dropping
	field eh_dispatch_edge_op::m_dst_snode.
	(eh_dispatch_try_edge_op::eh_dispatch_try_edge_op): Likewise.
	(eh_dispatch_allowed_edge_op::eh_dispatch_allowed_edge_op):
	Likewise.
	* ops.h (eh_dispatch_edge_op::eh_dispatch_edge_op): Likewise.
	(eh_dispatch_edge_op::m_dst_snode): Drop unused field.
	(eh_dispatch_try_edge_op::eh_dispatch_try_edge_op): Drop unused
	dst_snode param.

Signed-off-by: David Malcolm <dmalcolm@redhat.com>

diff --git a/gcc/analyzer/ops.cc b/gcc/analyzer/ops.cc
index 36043310ff6b3170e9b8c21d849aee140e4feb52..92e2cc42917b48be64b7259c17f12aafdaaa98d6 100644 (file)
--- a/gcc/analyzer/ops.cc
+++ b/gcc/analyzer/ops.cc
@@ -1856,7 +1856,7 @@ eh_dispatch_edge_op::make (supernode *src_snode,
       {
        eh_catch ehc = get_catch (eh_reg, dst_snode);
        return std::make_unique<eh_dispatch_try_edge_op>
-         (src_snode, dst_snode,
+         (src_snode,
           cfg_edge, eh_dispatch_stmt,
           eh_reg, ehc);
       }
@@ -1876,14 +1876,12 @@ eh_dispatch_edge_op::make (supernode *src_snode,
 
 eh_dispatch_edge_op::
 eh_dispatch_edge_op (supernode *src_snode,
-                    supernode *dst_snode,
                     enum kind kind_,
                     ::edge cfg_edge,
                     const geh_dispatch &geh_dispatch_stmt,
                     eh_region eh_reg)
 : control_flow_op (kind_, cfg_edge, geh_dispatch_stmt),
   m_src_snode (src_snode),
-  m_dst_snode (dst_snode),
   m_eh_region (eh_reg)
 {
 }
@@ -1913,12 +1911,11 @@ apply_constraints (const superedge *sedge,
 
 eh_dispatch_try_edge_op::
 eh_dispatch_try_edge_op (supernode *src_snode,
-                        supernode *dst_snode,
                         ::edge cfg_edge,
                         const geh_dispatch &geh_dispatch_stmt,
                         eh_region eh_reg,
                         eh_catch ehc)
-: eh_dispatch_edge_op (src_snode, dst_snode,
+: eh_dispatch_edge_op (src_snode,
                       kind::eh_dispatch_try_edge,
                       cfg_edge, geh_dispatch_stmt, eh_reg),
   m_eh_catch (ehc)
@@ -2037,7 +2034,7 @@ eh_dispatch_allowed_edge_op (supernode *src_snode,
                             ::edge cfg_edge,
                             const geh_dispatch &geh_dispatch_stmt,
                             eh_region eh_reg)
-: eh_dispatch_edge_op (src_snode, dst_snode,
+: eh_dispatch_edge_op (src_snode,
                       kind::eh_dispatch_try_edge,
                       cfg_edge, geh_dispatch_stmt, eh_reg)
 {

diff --git a/gcc/analyzer/ops.h b/gcc/analyzer/ops.h
index 7f0dadb0363011e511f29ca577ebbb1d9067ea4e..f1c67d4e7710348341724676a493dd8c5d0f27e3 100644 (file)
--- a/gcc/analyzer/ops.h
+++ b/gcc/analyzer/ops.h
@@ -810,7 +810,6 @@ public:
 
 protected:
   eh_dispatch_edge_op (supernode *src_snode,
-                      supernode *dst_snode,
                       enum kind kind_,
                       ::edge cfg_edge,
                       const geh_dispatch &geh_dispatch_stmt,
@@ -834,7 +833,6 @@ private:
                        std::unique_ptr<rejected_constraint> *out) const = 0;
 
   supernode *m_src_snode;
-  supernode *m_dst_snode;
   eh_region m_eh_region;
 };
 
@@ -845,7 +843,6 @@ class eh_dispatch_try_edge_op : public eh_dispatch_edge_op
 {
 public:
   eh_dispatch_try_edge_op (supernode *src_snode,
-                          supernode *dst_snode,
                           ::edge cfg_edge,
                           const geh_dispatch &geh_dispatch_stmt,
                           eh_region eh_reg,