| /external/clang/lib/StaticAnalyzer/Core/ |
| D | SVals.cpp | 41 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()
|
| D | MemRegion.cpp | 216 DefinedOrUnknownSVal SymbolicRegion::getExtent(SValBuilder &svalBuilder) const { in getExtent()
332 void SymbolicRegion::ProfileRegion(llvm::FoldingSetNodeID& ID, SymbolRef sym, in ProfileRegion()
339 void SymbolicRegion::Profile(llvm::FoldingSetNodeID& ID) const { in Profile()
340 SymbolicRegion::ProfileRegion(ID, sym, getSuperRegion()); in Profile()
516 void SymbolicRegion::dumpToStream(raw_ostream &os) const { in dumpToStream()
995 const SymbolicRegion *MemRegionManager::getSymbolicRegion(SymbolRef sym) { in getSymbolicRegion()
996 return getSubRegion<SymbolicRegion>(sym, getUnknownRegion()); in getSymbolicRegion()
999 const SymbolicRegion *MemRegionManager::getSymbolicHeapRegion(SymbolRef Sym) { in getSymbolicHeapRegion()
1000 return getSubRegion<SymbolicRegion>(Sym, getHeapRegion()); in getSymbolicHeapRegion()
1177 const SymbolicRegion *MemRegion::getSymbolicBase() const { in getSymbolicBase()
[all …]
|
| D | DynamicTypeMap.cpp | 34 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(Reg)) { in getDynamicTypeInfo()
|
| D | RegionStore.cpp | 1043 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(baseR)) in VisitCluster()
1054 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 …]
|
| D | ProgramState.cpp | 594 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()
|
| D | Store.cpp | 75 if (isa<CodeTextRegion>(R) || isa<SymbolicRegion>(R)) in castRegion()
290 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(MR)) in getCXXRecordType()
|
| D | SimpleSValBuilder.cpp | 154 if (const SymbolicRegion *SymR = R->getSymbolicBase()) in evalCastFromLoc()
757 ((!isa<SymbolicRegion>(LeftBase) && !isa<SymbolicRegion>(RightBase)) || in evalBinOpLL()
|
| D | SymbolManager.cpp | 427 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(MR)) in isLiveRegion()
|
| D | BugReporter.cpp | 2611 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R)) in markInteresting()
2645 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R)) in isInteresting()
|
| D | ExprEngine.cpp | 2201 if (const SymbolicRegion *R = (*I)->StripCasts()->getAs<SymbolicRegion>()) in notifyCheckersOfPointerEscape()
|
| D | BugReporterVisitors.cpp | 1099 if (RegionRVal && isa<SymbolicRegion>(RegionRVal)) { in trackNullOrUndefValue()
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | PointerSubChecker.cpp | 60 if (isa<SymbolicRegion>(BaseLR) || isa<SymbolicRegion>(BaseRR)) in checkPreStmt()
|
| D | CastSizeChecker.cpp | 108 const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R); in checkPreStmt()
|
| D | ObjCSuperDeallocChecker.cpp | 155 if (const SymbolicRegion *SymR = dyn_cast<SymbolicRegion>(SR)) { in checkLocation()
|
| D | NullabilityChecker.cpp | 200 const SymbolicRegion *getTrackRegion(SVal Val,
288 const SymbolicRegion *
301 return dyn_cast<SymbolicRegion>(FieldReg->getSuperRegion()); in getTrackRegion()
303 return dyn_cast<SymbolicRegion>(ElementReg->getSuperRegion()); in getTrackRegion()
306 return dyn_cast<SymbolicRegion>(Region); in getTrackRegion()
484 const auto *Region = I->first->getAs<SymbolicRegion>(); in checkDeadSymbols()
|
| D | GenericTaintChecker.cpp | 581 const SymbolicRegion *SymReg = dyn_cast_or_null<SymbolicRegion>(MemReg); in isStdin()
|
| D | MallocChecker.cpp | 1106 const SymbolicRegion *R = in MallocMemAux()
1107 dyn_cast_or_null<SymbolicRegion>(RetVal.getAsRegion()); in MallocMemAux()
1379 const SymbolicRegion *SrBase = dyn_cast<SymbolicRegion>(R->getBaseRegion()); in FreeMemAux()
2243 if (const SymbolicRegion *BMR = in checkPreStmt()
2244 dyn_cast<SymbolicRegion>(MR->getBaseRegion())) in checkPreStmt()
|
| D | LocalizationChecker.cpp | 858 const SymbolicRegion *SymReg = in checkPostCall()
859 dyn_cast_or_null<SymbolicRegion>(sv.getAsRegion()); in checkPostCall()
|
| D | RetainCountChecker.cpp | 3708 if (const SymbolicRegion *SR = (*I)->StripCasts()->getAs<SymbolicRegion>()) in checkRegionChanges()
|
| /external/clang/include/clang/StaticAnalyzer/Checkers/ |
| D | SValExplainer.h | 37 bool isThisObject(const SymbolicRegion *R) { in isThisObject()
58 if (auto SR = dyn_cast<SymbolicRegion>(R)) { in VisitLocMemRegionVal()
140 std::string VisitSymbolicRegion(const SymbolicRegion *R) { in VisitSymbolicRegion()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | MemRegion.h | 43 class SymbolicRegion; variable
112 const SymbolicRegion *getSymbolicBase() const;
707 class SymbolicRegion : public SubRegion {
712 SymbolicRegion(const SymbolRef s, const MemRegion* sreg) in SymbolicRegion() function
1192 const SymbolicRegion* getSymbolicRegion(SymbolRef Sym);
1195 const SymbolicRegion *getSymbolicHeapRegion(SymbolRef sym);
|
| D | Regions.def | 60 REGION(SymbolicRegion, SubRegion)
|
| /external/clang/test/Analysis/ |
| D | misc-ps-region-store.m | 422 rdar7347252_f(s); // the SymbolicRegion of 's' is set a default binding of conjured symbol
|