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