Searched refs:addConstraints (Results 1 – 5 of 5) sorted by relevance
61 addConstraints(EndPathNode, /*OverwriteConstraintsOnExistingSyms=*/true); in finalizeVisitor()118 void Z3CrosscheckVisitor::addConstraints( in addConstraints() function in Z3CrosscheckVisitor140 addConstraints(N, /*OverwriteConstraintsOnExistingSyms=*/false); in VisitNode()
44 void addConstraints(const ExplodedNode *N,
117 void addConstraints(ArrayRef<BlockConstraint> LiveBlocks);
292 void SpillPlacement::addConstraints(ArrayRef<BlockConstraint> LiveBlocks) { in addConstraints() function in SpillPlacement
802 SpillPlacer->addConstraints(SplitConstraints); in addSplitConstraints()851 SpillPlacer->addConstraints(ArrayRef(BCS, B)); in addThroughConstraints()856 SpillPlacer->addConstraints(ArrayRef(BCS, B)); in addThroughConstraints()