Searched refs:createOptionalValue (Results 1 – 1 of 1) sorted by relevance
| /openbsd-src/gnu/llvm/clang/lib/Analysis/FlowSensitive/Models/ |
| H A D | UncheckedOptionalAccessModel.cpp | 223 StructValue &createOptionalValue(Environment &Env, BoolValue &HasValueVal) { in createOptionalValue() function
365 Loc, createOptionalValue(State.Env, State.Env.getBoolLiteralValue(true))); in transferMakeOptionalCall()
443 Loc, createOptionalValue(State.Env, State.Env.makeAtomicBoolValue())); in transferCallReturningOptional()
450 Env.setValue(*OptionalLoc, createOptionalValue(Env, HasValueVal)); in assignOptionalValue()
502 State.Env.setValue(*OptionalLoc, createOptionalValue(State.Env, HasValueVal)); in transferAssignment()
895 return &createOptionalValue(CurrentEnv, CurrentEnv.makeTopBoolValue()); in widen()
|