Searched refs:Arg1Loc (Results 1 – 1 of 1) sorted by relevance
543 auto *Arg1Loc = State.Env.get<RecordStorageLocation>(*E->getArg(1)); in transferStdSwapCall() local544 transferSwap(Arg0Loc, Arg1Loc, State.Env); in transferStdSwapCall()585 auto *Arg1Loc = Env.get<RecordStorageLocation>(*CmpExpr->getArg(1)); in transferOptionalAndOptionalCmp() local586 if (auto *RHasVal = getHasValue(Env, Arg1Loc)) { in transferOptionalAndOptionalCmp()