Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Core/
DSVals.cpp40 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()
DProgramState.cpp554 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R)) in scan()
630 if (const SymbolicRegion *SR = dyn_cast_or_null<SymbolicRegion>(R)) in addTaint()
673 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(Reg)) in isTainted()
738 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(Reg)) { in getDynamicTypeInfo()
DMemRegion.cpp215 DefinedOrUnknownSVal SymbolicRegion::getExtent(SValBuilder &svalBuilder) const { in getExtent()
330 void SymbolicRegion::ProfileRegion(llvm::FoldingSetNodeID& ID, SymbolRef sym, in ProfileRegion()
337 void SymbolicRegion::Profile(llvm::FoldingSetNodeID& ID) const { in Profile()
338 SymbolicRegion::ProfileRegion(ID, sym, getSuperRegion()); in Profile()
501 void SymbolicRegion::dumpToStream(raw_ostream &os) const { in dumpToStream()
860 const SymbolicRegion *MemRegionManager::getSymbolicRegion(SymbolRef sym) { in getSymbolicRegion()
861 return getSubRegion<SymbolicRegion>(sym, getUnknownRegion()); in getSymbolicRegion()
864 const SymbolicRegion *MemRegionManager::getSymbolicHeapRegion(SymbolRef Sym) { in getSymbolicHeapRegion()
865 return getSubRegion<SymbolicRegion>(Sym, getHeapRegion()); in getSymbolicHeapRegion()
1106 } else if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R)) { in getAsOffset()
DRegionStore.cpp692 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(baseR)) in VisitBaseRegion()
727 if (isa<AllocaRegion>(baseR) || isa<SymbolicRegion>(baseR)) { in VisitBaseRegion()
1046 isa<SymbolicRegion>(MR) || in getBinding()
1052 const SymbolicRegion *SR = cast<SymbolicRegion>(MR); in getBinding()
1574 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R)) { in Bind()
1870 SmallVector<const SymbolicRegion*, 12> Postponed;
1902 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(baseR)) { in VisitAddedToCluster()
1930 if (const SymbolicRegion *SymR = dyn_cast<SymbolicRegion>(baseR)) in VisitCluster()
1988 for (SmallVectorImpl<const SymbolicRegion*>::iterator in UpdatePostponed()
1990 if (const SymbolicRegion *SR = *I) { in UpdatePostponed()
[all …]
DSimpleConstraintManager.cpp90 if (const SymbolicRegion *SymR = dyn_cast<SymbolicRegion>(SubR)) { in assumeAux()
DSymbolManager.cpp438 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(MR)) in isLiveRegion()
DStore.cpp85 if (isa<CodeTextRegion>(R) || isa<SymbolicRegion>(R)) in castRegion()
DSimpleSValBuilder.cpp706 ((!isa<SymbolicRegion>(LeftBase) && !isa<SymbolicRegion>(RightBase)) || in evalBinOpLL()
DBugReporter.cpp1422 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R)) in markInteresting()
1456 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R)) in isInteresting()
DBugReporterVisitors.cpp521 if (RegionRVal && isa<SymbolicRegion>(RegionRVal)) { in trackNullOrUndefValue()
/external/clang/lib/StaticAnalyzer/Checkers/
DPointerSubChecker.cpp60 if (isa<SymbolicRegion>(BaseLR) || isa<SymbolicRegion>(BaseRR)) in checkPreStmt()
DCastSizeChecker.cpp52 const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R); in checkPreStmt()
DMallocChecker.cpp556 const SymbolicRegion *R = in MallocMemAux()
557 dyn_cast_or_null<SymbolicRegion>(RetVal.getAsRegion()); in MallocMemAux()
684 const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R); in FreeMemAux()
1135 if (const SymbolicRegion *BMR = in checkPreStmt()
1136 dyn_cast<SymbolicRegion>(MR->getBaseRegion())) in checkPreStmt()
1466 if (const SymbolicRegion *R = (*I)->StripCasts()->getAs<SymbolicRegion>()) in checkRegionChanges()
DGenericTaintChecker.cpp587 const SymbolicRegion *SymReg = dyn_cast_or_null<SymbolicRegion>(MemReg); in isStdin()
DRetainCountChecker.cpp3473 if (const SymbolicRegion *SR = (*I)->StripCasts()->getAs<SymbolicRegion>()) in checkRegionChanges()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DMemRegion.h683 class SymbolicRegion : public SubRegion {
688 SymbolicRegion(const SymbolRef s, const MemRegion* sreg) in SymbolicRegion() function
1155 const SymbolicRegion* getSymbolicRegion(SymbolRef Sym);
1158 const SymbolicRegion *getSymbolicHeapRegion(SymbolRef sym);
/external/clang/test/Analysis/
Dmisc-ps-region-store.m422 rdar7347252_f(s); // the SymbolicRegion of 's' is set a default binding of conjured symbol