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