Searched refs:addFlowConditionConstraint (Results 1 – 3 of 3) sorted by relevance
142 void DataflowAnalysisContext::addFlowConditionConstraint( in addFlowConditionConstraint() function in clang::dataflow::DataflowAnalysisContext154 addFlowConditionConstraint(ForkToken, arena().makeAtomRef(Token)); in forkFlowCondition()164 addFlowConditionConstraint(Token, in joinFlowConditions()
1000 DACtx->addFlowConditionConstraint(FlowConditionToken, F); in assume()
153 void addFlowConditionConstraint(Atom Token, const Formula &Constraint);