| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CXXDeleteChecker.cpp | 62 const SymbolicRegion *DerivedClassRegion) const = 0;
75 const SymbolicRegion *DerivedClassRegion) const override;
85 const SymbolicRegion *DerivedClassRegion) const override;
103 const auto *DerivedClassRegion = MR->getBaseRegion()->getAs<SymbolicRegion>(); in checkPreStmt()
113 const SymbolicRegion *DerivedClassRegion) const { in checkTypedDeleteExpr()
143 const SymbolicRegion *DerivedClassRegion) const { in checkTypedDeleteExpr()
|
| H A D | PointerSubChecker.cpp | 125 if (isa<SymbolicRegion>(LR) || isa<SymbolicRegion>(RR)) in checkPreStmt()
145 if (isa<SymbolicRegion>(SuperLR) || isa<SymbolicRegion>(SuperRR)) in checkPreStmt()
|
| H A D | Taint.cpp | 82 if (const SymbolicRegion *SR = dyn_cast_or_null<SymbolicRegion>(R)) in addTaint()
109 if (const SymbolicRegion *SR = dyn_cast_or_null<SymbolicRegion>(R)) in removeTaint()
231 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(Reg)) { in getTaintedSymbolsImpl()
|
| H A D | CastSizeChecker.cpp | 109 const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R); in checkPreStmt()
|
| H A D | ObjCSuperDeallocChecker.cpp | 150 if (const SymbolicRegion *SymR = dyn_cast<SymbolicRegion>(SR)) { in checkLocation()
|
| H A D | NullabilityChecker.cpp | 194 const SymbolicRegion *getTrackRegion(SVal Val,
317 const SymbolicRegion *
332 return dyn_cast<SymbolicRegion>(FieldReg->getSuperRegion()); in getTrackRegion()
335 return dyn_cast<SymbolicRegion>(ElementReg->getSuperRegion()); in getTrackRegion()
338 return dyn_cast<SymbolicRegion>(Region); in getTrackRegion()
395 if (!StoredVal || !isa<SymbolicRegion>(StoredVal->getRegion())) in checkValueAtLValForInvariantViolation()
503 const auto *Region = Reg->getAs<SymbolicRegion>(); in checkDeadSymbols()
|
| H A D | MIGChecker.cpp | 141 const SymbolicRegion *SR = MR->getSymbolicBase(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
|
| H A D | ArrayBoundCheckerV2.cpp | 354 if (isa<SymbolicRegion>(Region) && in getRegionName()
578 if (!(isa<SymbolicRegion>(Reg) && isa<UnknownSpaceRegion>(Space))) { in performCheck()
|
| H A D | ValistChecker.cpp | 179 IsSymbolic = Reg && Reg->getBaseRegion()->getAs<SymbolicRegion>(); in getVAListAsRegion()
|
| H A D | LocalizationChecker.cpp | 954 const SymbolicRegion *SymReg = in checkPostCall()
955 dyn_cast_or_null<SymbolicRegion>(sv.getAsRegion()); in checkPostCall()
|
| H A D | MoveChecker.cpp | 265 if (const auto *SR = dyn_cast_or_null<SymbolicRegion>(MR)) { in unwrapRValueReferenceIndirection()
|
| H A D | MallocChecker.cpp | 2028 const SymbolicRegion *SrBase = dyn_cast<SymbolicRegion>(R->getBaseRegion()); in FreeMemAux()
3001 if (const SymbolicRegion *BMR = in checkEscapeOnReturn()
3002 dyn_cast<SymbolicRegion>(MR->getBaseRegion())) in checkEscapeOnReturn()
|
| H A D | CheckObjCDealloc.cpp | 329 const SymbolicRegion *SR = IvarRegion->getSymbolicBase(); in getInstanceSymbolFromIvarSymbol()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | SVals.cpp | 71 if (const SymbolicRegion *SymR = in getAsLocSymbol()
73 : dyn_cast<SymbolicRegion>(R->StripCasts())) in getAsLocSymbol()
89 if (const auto *SymR = dyn_cast<SymbolicRegion>(SR)) in getLocSymbolInBase()
168 QualType VisitSymbolicRegion(const SymbolicRegion *SR) { in VisitSymbolicRegion()
|
| H A D | MemRegion.cpp | 331 void SymbolicRegion::ProfileRegion(llvm::FoldingSetNodeID& ID, SymbolRef sym, in ProfileRegion()
338 void SymbolicRegion::Profile(llvm::FoldingSetNodeID& ID) const { in Profile()
339 SymbolicRegion::ProfileRegion(ID, sym, getSuperRegion()); in Profile()
556 void SymbolicRegion::dumpToStream(raw_ostream &os) const { in dumpToStream()
1202 const SymbolicRegion *
1207 return getSubRegion<SymbolicRegion>(sym, MemSpace); in getSymbolicRegion()
1210 const SymbolicRegion *MemRegionManager::getSymbolicHeapRegion(SymbolRef Sym) { in getSymbolicHeapRegion()
1211 return getSubRegion<SymbolicRegion>(Sym, getHeapRegion()); in getSymbolicHeapRegion()
1412 const SymbolicRegion *MemRegion::getSymbolicBase() const { in getSymbolicBase()
1416 if (const auto *SymR = dyn_cast<SymbolicRegion>(SubR)) in getSymbolicBase()
[all …]
|
| H A D | Store.cpp | 87 if (isa<CodeTextRegion, SymbolicRegion>(R)) in castRegion()
289 dyn_cast<SymbolicRegion>(AlreadyDerivedReg->getSuperRegion())) in evalDerivedToBase()
311 if (const auto *SR = dyn_cast<SymbolicRegion>(MR)) in getCXXRecordType()
382 if (const auto *SR = dyn_cast<SymbolicRegion>(MR)) { in evalBaseToDerived()
|
| H A D | RegionStore.cpp | 1115 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(baseR)) in VisitCluster()
1126 if (isa<AllocaRegion, SymbolicRegion>(baseR)) { in VisitCluster()
1212 if (isa_and_nonnull<SymbolicRegion>(R)) in VisitCluster()
1412 else if (const auto *SR = dyn_cast<SymbolicRegion>(MR)) in getBinding()
1515 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R)) in getUnderlyingType()
2383 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R)) in bind()
2741 SmallVector<const SymbolicRegion *, 12> Postponed;
2782 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(baseR)) { in VisitAddedToCluster()
2814 if (const SymbolicRegion *SymR = dyn_cast<SymbolicRegion>(baseR)) in VisitCluster()
2864 for (const SymbolicRegion *SR : Postponed) { in UpdatePostponed()
|
| H A D | ProgramState.cpp | 234 const auto *BaseReg = dyn_cast_or_null<SymbolicRegion>(Val.getAsRegion()); in wrapSymbolicRegion()
642 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R)) in scan()
|
| H A D | DynamicType.cpp | 55 if (const auto *SR = dyn_cast<SymbolicRegion>(MR)) { in getDynamicTypeInfo()
|
| H A D | SymbolManager.cpp | 437 if (const auto *SR = dyn_cast<SymbolicRegion>(MR)) in isLiveRegion()
|
| H A D | BugReporter.cpp | 2298 if (const auto *SR = dyn_cast<SymbolicRegion>(R)) in markInteresting()
2309 if (const auto *SR = dyn_cast<SymbolicRegion>(R)) in markNotInteresting()
2372 if (const auto *SR = dyn_cast<SymbolicRegion>(R)) in getInterestingnessKind()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/cert/ |
| H A D | InvalidPtrChecker.cpp | 214 dyn_cast_or_null<SymbolicRegion>(RetVal.getAsRegion()); in postPreviousReturnInvalidatingCall()
289 if (const auto *SR = dyn_cast_or_null<SymbolicRegion>( in checkPostCall()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | MemRegion.h | 60 class SymbolicRegion; variable
141 const SymbolicRegion *getSymbolicBase() const;
780 class SymbolicRegion : public SubRegion {
785 SymbolicRegion(const SymbolRef s, const MemSpaceRegion *sreg) in SymbolicRegion() function
1482 const SymbolicRegion *
1486 const SymbolicRegion *getSymbolicHeapRegion(SymbolRef sym);
|
| H A D | Regions.def | 59 REGION(SymbolicRegion, SubRegion)
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountChecker.cpp | 1194 if (const SymbolicRegion *SR = I->StripCasts()->getAs<SymbolicRegion>()) in checkRegionChanges()
|