Searched refs:LocAsInteger (Results 1 – 10 of 10) sorted by relevance
| /netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/ |
| H A D | SVals.cpp | 133 if (Optional<nonloc::LocAsInteger> X = getAs<nonloc::LocAsInteger>()) in getAsRegion()
304 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 | 628 return evalCastSubKind(V.castAs<nonloc::LocAsInteger>(), CastTy, in evalCastKind()
862 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()
|
| /netbsd-src/external/apache2/llvm/dist/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()
|
| /netbsd-src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SVals.h | 404 class LocAsInteger : public NonLoc {
407 explicit LocAsInteger(const std::pair<SVal, uintptr_t> &data) in LocAsInteger() function
439 LocAsInteger() = default;
|
| H A D | SValBuilder.h | 90 SVal evalCastSubKind(nonloc::LocAsInteger V, QualType CastTy,
333 return nonloc::LocAsInteger(BasicVals.getPersistentSValWithData(loc, bits)); in makeLocAsInteger()
|
| H A D | SVals.def | 66 NONLOC_SVAL(LocAsInteger, NonLoc)
|