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

Definitions

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h
  859 struct ReplayWithoutInlining{};
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/RangedConstraintManager.h
  128 class ConstraintRange {};
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConstraintManager.h
   24 REGISTER_TRAIT_WITH_PROGRAMSTATE(ConstraintSMT, ConstraintSMTType)
tools/clang/lib/StaticAnalyzer/Checkers/BlockInCriticalSectionChecker.cpp
   63 REGISTER_TRAIT_WITH_PROGRAMSTATE(MutexCounter, unsigned)
tools/clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp
  261 REGISTER_MAP_WITH_PROGRAMSTATE(CStringLength, const MemRegion *, SVal)
tools/clang/lib/StaticAnalyzer/Checkers/IteratorChecker.cpp
  265 REGISTER_MAP_WITH_PROGRAMSTATE(IteratorSymbolMap, SymbolRef, IteratorPosition)
  266 REGISTER_MAP_WITH_PROGRAMSTATE(IteratorRegionMap, const MemRegion *,
tools/clang/lib/StaticAnalyzer/Checkers/MIGChecker.cpp
  112 REGISTER_TRAIT_WITH_PROGRAMSTATE(ReleasedParameter, bool)
tools/clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp
  200 REGISTER_MAP_WITH_PROGRAMSTATE(RegionState, SymbolRef, RefState)
tools/clang/lib/StaticAnalyzer/Checkers/NullabilityChecker.cpp
  258 REGISTER_TRAIT_WITH_PROGRAMSTATE(InvariantViolated, bool)
tools/clang/lib/StaticAnalyzer/Checkers/ObjCSelfInitChecker.cpp
   98 REGISTER_TRAIT_WITH_PROGRAMSTATE(CalledInit, bool)
  104 REGISTER_TRAIT_WITH_PROGRAMSTATE(PreCallSelfFlags, unsigned)
tools/clang/lib/StaticAnalyzer/Checkers/PthreadLockChecker.cpp
  101 REGISTER_LIST_WITH_PROGRAMSTATE(LockSet, const MemRegion *)
tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountChecker.cpp
   22 REGISTER_MAP_WITH_PROGRAMSTATE(RefBindings, SymbolRef, RefVal)
tools/clang/lib/StaticAnalyzer/Checkers/TestAfterDivZeroChecker.cpp
   93 REGISTER_SET_WITH_PROGRAMSTATE(DivZeroMap, ZeroState)
tools/clang/lib/StaticAnalyzer/Checkers/VforkChecker.cpp
   74 REGISTER_TRAIT_WITH_PROGRAMSTATE(VforkResultRegion, const void *)
tools/clang/lib/StaticAnalyzer/Core/LoopUnrolling.cpp
   66 REGISTER_LIST_WITH_PROGRAMSTATE(LoopStack, LoopState)