Searched refs:LocAmount (Results 1 – 1 of 1) sorted by relevance
605 if (auto LocAmount = Amount.getAs<Loc>()) { in handleRandomIncrOrDecr() local606 Val = State->getRawSVal(*LocAmount); in handleRandomIncrOrDecr()