Searched refs:setHasValue (Results 1 – 1 of 1) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/Models/ |
| H A D | UncheckedOptionalAccessModel.cpp | 337 void setHasValue(RecordStorageLocation &OptionalLoc, BoolValue &HasValueVal, in setHasValue() function
405 setHasValue(State.Env.getResultObjectLocation(*E), in transferMakeOptionalCall()
488 setHasValue(*Loc, State.Env.makeAtomicBoolValue(), State.Env); in transferCallReturningOptional()
494 setHasValue(Loc, HasValueVal, Env); in constructOptionalValue()
543 setHasValue(*Loc, HasValueVal, State.Env); in transferAssignment()
575 setHasValue(*Loc2, Env.makeAtomicBoolValue(), Env); in transferSwap()
579 setHasValue(*Loc1, Env.makeAtomicBoolValue(), Env); in transferSwap()
597 setHasValue(*Loc1, *BoolVal2, Env); in transferSwap()
598 setHasValue(*Loc2, *BoolVal1, Env); in transferSwap()
794 setHasValue(*Loc, State.Env.getBoolLiteralValue(true), State.Env); in buildTransferMatchSwitch()
[all …]
|