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