Searched refs:LocAsInteger (Results 1 – 8 of 8) sorted by relevance
69 if (Optional<nonloc::LocAsInteger> X = getAs<nonloc::LocAsInteger>()) in getAsLocSymbol()131 if (Optional<nonloc::LocAsInteger> X = getAs<nonloc::LocAsInteger>()) in getAsRegion()268 const nonloc::LocAsInteger& C = castAs<nonloc::LocAsInteger>(); in dumpToStream()
72 if (Optional<nonloc::LocAsInteger> LI = val.getAs<nonloc::LocAsInteger>()) { in evalCastFromNonLoc()340 Loc lhsL = lhs.castAs<nonloc::LocAsInteger>().getLoc(); in evalBinOpNN()344 rhs.castAs<nonloc::LocAsInteger>().getLoc(), in evalBinOpNN()
335 if (Optional<nonloc::LocAsInteger> LV = val.getAs<nonloc::LocAsInteger>()) { in evalCast()
212 return assumeAux(state, Cond.castAs<nonloc::LocAsInteger>().getLoc(), in assumeAux()
536 if (Optional<nonloc::LocAsInteger> X = val.getAs<nonloc::LocAsInteger>()) in scan()
159 if (Optional<nonloc::LocAsInteger> Wrapped = in invalidateRegions()160 V.getAs<nonloc::LocAsInteger>()) in invalidateRegions()
360 class LocAsInteger : public NonLoc {363 explicit LocAsInteger(const std::pair<SVal, uintptr_t> &data) in LocAsInteger() function391 LocAsInteger() {} in LocAsInteger() function
265 return nonloc::LocAsInteger(BasicVals.getPersistentSValWithData(loc, bits)); in makeLocAsInteger()