Searched refs:addConstraints (Results 1 – 5 of 5) sorted by relevance
116 void addConstraints(ArrayRef<BlockConstraint> LiveBlocks);
260 void SpillPlacement::addConstraints(ArrayRef<BlockConstraint> LiveBlocks) { in addConstraints() function in SpillPlacement
634 SpillPlacer->addConstraints(SplitConstraints); in addSplitConstraints()683 SpillPlacer->addConstraints(makeArrayRef(BCS, B)); in addThroughConstraints()688 SpillPlacer->addConstraints(makeArrayRef(BCS, B)); in addThroughConstraints()
612 void addConstraints(const ExplodedNode *N,
3253 addConstraints(EndPathNode, /*OverwriteConstraintsOnExistingSyms=*/true); in finalizeVisitor()3286 void FalsePositiveRefutationBRVisitor::addConstraints( in addConstraints() function in FalsePositiveRefutationBRVisitor3308 addConstraints(N, /*OverwriteConstraintsOnExistingSyms=*/false); in VisitNode()