From 27a4527d004e739a112733f9869163a42923ea60 Mon Sep 17 00:00:00 2001
From: James Cherry <cherry@parallaxsw.com>
Date: Sat, 22 Feb 2025 18:25:48 -0700
Subject: [PATCH] rm Vertex::requireds_pruned_

Signed-off-by: James Cherry <cherry@parallaxsw.com>
---
 graph/Graph.cc       | 7 -------
 include/sta/Graph.hh | 3 ---
 search/Search.cc     | 7 +------
 search/Sta.cc        | 3 +--
 4 files changed, 2 insertions(+), 18 deletions(-)

diff --git a/graph/Graph.cc b/graph/Graph.cc
index 091c1a58..12561a64 100644
--- a/graph/Graph.cc
+++ b/graph/Graph.cc
@@ -1023,7 +1023,6 @@ Vertex::init(Pin *pin,
   level_ = 0;
   bfs_in_queue_ = 0;
   crpr_path_pruning_disabled_ = false;
-  requireds_pruned_ = false;
 }
 
 Vertex::~Vertex()
@@ -1141,12 +1140,6 @@ Vertex::setCrprPathPruningDisabled(bool disabled)
   crpr_path_pruning_disabled_ = disabled;
 }
 
-void
-Vertex::setRequiredsPruned(bool pruned)
-{
-  requireds_pruned_ = pruned;
-}
-
 TagGroupIndex
 Vertex::tagGroupIndex() const
 {
diff --git a/include/sta/Graph.hh b/include/sta/Graph.hh
index d718e725..f6ca3ac1 100644
--- a/include/sta/Graph.hh
+++ b/include/sta/Graph.hh
@@ -312,8 +312,6 @@ public:
   bool crprPathPruningDisabled() const { return crpr_path_pruning_disabled_;}
   void setCrprPathPruningDisabled(bool disabled);
   bool hasRequireds() const { return requireds_ != nullptr; }
-  bool requiredsPruned() const { return requireds_pruned_; }
-  void setRequiredsPruned(bool pruned);
   
   // ObjectTable interface.
   ObjectIdx objectIdx() const { return object_idx_; }
@@ -367,7 +365,6 @@ protected:
   bool is_constrained_:1;
   bool has_downstream_clk_pin_:1;
   bool crpr_path_pruning_disabled_:1;
-  bool requireds_pruned_:1;
   unsigned object_idx_:VertexTable::idx_bits; // 7
 
 private:
diff --git a/search/Search.cc b/search/Search.cc
index 2d633a14..f2e42b23 100644
--- a/search/Search.cc
+++ b/search/Search.cc
@@ -3497,7 +3497,6 @@ RequiredVisitor::visit(Vertex *vertex)
   debugPrint(debug_, "search", 2, "find required %s",
              vertex->name(network_));
   required_cmp_->requiredsInit(vertex, this);
-  vertex->setRequiredsPruned(false);
   // Back propagate requireds from fanout.
   visitFanoutPaths(vertex);
   // Check for constraints at endpoints that set required times.
@@ -3514,7 +3513,7 @@ RequiredVisitor::visit(Vertex *vertex)
 
 bool
 RequiredVisitor::visitFromToPath(const Pin *,
-				 Vertex *from_vertex,
+				 Vertex *,
 				 const RiseFall *from_rf,
 				 Tag *from_tag,
 				 PathVertex *from_path,
@@ -3586,11 +3585,7 @@ RequiredVisitor::visitFromToPath(const Pin *,
 	  }
 	}
       }
-      from_vertex->setRequiredsPruned(true);
     }
-    // Propagate requireds pruned flag backwards.
-    if (to_vertex->requiredsPruned())
-      from_vertex->setRequiredsPruned(true);
   }
   return true;
 }
diff --git a/search/Sta.cc b/search/Sta.cc
index d070df1b..b6f00d48 100644
--- a/search/Sta.cc
+++ b/search/Sta.cc
@@ -3213,8 +3213,7 @@ Sta::findRequired(Vertex *vertex)
       // Clocks invariably have requireds that are pruned but isn't
       // worth finding arrivals and requireds all over again for
       // the entire fanout of the clock.
-      && !search_->isClock(vertex)
-      && vertex->requiredsPruned()) {
+      && !search_->isClock(vertex)) {
     // Invalidate arrivals and requireds and disable
     // path pruning on fanout vertices with DFS.
     int fanout = 0;