Searched refs:getOrCreateIff (Results 1 – 3 of 3) sorted by relevance
145 BoolValue &DataflowAnalysisContext::getOrCreateIff(BoolValue &LHS, in getOrCreateIff() function in clang::dataflow::DataflowAnalysisContext221 &getOrCreateNegation(getOrCreateIff(Val1, Val2))}; in equivalentBoolValues()238 Constraints.insert(&getOrCreateIff(Token, *ConstraintsIt->second)); in addTransitiveFlowConditionConstraints()306 Result = &getOrCreateIff(LeftSub, RightSub); in substituteBoolValue()
394 return DACtx->getOrCreateIff(LHS, RHS); in makeIff()
211 BoolValue &getOrCreateIff(BoolValue &LHS, BoolValue &RHS);