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

Declarations

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

  584   bool isLiveRegion(const MemRegion *region);

References

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

  240     if (!SymReaper.isLiveRegion(Entry.first)) {

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

  820     if (!SR.isLiveRegion(Reg.first)) {
  839     if (!SR.isLiveRegion(Cont.first)) {

tools/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/MPIChecker.cpp

  112     if (!SymReaper.isLiveRegion(Req.first)) {

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

  690     bool IsRegDead = !SymReaper.isLiveRegion(Region);

tools/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/UninitializedObjectChecker.cpp

  220     if (!SR.isLiveRegion(R))

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

  209     if (SR.isLiveRegion(Reg))

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

  125     if (!SR.isLiveRegion(Elem.first))

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

  472     KnownLive = isLiveRegion(cast<SymbolRegionValue>(sym)->getRegion());
  481     KnownLive = isLiveRegion(cast<SymbolExtent>(sym)->getRegion());
  485                 isLiveRegion(cast<SymbolMetadata>(sym)->getRegion());

tools/clang/unittests/StaticAnalyzer/SymbolReaperTest.cpp

   39     EXPECT_TRUE(SymReaper.isLiveRegion(VR));