From: David Malcolm <dmalcolm@redhat.com>
Date: Fri, 16 Jan 2026 15:54:31 +0000 (-0500)
Subject: analyzer: eliminate unused field eh_dispatch_edge_op::m_dst_snode [PR123540]
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c2914de58ba9124b344a8c0cadc02b7d480ff41c;p=thirdparty%2Fgcc.git

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 36043310ff6..92e2cc42917 100644
--- 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 7f0dadb0363..f1c67d4e771 100644
--- 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,