Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Core/
DSVals.cpp41 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R)) { in hasConjuredSymbol()
76 if (const SymbolicRegion *SymR = IncludeBaseRegions ? in getAsLocSymbol()
78 dyn_cast<SymbolicRegion>(R->StripCasts())) in getAsLocSymbol()
94 if (const SymbolicRegion *SymR = dyn_cast<SymbolicRegion>(SR)) in getLocSymbolInBase()
DMemRegion.cpp220 DefinedOrUnknownSVal SymbolicRegion::getExtent(SValBuilder &svalBuilder) const { in getExtent()
336 void SymbolicRegion::ProfileRegion(llvm::FoldingSetNodeID& ID, SymbolRef sym, in ProfileRegion()
343 void SymbolicRegion::Profile(llvm::FoldingSetNodeID& ID) const { in Profile()
344 SymbolicRegion::ProfileRegion(ID, sym, getSuperRegion()); in Profile()
509 void SymbolicRegion::dumpToStream(raw_ostream &os) const { in dumpToStream()
926 const SymbolicRegion *MemRegionManager::getSymbolicRegion(SymbolRef sym) { in getSymbolicRegion()
927 return getSubRegion<SymbolicRegion>(sym, getUnknownRegion()); in getSymbolicRegion()
930 const SymbolicRegion *MemRegionManager::getSymbolicHeapRegion(SymbolRef Sym) { in getSymbolicHeapRegion()
931 return getSubRegion<SymbolicRegion>(Sym, getHeapRegion()); in getSymbolicHeapRegion()
1098 const SymbolicRegion *MemRegion::getSymbolicBase() const { in getSymbolicBase()
[all …]
DProgramState.cpp613 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R)) in scan()
689 if (const SymbolicRegion *SR = dyn_cast_or_null<SymbolicRegion>(R)) in addTaint()
732 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(Reg)) in isTainted()
792 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(Reg)) { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
DRegionStore.cpp1033 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(baseR)) { in VisitCluster()
1051 if (isa<AllocaRegion>(baseR) || isa<SymbolicRegion>(baseR)) { in VisitCluster()
1286 isa<SymbolicRegion>(MR) || in getBinding()
1292 const SymbolicRegion *SR = cast<SymbolicRegion>(MR); in getBinding()
1393 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R)) in getUnderlyingType()
1910 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R)) { in bind()
2180 SmallVector<const SymbolicRegion*, 12> Postponed;
2212 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(baseR)) { in VisitAddedToCluster()
2244 if (const SymbolicRegion *SymR = dyn_cast<SymbolicRegion>(baseR)) in VisitCluster()
2291 for (SmallVectorImpl<const SymbolicRegion*>::iterator in UpdatePostponed()
[all …]
DStore.cpp86 if (isa<CodeTextRegion>(R) || isa<SymbolicRegion>(R)) in castRegion()
301 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(MR)) in getCXXRecordType()
DSymbolManager.cpp420 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(MR)) in isLiveRegion()
DSimpleConstraintManager.cpp96 if (const SymbolicRegion *SymR = R->getSymbolicBase()) { in assumeAux()
DSimpleSValBuilder.cpp737 ((!isa<SymbolicRegion>(LeftBase) && !isa<SymbolicRegion>(RightBase)) || in evalBinOpLL()
DBugReporter.cpp2586 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R)) in markInteresting()
2620 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R)) in isInteresting()
DExprEngine.cpp1876 if (const SymbolicRegion *R = (*I)->StripCasts()->getAs<SymbolicRegion>()) in notifyCheckersOfPointerEscape()
DBugReporterVisitors.cpp1049 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.cpp769 const SymbolicRegion *R = in MallocMemAux()
770 dyn_cast_or_null<SymbolicRegion>(RetVal.getAsRegion()); in MallocMemAux()
1017 const SymbolicRegion *SrBase = dyn_cast<SymbolicRegion>(R->getBaseRegion()); in FreeMemAux()
1735 if (const SymbolicRegion *BMR = in checkPreStmt()
1736 dyn_cast<SymbolicRegion>(MR->getBaseRegion())) in checkPreStmt()
DGenericTaintChecker.cpp582 const SymbolicRegion *SymReg = dyn_cast_or_null<SymbolicRegion>(MemReg); in isStdin()
DRetainCountChecker.cpp3506 if (const SymbolicRegion *SR = (*I)->StripCasts()->getAs<SymbolicRegion>()) in checkRegionChanges()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DMemRegion.h44 class SymbolicRegion; variable
151 const SymbolicRegion *getSymbolicBase() const;
711 class SymbolicRegion : public SubRegion {
716 SymbolicRegion(const SymbolRef s, const MemRegion* sreg) in SymbolicRegion() function
1195 const SymbolicRegion* getSymbolicRegion(SymbolRef Sym);
1198 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