HomeSort by: relevance | last modified time | path
    Searched refs:LocAsInteger (Results 1 - 9 of 9) sorted by relevancy

  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
SVals.cpp 133 if (Optional<nonloc::LocAsInteger> X = getAs<nonloc::LocAsInteger>())
304 const nonloc::LocAsInteger& C = castAs<nonloc::LocAsInteger>();
SimpleConstraintManager.cpp 89 return assume(State, Cond.castAs<nonloc::LocAsInteger>().getLoc(),
ProgramState.cpp 579 if (Optional<nonloc::LocAsInteger> X = val.getAs<nonloc::LocAsInteger>())
SValBuilder.cpp 628 return evalCastSubKind(V.castAs<nonloc::LocAsInteger>(), CastTy,
862 SVal SValBuilder::evalCastSubKind(nonloc::LocAsInteger V, QualType CastTy,
SimpleSValBuilder.cpp 423 Loc lhsL = lhs.castAs<nonloc::LocAsInteger>().getLoc();
431 rhs.castAs<nonloc::LocAsInteger>().getLoc(),
440 // add 1 to a LocAsInteger, we'd better unpack the Loc and add to it,
441 // then pack it back into a LocAsInteger.
1075 // better. For instance, we cannot extend this towards LocAsInteger
1196 // because they often appear from LocAsInteger operations
1197 // and we don't know how to combine a LocAsInteger
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/
UninitializedPointee.cpp 58 /// Represents a nonloc::LocAsInteger or void* field, that point to objects, but
72 // If this object is a nonloc::LocAsInteger.
144 V.getAs<nonloc::LocAsInteger>()) &&
231 // nonloc::LocAsInteger, we need to cast it back to the dynamic type before
234 V.getAs<nonloc::LocAsInteger>();
UninitializedObjectChecker.cpp 333 if (isDereferencableType(T) || V.getAs<nonloc::LocAsInteger>()) {
  /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SVals.h 404 class LocAsInteger : public NonLoc {
407 explicit LocAsInteger(const std::pair<SVal, uintptr_t> &data)
409 // We do not need to represent loc::ConcreteInt as LocAsInteger,
439 LocAsInteger() = default;
SValBuilder.h 90 SVal evalCastSubKind(nonloc::LocAsInteger V, QualType CastTy,
333 return nonloc::LocAsInteger(BasicVals.getPersistentSValWithData(loc, bits));

Completed in 47 milliseconds