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