Searched refs:LocAsInteger (Results 1 – 9 of 9) sorted by relevance
123 if (std::optional<nonloc::LocAsInteger> X = getAs<nonloc::LocAsInteger>()) in getAsRegion()150 QualType VisitLocAsInteger(nonloc::LocAsInteger LI) { in VisitLocAsInteger()326 const nonloc::LocAsInteger& C = castAs<nonloc::LocAsInteger>(); in dumpToStream()
89 return assumeInternal(State, Cond.castAs<nonloc::LocAsInteger>().getLoc(), in assumeAux()
618 if (std::optional<nonloc::LocAsInteger> X = val.getAs<nonloc::LocAsInteger>()) in scan()
483 Loc lhsL = lhs.castAs<nonloc::LocAsInteger>().getLoc(); in evalBinOpNN()491 rhs.castAs<nonloc::LocAsInteger>().getLoc(), in evalBinOpNN()
894 SVal VisitLocAsInteger(nonloc::LocAsInteger V) { in VisitLocAsInteger()
139 isa<nonloc::LocAsInteger>(V)) && in isDereferencableUninit()229 isVoidPointer(FR->getDecl()->getType()) || isa<nonloc::LocAsInteger>(V); in dereference()
330 if (isDereferencableType(T) || isa<nonloc::LocAsInteger>(V)) { in isNonUnionUninit()
312 class LocAsInteger : public NonLoc {315 explicit LocAsInteger(const std::pair<SVal, uintptr_t> &data) in LocAsInteger() function
317 return nonloc::LocAsInteger(BasicVals.getPersistentSValWithData(loc, bits)); in makeLocAsInteger()