Home
last modified time | relevance | path

Searched refs:getOrCreateDisjunction (Results 1 – 3 of 3) sorted by relevance

/openbsd-src/gnu/llvm/clang/lib/Analysis/FlowSensitive/
H A DDataflowAnalysisContext.cpp113 BoolValue &DataflowAnalysisContext::getOrCreateDisjunction(BoolValue &LHS, in getOrCreateDisjunction() function in clang::dataflow::DataflowAnalysisContext
185 getOrCreateDisjunction(FirstToken, SecondToken)); in joinFlowConditions()
279 Result = &getOrCreateDisjunction(LeftSub, RightSub); in substituteBoolValue()
/openbsd-src/gnu/llvm/clang/include/clang/Analysis/FlowSensitive/
H A DDataflowEnvironment.h372 return DACtx->getOrCreateDisjunction(LHS, RHS); in makeOr()
H A DDataflowAnalysisContext.h195 BoolValue &getOrCreateDisjunction(BoolValue &LHS, BoolValue &RHS);