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