Searched refs:LocAsInteger (Results 1 – 10 of 10) sorted by relevance
124 if (std::optional<nonloc::LocAsInteger> X = getAs<nonloc::LocAsInteger>()) in getAsRegion()151 QualType VisitLocAsInteger(nonloc::LocAsInteger LI) { in VisitLocAsInteger()310 const nonloc::LocAsInteger& C = castAs<nonloc::LocAsInteger>(); in dumpToStream()
90 return assumeInternal(State, Cond.castAs<nonloc::LocAsInteger>().getLoc(), in assumeAux()
618 if (std::optional<nonloc::LocAsInteger> X = val.getAs<nonloc::LocAsInteger>()) in scan()
481 Loc lhsL = lhs.castAs<nonloc::LocAsInteger>().getLoc(); in evalBinOpNN()489 rhs.castAs<nonloc::LocAsInteger>().getLoc(), in evalBinOpNN()
893 SVal VisitLocAsInteger(nonloc::LocAsInteger V) { in VisitLocAsInteger()
143 isa<nonloc::LocAsInteger>(V)) && in isDereferencableUninit()233 isVoidPointer(FR->getDecl()->getType()) || isa<nonloc::LocAsInteger>(V); in dereference()
328 if (isDereferencableType(T) || isa<nonloc::LocAsInteger>(V)) { in isNonUnionUninit()
63 NONLOC_SVAL(LocAsInteger, NonLoc)
306 class LocAsInteger : public NonLoc {309 explicit LocAsInteger(const std::pair<SVal, uintptr_t> &data) in LocAsInteger() function
330 return nonloc::LocAsInteger(BasicVals.getPersistentSValWithData(loc, bits)); in makeLocAsInteger()