Home
last modified time | relevance | path

Searched refs:makeImplication (Results 1 – 2 of 2) sorted by relevance

/llvm-project-15.0.7/clang/include/clang/Analysis/FlowSensitive/
H A DDataflowEnvironment.h310 BoolValue &makeImplication(BoolValue &LHS, BoolValue &RHS) const { in makeImplication() function
/llvm-project-15.0.7/clang/lib/Analysis/FlowSensitive/Models/
H A DUncheckedOptionalAccessModel.cpp383 return Env.makeImplication(Env.makeNot(ExprVal), in transferValueOrStringEmptyCall()
397 return Env.makeImplication(ExprVal, HasValueVal); in transferValueOrNotEqX()