Home
last modified time | relevance | path

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

/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DSVals.cpp87 if (Optional<nonloc::LocAsInteger> X = getAs<nonloc::LocAsInteger>()) in getAsLocSymbol()
155 if (Optional<nonloc::LocAsInteger> X = getAs<nonloc::LocAsInteger>()) in getAsRegion()
317 const nonloc::LocAsInteger& C = castAs<nonloc::LocAsInteger>(); in dumpToStream()
H A DSValBuilder.cpp551 Loc L = val.castAs<nonloc::LocAsInteger>().getLoc(); in evalCast()
567 if (Optional<nonloc::LocAsInteger> LV = val.getAs<nonloc::LocAsInteger>()) { in evalCast()
H A DSimpleConstraintManager.cpp90 return assume(State, Cond.castAs<nonloc::LocAsInteger>().getLoc(), in assumeAux()
H A DSimpleSValBuilder.cpp80 if (Optional<nonloc::LocAsInteger> LI = val.getAs<nonloc::LocAsInteger>()) { in evalCastFromNonLoc()
555 Loc lhsL = lhs.castAs<nonloc::LocAsInteger>().getLoc(); in evalBinOpNN()
563 rhs.castAs<nonloc::LocAsInteger>().getLoc(), in evalBinOpNN()
H A DProgramState.cpp588 if (Optional<nonloc::LocAsInteger> X = val.getAs<nonloc::LocAsInteger>()) in scan()
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/
H A DUninitializedPointee.cpp145 V.getAs<nonloc::LocAsInteger>()) && in isDereferencableUninit()
235 V.getAs<nonloc::LocAsInteger>(); in dereference()
H A DUninitializedObjectChecker.cpp317 if (isDereferencableType(T) || V.getAs<nonloc::LocAsInteger>()) { in isNonUnionUninit()
/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSVals.h408 class LocAsInteger : public NonLoc {
411 explicit LocAsInteger(const std::pair<SVal, uintptr_t> &data) in LocAsInteger() function
443 LocAsInteger() = default;
H A DSVals.def67 NONLOC_SVAL(LocAsInteger, NonLoc)
H A DSValBuilder.h320 return nonloc::LocAsInteger(BasicVals.getPersistentSValWithData(loc, bits)); in makeLocAsInteger()