Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Core/
DSymbolManager.cpp421 bool SymbolReaper::isLiveRegion(const MemRegion *MR) { in isLiveRegion() function in SymbolReaper
462 KnownLive = isLiveRegion(cast<SymbolRegionValue>(sym)->getRegion()); in isLive()
471 KnownLive = isLiveRegion(cast<SymbolExtent>(sym)->getRegion()); in isLive()
475 isLiveRegion(cast<SymbolMetadata>(sym)->getRegion()); in isLive()
/external/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
DMPIChecker.cpp114 if (!SymReaper.isLiveRegion(Req.first)) { in checkMissingWaits()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DSymbolManager.h513 bool isLiveRegion(const MemRegion *region);
/external/clang/lib/StaticAnalyzer/Checkers/
DDynamicTypePropagation.cpp121 if (!SR.isLiveRegion(I->first)) { in checkDeadSymbols()