Searched refs:getOrCreateImplication (Results 1 – 3 of 3) sorted by relevance
133 BoolValue &DataflowAnalysisContext::getOrCreateImplication(BoolValue &LHS, in getOrCreateImplication() function in clang::dataflow::DataflowAnalysisContext297 Result = &getOrCreateImplication(LeftSub, RightSub); in substituteBoolValue()
386 return DACtx->getOrCreateImplication(LHS, RHS); in makeImplication()
205 BoolValue &getOrCreateImplication(BoolValue &LHS, BoolValue &RHS);