rm Vertex::requireds_pruned_

Signed-off-by: James Cherry <cherry@parallaxsw.com>

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
 {

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:

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;
 }

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;