Home
last modified time | relevance | path

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

/llvm-project-15.0.7/clang/include/clang/Analysis/FlowSensitive/
H A DDataflowEnvironment.h318 BoolValue &makeIff(BoolValue &LHS, BoolValue &RHS) const { in makeIff() function
/llvm-project-15.0.7/clang/lib/Analysis/FlowSensitive/
H A DDataflowEnvironment.cpp91 MergedEnv.makeIff(MergedVal, *Expr1)), in mergeDistinctValues()
93 MergedEnv.makeIff(MergedVal, *Expr2)))); in mergeDistinctValues()
H A DTransfer.cpp44 return Env.makeIff(*LHSValue, *RHSValue); in evaluateBooleanEquality()