Home
last modified time | relevance | path

Searched refs:LocAsInteger (Results 1 – 10 of 10) sorted by relevance

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DSVals.cpp124 if (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()
H A DSimpleConstraintManager.cpp89 return assumeInternal(State, Cond.castAs<nonloc::LocAsInteger>().getLoc(), in assumeAux()
H A DProgramState.cpp590 if (Optional<nonloc::LocAsInteger> X = val.getAs<nonloc::LocAsInteger>()) in scan()
H A DSimpleSValBuilder.cpp466 Loc lhsL = lhs.castAs<nonloc::LocAsInteger>().getLoc(); in evalBinOpNN()
474 rhs.castAs<nonloc::LocAsInteger>().getLoc(), in evalBinOpNN()
H A DSValBuilder.cpp886 SVal VisitNonLocLocAsInteger(nonloc::LocAsInteger V) { in VisitNonLocLocAsInteger()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/
H A DUninitializedPointee.cpp142 isa<nonloc::LocAsInteger>(V)) && in isDereferencableUninit()
232 isVoidPointer(FR->getDecl()->getType()) || isa<nonloc::LocAsInteger>(V); in dereference()
H A DUninitializedObjectChecker.cpp331 if (isDereferencableType(T) || isa<nonloc::LocAsInteger>(V)) { in isNonUnionUninit()
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSVals.def66 NONLOC_SVAL(LocAsInteger, NonLoc)
H A DSVals.h345 class LocAsInteger : public NonLoc {
348 explicit LocAsInteger(const std::pair<SVal, uintptr_t> &data) in LocAsInteger() function
H A DSValBuilder.h309 return nonloc::LocAsInteger(BasicVals.getPersistentSValWithData(loc, bits)); in makeLocAsInteger()