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()
805               setHasValue(*Loc, State.Env.getBoolLiteralValue(false),  in buildTransferMatchSwitch()