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