Searched refs:LocAsInteger (Results 1 – 8 of 8) sorted by relevance
71 if (Optional<nonloc::LocAsInteger> X = getAs<nonloc::LocAsInteger>()) in getAsLocSymbol()139 if (Optional<nonloc::LocAsInteger> X = getAs<nonloc::LocAsInteger>()) in getAsRegion()275 const nonloc::LocAsInteger& C = castAs<nonloc::LocAsInteger>(); in dumpToStream()
496 Loc L = val.castAs<nonloc::LocAsInteger>().getLoc(); in evalCast()512 if (Optional<nonloc::LocAsInteger> LV = val.getAs<nonloc::LocAsInteger>()) { in evalCast()
72 if (Optional<nonloc::LocAsInteger> LI = val.getAs<nonloc::LocAsInteger>()) { in evalCastFromNonLoc()339 Loc lhsL = lhs.castAs<nonloc::LocAsInteger>().getLoc(); in evalBinOpNN()343 rhs.castAs<nonloc::LocAsInteger>().getLoc(), in evalBinOpNN()
567 if (Optional<nonloc::LocAsInteger> X = val.getAs<nonloc::LocAsInteger>()) in scan()
188 return assume(state, Cond.castAs<nonloc::LocAsInteger>().getLoc(), in assumeAux()
370 class LocAsInteger : public NonLoc {373 explicit LocAsInteger(const std::pair<SVal, uintptr_t> &data) in LocAsInteger() function401 LocAsInteger() {} in LocAsInteger() function
67 NONLOC_SVAL(LocAsInteger, NonLoc)
278 return nonloc::LocAsInteger(BasicVals.getPersistentSValWithData(loc, bits)); in makeLocAsInteger()