HomeSort by relevance Sort by last modified time
    Searched refs:LocAsInteger (Results 1 - 7 of 7) sorted by null

  /external/clang/lib/StaticAnalyzer/Core/
SVals.cpp 71 if (Optional<nonloc::LocAsInteger> X = getAs<nonloc::LocAsInteger>())
139 if (Optional<nonloc::LocAsInteger> X = getAs<nonloc::LocAsInteger>())
275 const nonloc::LocAsInteger& C = castAs<nonloc::LocAsInteger>();
SValBuilder.cpp 424 Loc L = val.castAs<nonloc::LocAsInteger>().getLoc();
440 if (Optional<nonloc::LocAsInteger> LV = val.getAs<nonloc::LocAsInteger>()) {
SimpleConstraintManager.cpp 188 return assume(state, Cond.castAs<nonloc::LocAsInteger>().getLoc(),
SimpleSValBuilder.cpp 72 if (Optional<nonloc::LocAsInteger> LI = val.getAs<nonloc::LocAsInteger>()) {
339 Loc lhsL = lhs.castAs<nonloc::LocAsInteger>().getLoc();
343 rhs.castAs<nonloc::LocAsInteger>().getLoc(),
    [all...]
ProgramState.cpp 567 if (Optional<nonloc::LocAsInteger> X = val.getAs<nonloc::LocAsInteger>())
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SVals.h 368 class LocAsInteger : public NonLoc {
371 explicit LocAsInteger(const std::pair<SVal, uintptr_t> &data)
399 LocAsInteger() {}
SValBuilder.h 273 return nonloc::LocAsInteger(BasicVals.getPersistentSValWithData(loc, bits));

Completed in 86 milliseconds