Searched refs:LocAsInteger (Results 1 – 7 of 7) 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()
415 assert(val.getAs<Loc>() || val.getAs<nonloc::LocAsInteger>()); in evalCast()431 if (Optional<nonloc::LocAsInteger> LV = val.getAs<nonloc::LocAsInteger>()) { in evalCast()
72 if (Optional<nonloc::LocAsInteger> LI = val.getAs<nonloc::LocAsInteger>()) { in evalCastFromNonLoc()313 Loc lhsL = lhs.castAs<nonloc::LocAsInteger>().getLoc(); in evalBinOpNN()317 rhs.castAs<nonloc::LocAsInteger>().getLoc(), in evalBinOpNN()
219 return assumeAux(state, Cond.castAs<nonloc::LocAsInteger>().getLoc(), in assumeAux()
584 if (Optional<nonloc::LocAsInteger> X = val.getAs<nonloc::LocAsInteger>()) in scan()
368 class LocAsInteger : public NonLoc {371 explicit LocAsInteger(const std::pair<SVal, uintptr_t> &data) in LocAsInteger() function399 LocAsInteger() {} in LocAsInteger() function
272 return nonloc::LocAsInteger(BasicVals.getPersistentSValWithData(loc, bits)); in makeLocAsInteger()