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