HomeSort by relevance Sort by last modified time
    Searched defs:assumeWithinInclusiveRange (Results 1 - 2 of 2) sorted by null

  /external/clang/lib/StaticAnalyzer/Core/
SimpleConstraintManager.cpp 193 ProgramStateRef SimpleConstraintManager::assumeWithinInclusiveRange(
210 llvm_unreachable("'assumeWithinInclusiveRange' is not implemented"
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ProgramState.h 201 ProgramStateRef assumeWithinInclusiveRange(DefinedOrUnknownSVal Val,
212 assumeWithinInclusiveRange(DefinedOrUnknownSVal Val, const llvm::APSInt &From,
662 ProgramState::assumeWithinInclusiveRange(DefinedOrUnknownSVal Val,
671 return getStateManager().ConstraintMgr->assumeWithinInclusiveRange(
676 ProgramState::assumeWithinInclusiveRange(DefinedOrUnknownSVal Val,

Completed in 131 milliseconds