Home
last modified time | relevance | path

Searched refs:SymbolicRegion (Results 1 – 20 of 20) 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()
DDynamicTypeMap.cpp34 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(Reg)) { in getDynamicTypeInfo()
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()
520 void SymbolicRegion::dumpToStream(raw_ostream &os) const { in dumpToStream()
941 const SymbolicRegion *MemRegionManager::getSymbolicRegion(SymbolRef sym) { in getSymbolicRegion()
942 return getSubRegion<SymbolicRegion>(sym, getUnknownRegion()); in getSymbolicRegion()
945 const SymbolicRegion *MemRegionManager::getSymbolicHeapRegion(SymbolRef Sym) { in getSymbolicHeapRegion()
946 return getSubRegion<SymbolicRegion>(Sym, getHeapRegion()); in getSymbolicHeapRegion()
1123 const SymbolicRegion *MemRegion::getSymbolicBase() const { in getSymbolicBase()
[all …]
DRegionStore.cpp1042 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(baseR)) in VisitCluster()
1053 if (isa<AllocaRegion>(baseR) || isa<SymbolicRegion>(baseR)) { in VisitCluster()
1143 if (R && isa<SymbolicRegion>(R)) in VisitCluster()
1373 isa<SymbolicRegion>(MR) || in getBinding()
1379 const SymbolicRegion *SR = cast<SymbolicRegion>(MR); in getBinding()
1480 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R)) in getUnderlyingType()
2007 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R)) { in bind()
2275 SmallVector<const SymbolicRegion*, 12> Postponed;
2316 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(baseR)) { in VisitAddedToCluster()
2348 if (const SymbolicRegion *SymR = dyn_cast<SymbolicRegion>(baseR)) in VisitCluster()
[all …]
DProgramState.cpp594 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R)) in scan()
670 if (const SymbolicRegion *SR = dyn_cast_or_null<SymbolicRegion>(R)) in addTaint()
713 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(Reg)) in isTainted()
DStore.cpp75 if (isa<CodeTextRegion>(R) || isa<SymbolicRegion>(R)) in castRegion()
290 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(MR)) in getCXXRecordType()
DSimpleSValBuilder.cpp154 if (const SymbolicRegion *SymR = R->getSymbolicBase()) in evalCastFromLoc()
757 ((!isa<SymbolicRegion>(LeftBase) && !isa<SymbolicRegion>(RightBase)) || in evalBinOpLL()
DSymbolManager.cpp427 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(MR)) in isLiveRegion()
DBugReporter.cpp2611 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R)) in markInteresting()
2645 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R)) in isInteresting()
DExprEngine.cpp2139 if (const SymbolicRegion *R = (*I)->StripCasts()->getAs<SymbolicRegion>()) in notifyCheckersOfPointerEscape()
DBugReporterVisitors.cpp1041 if (RegionRVal && isa<SymbolicRegion>(RegionRVal)) { in trackNullOrUndefValue()
/external/clang/lib/StaticAnalyzer/Checkers/
DPointerSubChecker.cpp60 if (isa<SymbolicRegion>(BaseLR) || isa<SymbolicRegion>(BaseRR)) in checkPreStmt()
DCastSizeChecker.cpp111 const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R); in checkPreStmt()
DNullabilityChecker.cpp199 const SymbolicRegion *getTrackRegion(SVal Val,
259 const SymbolicRegion *
272 return dyn_cast<SymbolicRegion>(FieldReg->getSuperRegion()); in getTrackRegion()
274 return dyn_cast<SymbolicRegion>(ElementReg->getSuperRegion()); in getTrackRegion()
277 return dyn_cast<SymbolicRegion>(Region); in getTrackRegion()
417 const auto *Region = I->first->getAs<SymbolicRegion>(); in checkDeadSymbols()
DGenericTaintChecker.cpp581 const SymbolicRegion *SymReg = dyn_cast_or_null<SymbolicRegion>(MemReg); in isStdin()
DMallocChecker.cpp1098 const SymbolicRegion *R = in MallocMemAux()
1099 dyn_cast_or_null<SymbolicRegion>(RetVal.getAsRegion()); in MallocMemAux()
1371 const SymbolicRegion *SrBase = dyn_cast<SymbolicRegion>(R->getBaseRegion()); in FreeMemAux()
2235 if (const SymbolicRegion *BMR = in checkPreStmt()
2236 dyn_cast<SymbolicRegion>(MR->getBaseRegion())) in checkPreStmt()
DLocalizationChecker.cpp794 const SymbolicRegion *SymReg = in checkPostCall()
795 dyn_cast_or_null<SymbolicRegion>(sv.getAsRegion()); in checkPostCall()
DRetainCountChecker.cpp3715 if (const SymbolicRegion *SR = (*I)->StripCasts()->getAs<SymbolicRegion>()) in checkRegionChanges()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DMemRegion.h41 class SymbolicRegion; variable
148 const SymbolicRegion *getSymbolicBase() const;
711 class SymbolicRegion : public SubRegion {
716 SymbolicRegion(const SymbolRef s, const MemRegion* sreg) in SymbolicRegion() function
1196 const SymbolicRegion* getSymbolicRegion(SymbolRef Sym);
1199 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