Searched defs:HasValueVal (Results 1 – 1 of 1) sorted by relevance
| /llvm-project/clang/lib/Analysis/FlowSensitive/Models/ |
| H A D | UncheckedOptionalAccessModel.cpp | 337 setHasValue(RecordStorageLocation & OptionalLoc,BoolValue & HasValueVal,Environment & Env) setHasValue() argument
348 auto *HasValueVal = Env.get<BoolValue>(HasValueLoc); getHasValue() local
412 if (auto *HasValueVal = getHasValue( transferOptionalHasValueCall() local
424 transferValueOrImpl(const clang::Expr * ValueOrPredExpr,const MatchFinder::MatchResult & Result,LatticeTransferState & State,const Formula & (* ModelPred)(Environment & Env,const Formula & ExprVal,const Formula & HasValueVal)) transferValueOrImpl() argument
430 auto *HasValueVal = transferValueOrImpl() local
444 __anon8677bf870302(Environment &Env, const Formula &ExprVal, const Formula &HasValueVal) transferValueOrStringEmptyCall() argument
462 __anon8677bf870402(Environment &Env, const Formula &ExprVal, const Formula &HasValueVal) transferValueOrNotEqX() argument
492 constructOptionalValue(const Expr & E,Environment & Env,BoolValue & HasValueVal) constructOptionalValue() argument
521 if (auto *HasValueVal = getHasValue(State.Env, Loc)) valueOrConversionHasValue() local
538 transferAssignment(const CXXOperatorCallExpr * E,BoolValue & HasValueVal,LatticeTransferState & State) transferAssignment() argument
873 if (auto *HasValueVal = cast_or_null<BoolValue>(Prop)) { diagnoseUnwrapCall() local
[all...] |