Searched refs:LocAsInteger (Results 1 – 10 of 10) sorted by relevance
| /freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | SVals.cpp | 135 if (Optional<nonloc::LocAsInteger> X = getAs<nonloc::LocAsInteger>()) in getAsRegion()
166 QualType VisitNonLocLocAsInteger(nonloc::LocAsInteger LI) { in VisitNonLocLocAsInteger()
363 const nonloc::LocAsInteger& C = castAs<nonloc::LocAsInteger>(); in dumpToStream()
|
| H A D | SimpleConstraintManager.cpp | 89 return assume(State, Cond.castAs<nonloc::LocAsInteger>().getLoc(), in assumeAux()
|
| H A D | ProgramState.cpp | 579 if (Optional<nonloc::LocAsInteger> X = val.getAs<nonloc::LocAsInteger>()) in scan()
|
| H A D | SValBuilder.cpp | 642 return evalCastSubKind(V.castAs<nonloc::LocAsInteger>(), CastTy, in evalCastKind()
890 SVal SValBuilder::evalCastSubKind(nonloc::LocAsInteger V, QualType CastTy, in evalCastSubKind()
|
| H A D | SimpleSValBuilder.cpp | 423 Loc lhsL = lhs.castAs<nonloc::LocAsInteger>().getLoc(); in evalBinOpNN()
431 rhs.castAs<nonloc::LocAsInteger>().getLoc(), in evalBinOpNN()
|
| /freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/ |
| H A D | UninitializedPointee.cpp | 144 V.getAs<nonloc::LocAsInteger>()) && in isDereferencableUninit()
234 V.getAs<nonloc::LocAsInteger>(); in dereference()
|
| H A D | UninitializedObjectChecker.cpp | 333 if (isDereferencableType(T) || V.getAs<nonloc::LocAsInteger>()) { in isNonUnionUninit()
|
| /freebsd-13.1/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SVals.h | 417 class LocAsInteger : public NonLoc {
420 explicit LocAsInteger(const std::pair<SVal, uintptr_t> &data) in LocAsInteger() function
452 LocAsInteger() = default;
|
| H A D | SValBuilder.h | 90 SVal evalCastSubKind(nonloc::LocAsInteger V, QualType CastTy,
341 return nonloc::LocAsInteger(BasicVals.getPersistentSValWithData(loc, bits)); in makeLocAsInteger()
|
| H A D | SVals.def | 66 NONLOC_SVAL(LocAsInteger, NonLoc)
|