Home
last modified time | relevance | path

Searched refs:SymbolicRegion (Results 1 – 15 of 15) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
DSVals.cpp43 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R)) { in hasConjuredSymbol()
72 if (const SymbolicRegion *SymR = dyn_cast<SymbolicRegion>(R)) in getAsLocSymbol()
88 if (const SymbolicRegion *SymR = dyn_cast<SymbolicRegion>(SR)) in getLocSymbolInBase()
DRegionStore.cpp651 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(baseR)) in VisitBaseRegion()
672 if (isa<AllocaRegion>(baseR) || isa<SymbolicRegion>(baseR)) { in VisitBaseRegion()
884 if (isa<AllocaRegion>(MR) || isa<SymbolicRegion>(MR)) { in Retrieve()
886 const SymbolicRegion *SR = cast<SymbolicRegion>(MR); in Retrieve()
1322 else if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R)) { in Bind()
1614 llvm::SmallVector<const SymbolicRegion*, 12> Postponed;
1646 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(baseR)) { in VisitAddedToCluster()
1710 if (const SymbolicRegion *SymR = dyn_cast<SymbolicRegion>(R)) in VisitBindingKey()
1739 for (llvm::SmallVectorImpl<const SymbolicRegion*>::iterator in UpdatePostponed()
1741 if (const SymbolicRegion *SR = cast_or_null<SymbolicRegion>(*I)) { in UpdatePostponed()
[all …]
DMemRegion.cpp213 DefinedOrUnknownSVal SymbolicRegion::getExtent(SValBuilder &svalBuilder) const { in getExtent()
303 void SymbolicRegion::ProfileRegion(llvm::FoldingSetNodeID& ID, SymbolRef sym, in ProfileRegion()
310 void SymbolicRegion::Profile(llvm::FoldingSetNodeID& ID) const { in Profile()
311 SymbolicRegion::ProfileRegion(ID, sym, getSuperRegion()); in Profile()
459 void SymbolicRegion::dumpToStream(llvm::raw_ostream& os) const { in dumpToStream()
686 const SymbolicRegion *MemRegionManager::getSymbolicRegion(SymbolRef sym) { in getSymbolicRegion()
687 return getSubRegion<SymbolicRegion>(sym, getUnknownRegion()); in getSymbolicRegion()
DSimpleConstraintManager.cpp92 if (const SymbolicRegion *SymR = dyn_cast<SymbolicRegion>(SubR)) { in assumeAux()
DSymbolManager.cpp271 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(MR)) in IsLiveRegion()
DBugReporterVisitors.cpp344 while (R && !isa<SymbolicRegion>(R)) { in registerTrackNullOrUndefValue()
349 assert(isa<SymbolicRegion>(R)); in registerTrackNullOrUndefValue()
DStore.cpp71 if (isa<CodeTextRegion>(R) || isa<SymbolicRegion>(R)) in castRegion()
DGRState.cpp575 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R)) in scan()
DBasicStore.cpp320 if (const SymbolicRegion* SymR = dyn_cast<SymbolicRegion>(MR)) { in removeDeadBindings()
DSimpleSValBuilder.cpp698 !isa<SymbolicRegion>(LeftBase) && !isa<SymbolicRegion>(RightBase)) { in evalBinOpLL()
/external/clang/lib/StaticAnalyzer/Checkers/
DPointerSubChecker.cpp59 if (isa<SymbolicRegion>(BaseLR) || isa<SymbolicRegion>(BaseRR)) in checkPreStmt()
DCastSizeChecker.cpp52 const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R); in checkPreStmt()
DMallocChecker.cpp233 const SymbolicRegion *R = cast<SymbolicRegion>(retVal.getAsRegion()); in MallocMemAux()
331 const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R); in FreeMemAux()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DMemRegion.h540 class SymbolicRegion : public SubRegion {
545 SymbolicRegion(const SymbolRef s, const MemRegion* sreg) in SymbolicRegion() function
969 const SymbolicRegion* getSymbolicRegion(SymbolRef sym);
/external/clang/test/Analysis/
Dmisc-ps-region-store.m420 rdar7347252_f(s); // the SymbolicRegion of 's' is set a default binding of conjured symbol