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()
DRegionStore.cpp673 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(baseR)) in VisitBaseRegion()
694 if (isa<AllocaRegion>(baseR) || isa<SymbolicRegion>(baseR)) { in VisitBaseRegion()
1005 isa<SymbolicRegion>(MR) || in getBinding()
1011 const SymbolicRegion *SR = cast<SymbolicRegion>(MR); in getBinding()
1481 else if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R)) { in Bind()
1778 SmallVector<const SymbolicRegion*, 12> Postponed;
1811 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(baseR)) { in VisitAddedToCluster()
1875 if (const SymbolicRegion *SymR = dyn_cast<SymbolicRegion>(R)) in VisitBindingKey()
1904 for (SmallVectorImpl<const SymbolicRegion*>::iterator in UpdatePostponed()
1906 if (const SymbolicRegion *SR = cast_or_null<SymbolicRegion>(*I)) { in UpdatePostponed()
[all …]
DProgramState.cpp562 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R)) in scan()
628 if (const SymbolicRegion *SR = dyn_cast_or_null<SymbolicRegion>(R)) in addTaint()
671 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(Reg)) in isTainted()
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()
799 const SymbolicRegion *MemRegionManager::getSymbolicRegion(SymbolRef sym) { in getSymbolicRegion()
800 return getSubRegion<SymbolicRegion>(sym, getUnknownRegion()); in getSymbolicRegion()
DSimpleConstraintManager.cpp90 if (const SymbolicRegion *SymR = dyn_cast<SymbolicRegion>(SubR)) { in assumeAux()
DSymbolManager.cpp435 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(MR)) in isLiveRegion()
DStore.cpp73 if (isa<CodeTextRegion>(R) || isa<SymbolicRegion>(R)) in castRegion()
DSimpleSValBuilder.cpp704 !isa<SymbolicRegion>(LeftBase) && !isa<SymbolicRegion>(RightBase)) { in evalBinOpLL()
DBugReporter.cpp1299 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R)) in markInteresting()
1327 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R)) in isInteresting()
DBugReporterVisitors.cpp340 while (R && !isa<SymbolicRegion>(R)) { in getTrackNullOrUndefValueVisitor()
/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.cpp436 const SymbolicRegion *R = in MallocMemAux()
437 dyn_cast_or_null<SymbolicRegion>(retVal.getAsRegion()); in MallocMemAux()
552 const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R); in FreeMemAux()
1011 if (const SymbolicRegion *BMR = in checkPreStmt()
1012 dyn_cast<SymbolicRegion>(MR->getBaseRegion())) in checkPreStmt()
1338 if (const SymbolicRegion *R = (*I)->StripCasts()->getAs<SymbolicRegion>()) in checkRegionChanges()
DGenericTaintChecker.cpp578 const SymbolicRegion *SymReg = dyn_cast_or_null<SymbolicRegion>(MemReg); in isStdin()
DRetainCountChecker.cpp3416 if (const SymbolicRegion *SR = (*I)->StripCasts()->getAs<SymbolicRegion>()) in checkRegionChanges()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DMemRegion.h639 class SymbolicRegion : public SubRegion {
644 SymbolicRegion(const SymbolRef s, const MemRegion* sreg) in SymbolicRegion() function
1110 const SymbolicRegion* getSymbolicRegion(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