Lines Matching refs:Environment
317 const Formula &forceBoolValue(Environment &Env, const Expr &Expr) { in forceBoolValue()
338 Environment &Env) { in setHasValue()
344 BoolValue *getHasValue(Environment &Env, RecordStorageLocation *OptionalLoc) { in getHasValue()
376 const Environment &Env) { in getLocBehindPossiblePointer()
423 const Formula &(*ModelPred)(Environment &Env, const Formula &ExprVal, in transferValueOrImpl()
443 [](Environment &Env, const Formula &ExprVal, in transferValueOrStringEmptyCall()
461 [](Environment &Env, const Formula &ExprVal, in transferValueOrNotEqX()
491 void constructOptionalValue(const Expr &E, Environment &Env, in constructOptionalValue()
568 Environment &Env) { in transferSwap()
650 Environment &Env = State.Env; in transferOptionalAndOptionalCmp()
666 const clang::Expr *E, Environment &Env) { in transferOptionalAndValueCmp()
679 const clang::Expr *E, Environment &Env) { in transferOptionalAndNulloptCmp()
869 const Environment &Env) { in diagnoseUnwrapCall()
891 return CFGMatchSwitchBuilder<const Environment, in buildDiagnoseMatchSwitch()
897 const Environment &Env) { in buildDiagnoseMatchSwitch()
905 const Environment &Env) { in buildDiagnoseMatchSwitch()
919 Environment &Env) in UncheckedOptionalAccessModel()
934 NoopLattice &L, Environment &Env) { in transfer()