Home
last modified time | relevance | path

Searched refs:isLiveRegion (Results 1 – 13 of 13) sorted by relevance

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DSymbolManager.cpp434 bool SymbolReaper::isLiveRegion(const MemRegion *MR) { in isLiveRegion() function in SymbolReaper
467 KnownLive = isLiveRegion(cast<SymbolRegionValue>(sym)->getRegion()); in isLive()
476 KnownLive = isLiveRegion(cast<SymbolExtent>(sym)->getRegion()); in isLive()
480 isLiveRegion(cast<SymbolMetadata>(sym)->getRegion()); in isLive()
H A DDynamicType.cpp159 return SR.isLiveRegion(MR); in isLive()
/llvm-project-15.0.7/clang/unittests/StaticAnalyzer/
H A DSymbolReaperTest.cpp39 EXPECT_TRUE(SymReaper.isLiveRegion(VR)); in performTest()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIChecker.cpp113 if (!SymReaper.isLiveRegion(Req.first)) { in checkMissingWaits()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DInnerPointerChecker.cpp265 if (!SymReaper.isLiveRegion(Entry.first)) { in checkDeadSymbols()
H A DValistChecker.cpp210 if (SR.isLiveRegion(Reg)) in checkDeadSymbols()
H A DMoveChecker.cpp685 bool IsRegDead = !SymReaper.isLiveRegion(Region); in checkDeadSymbols()
H A DPthreadLockChecker.cpp651 if (!SymReaper.isLiveRegion(I.first)) { in checkDeadSymbols()
H A DIteratorModeling.cpp330 if (!SR.isLiveRegion(Reg.first)) { in checkDeadSymbols()
H A DSmartPtrModeling.cpp546 bool IsRegDead = !SymReaper.isLiveRegion(Region); in checkDeadSymbols()
H A DContainerModeling.cpp233 if (!SR.isLiveRegion(Cont.first)) { in checkDeadSymbols()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/
H A DUninitializedObjectChecker.cpp218 if (!SR.isLiveRegion(R)) in checkDeadSymbols()
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSymbolManager.h609 bool isLiveRegion(const MemRegion *region);