reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

Overridden By

tools/clang/lib/StaticAnalyzer/Core/SimpleConstraintManager.cpp

   94 ProgramStateRef SimpleConstraintManager::assumeInclusiveRange(

References

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h

  131         assumeInclusiveRange(State, Value, From, To, true);
  139         assumeInclusiveRange(State, Value, From, To, false);

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h

  684   return getStateManager().ConstraintMgr->assumeInclusiveRange(

tools/clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp

  256       State = CM.assumeInclusiveRange(State, *N, Min, Max, false);
  290       State = CM.assumeInclusiveRange(State, *N, MinusInf, Left, false);
  298       State = CM.assumeInclusiveRange(State, *N, Right, PlusInf, false);
  307       State = CM.assumeInclusiveRange(State, *N, Min, Max, false);