Searched refs:addConstraints (Results 1 – 5 of 5) sorted by relevance
51 addConstraints(EndPathNode, /*OverwriteConstraintsOnExistingSyms=*/true); in finalizeVisitor()92 void Z3CrosscheckVisitor::addConstraints( in addConstraints() function in Z3CrosscheckVisitor114 addConstraints(N, /*OverwriteConstraintsOnExistingSyms=*/false); in VisitNode()
44 void addConstraints(const ExplodedNode *N,
114 void addConstraints(ArrayRef<BlockConstraint> LiveBlocks);
260 void SpillPlacement::addConstraints(ArrayRef<BlockConstraint> LiveBlocks) { in addConstraints() function in SpillPlacement
668 SpillPlacer->addConstraints(SplitConstraints); in addSplitConstraints()717 SpillPlacer->addConstraints(ArrayRef(BCS, B)); in addThroughConstraints()722 SpillPlacer->addConstraints(ArrayRef(BCS, B)); in addThroughConstraints()