Home
last modified time | relevance | path

Searched refs:makeOr (Results 1 – 4 of 4) sorted by relevance

/llvm-project-15.0.7/clang/include/clang/Analysis/FlowSensitive/
H A DDataflowEnvironment.h296 BoolValue &makeOr(BoolValue &LHS, BoolValue &RHS) const { in makeOr() function
/llvm-project-15.0.7/clang/lib/Analysis/FlowSensitive/
H A DDataflowEnvironment.cpp89 MergedEnv.addToFlowCondition(MergedEnv.makeOr( in mergeDistinctValues()
H A DTransfer.cpp89 Env.setValue(Loc, Env.makeOr(LHSVal, RHSVal)); in VisitBinaryOperator()
/llvm-project-15.0.7/clang/unittests/Analysis/FlowSensitive/
H A DTransferTest.cpp3798 LoopBodyEnv.makeOr(LoopBodyBarVal, LoopBodyFooVal))); in TEST()