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,
12 // about the CFG. The real work is done by prepare(), addConstraints(), and110 /// addConstraints - Add constraints and biases. This method may be called114 void addConstraints(ArrayRef<BlockConstraint> LiveBlocks);128 /// addConstraints and addLinks, updating their state. Add all the bundles
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()