Searched refs:ValAsLoc (Results 1 – 1 of 1) sorted by relevance
226 if (auto ValAsLoc = RHS.getAs<Loc>()) { in verifyRandomIncrOrDecr() local227 Value = State->getRawSVal(*ValAsLoc); in verifyRandomIncrOrDecr()