Home
last modified time | relevance | path

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

/llvm-project-15.0.7/clang/include/clang/Analysis/FlowSensitive/
H A DDataflowEnvironment.h288 BoolValue &makeAnd(BoolValue &LHS, BoolValue &RHS) const { in makeAnd() function
/llvm-project-15.0.7/clang/lib/Analysis/FlowSensitive/
H A DDataflowEnvironment.cpp90 MergedEnv.makeAnd(Env1.getFlowConditionToken(), in mergeDistinctValues()
92 MergedEnv.makeAnd(Env2.getFlowConditionToken(), in mergeDistinctValues()
H A DTransfer.cpp87 Env.setValue(Loc, Env.makeAnd(LHSVal, RHSVal)); in VisitBinaryOperator()