Searched refs:getOrCreateConjunction (Results 1 – 3 of 3) sorted by relevance
100 BoolValue &DataflowAnalysisContext::getOrCreateConjunction(BoolValue &LHS, in getOrCreateConjunction() function in clang::dataflow::DataflowAnalysisContext166 Res.first->second = &getOrCreateConjunction(*Res.first->second, Constraint); in addFlowConditionConstraint()288 Result = &getOrCreateConjunction(LeftSub, RightSub); in substituteBoolValue()
364 return DACtx->getOrCreateConjunction(LHS, RHS); in makeAnd()
189 BoolValue &getOrCreateConjunction(BoolValue &LHS, BoolValue &RHS);