Searched defs:HasValueVal (Results 1 – 1 of 1) sorted by relevance
| /freebsd-src/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/Models/ |
| H A D | UncheckedOptionalAccessModel.cpp | 248 setHasValue(RecordStorageLocation & OptionalLoc,BoolValue & HasValueVal,Environment & Env) setHasValue() argument
257 createOptionalValue(RecordStorageLocation & Loc,BoolValue & HasValueVal,Environment & Env) createOptionalValue() argument
270 auto *HasValueVal = Env.get<BoolValue>(HasValueLoc); getHasValue() local
340 if (auto *HasValueVal = getHasValue( transferOptionalHasValueCall() local
352 transferValueOrImpl(const clang::Expr * ValueOrPredExpr,const MatchFinder::MatchResult & Result,LatticeTransferState & State,const Formula & (* ModelPred)(Environment & Env,const Formula & ExprVal,const Formula & HasValueVal)) transferValueOrImpl() argument
358 auto *HasValueVal = transferValueOrImpl() local
372 __anon28249dc60302(Environment &Env, const Formula &ExprVal, const Formula &HasValueVal) transferValueOrStringEmptyCall() argument
390 __anon28249dc60402(Environment &Env, const Formula &ExprVal, const Formula &HasValueVal) transferValueOrNotEqX() argument
423 constructOptionalValue(const Expr & E,Environment & Env,BoolValue & HasValueVal) constructOptionalValue() argument
453 if (auto *HasValueVal = getHasValue(State.Env, Loc)) valueOrConversionHasValue() local
469 transferAssignment(const CXXOperatorCallExpr * E,BoolValue & HasValueVal,LatticeTransferState & State) transferAssignment() argument
804 if (auto *HasValueVal = cast_or_null<BoolValue>(Prop)) { diagnoseUnwrapCall() local
[all...] |