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