Lines Matching refs:createOptionalValue
256 RecordValue &createOptionalValue(RecordStorageLocation &Loc, in createOptionalValue() function
333 *E, createOptionalValue(State.Env.getResultObjectLocation(*E), in transferMakeOptionalCall()
417 createOptionalValue(*Loc, State.Env.makeAtomicBoolValue(), State.Env); in transferCallReturningOptional()
425 Env.setValue(E, createOptionalValue(Loc, HasValueVal, Env)); in constructOptionalValue()
474 createOptionalValue(*Loc, HasValueVal, State.Env); in transferAssignment()
505 createOptionalValue(*Loc2, Env.makeAtomicBoolValue(), Env); in transferSwap()
509 createOptionalValue(*Loc1, Env.makeAtomicBoolValue(), Env); in transferSwap()
527 createOptionalValue(*Loc1, *BoolVal2, Env); in transferSwap()
528 createOptionalValue(*Loc2, *BoolVal1, Env); in transferSwap()
724 createOptionalValue(*Loc, State.Env.getBoolLiteralValue(true), in buildTransferMatchSwitch()
736 createOptionalValue(*Loc, State.Env.getBoolLiteralValue(false), in buildTransferMatchSwitch()