| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CXXDeleteChecker.cpp | 58 const SymbolicRegion *DerivedClassRegion) const = 0;
71 const SymbolicRegion *DerivedClassRegion) const override;
81 const SymbolicRegion *DerivedClassRegion) const override;
99 const auto *DerivedClassRegion = MR->getBaseRegion()->getAs<SymbolicRegion>(); in checkPreStmt()
109 const SymbolicRegion *DerivedClassRegion) const { in checkTypedDeleteExpr()
139 const SymbolicRegion *DerivedClassRegion) const { in checkTypedDeleteExpr()
|
| 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()
239 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(Reg)) { in getTaintedSymbolsImpl()
|
| H A D | PointerSubChecker.cpp | 86 if (isa<SymbolicRegion>(SuperLR) || isa<SymbolicRegion>(SuperRR)) in checkPreStmt()
|
| H A D | CastSizeChecker.cpp | 111 const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R); in checkPreStmt()
|
| H A D | StackAddrEscapeChecker.cpp | 386 if (const auto *SymReg = R->getBaseRegion()->getAs<SymbolicRegion>()) { in getStackOrGlobalSpaceRegion()
395 while (const auto *SymReg = dyn_cast<SymbolicRegion>(Reg)) { in getOriginBaseRegion()
418 if (const auto *SymReg = dyn_cast<SymbolicRegion>(Referrer); in printReferrer()
448 const auto *SymReg = Region->getAs<SymbolicRegion>(); in isInvalidatedSymbolRegion()
516 isa<SymbolicRegion>(Referrer->getBaseRegion()) && in checkEndFunction()
|
| H A D | ObjCSuperDeallocChecker.cpp | 150 if (const SymbolicRegion *SymR = dyn_cast<SymbolicRegion>(SR)) { in checkLocation()
|
| H A D | NullabilityChecker.cpp | 191 const SymbolicRegion *getTrackRegion(SVal Val,
314 const SymbolicRegion *
329 return dyn_cast<SymbolicRegion>(FieldReg->getSuperRegion()); in getTrackRegion()
332 return dyn_cast<SymbolicRegion>(ElementReg->getSuperRegion()); in getTrackRegion()
335 return dyn_cast<SymbolicRegion>(Region); in getTrackRegion()
392 if (!StoredVal || !isa<SymbolicRegion>(StoredVal->getRegion())) in checkValueAtLValForInvariantViolation()
500 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 | ArrayBoundChecker.cpp | 371 if (isa<SymbolicRegion>(Region) && isa<HeapSpaceRegion>(Space)) in getRegionName()
596 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 | 950 const SymbolicRegion *SymReg = in checkPostCall()
951 dyn_cast_or_null<SymbolicRegion>(sv.getAsRegion()); in checkPostCall()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/ |
| H A D | SValExplainer.h | 47 bool isThisObject(const SymbolicRegion *R) { in isThisObject()
56 if (const auto *SR = R->getSuperRegion()->getAs<SymbolicRegion>()) { in isThisObject()
81 if (auto SR = dyn_cast<SymbolicRegion>(R)) { in VisitMemRegionVal()
169 std::string VisitSymbolicRegion(const SymbolicRegion *R) { in VisitSymbolicRegion()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | SVals.cpp | 70 if (const SymbolicRegion *SymR = in getAsLocSymbol()
72 : dyn_cast<SymbolicRegion>(R->StripCasts())) in getAsLocSymbol()
88 if (const auto *SymR = dyn_cast<SymbolicRegion>(SR)) in getLocSymbolInBase()
167 QualType VisitSymbolicRegion(const SymbolicRegion *SR) { in VisitSymbolicRegion()
|
| H A D | MemRegion.cpp | 340 void SymbolicRegion::ProfileRegion(llvm::FoldingSetNodeID& ID, SymbolRef sym, in ProfileRegion()
347 void SymbolicRegion::Profile(llvm::FoldingSetNodeID& ID) const { in Profile()
348 SymbolicRegion::ProfileRegion(ID, sym, getSuperRegion()); in Profile()
565 void SymbolicRegion::dumpToStream(raw_ostream &os) const { in dumpToStream()
1249 const SymbolicRegion *
1254 return getSubRegion<SymbolicRegion>(sym, MemSpace); in getSymbolicRegion()
1257 const SymbolicRegion *MemRegionManager::getSymbolicHeapRegion(SymbolRef Sym) { in getSymbolicHeapRegion()
1258 return getSubRegion<SymbolicRegion>(Sym, getHeapRegion()); in getSymbolicHeapRegion()
1470 const SymbolicRegion *MemRegion::getSymbolicBase() const { in getSymbolicBase()
1474 if (const auto *SymR = dyn_cast<SymbolicRegion>(SubR)) in getSymbolicBase()
[all …]
|
| H A D | Store.cpp | 89 if (isa<CodeTextRegion, SymbolicRegion>(R)) in castRegion()
291 dyn_cast<SymbolicRegion>(AlreadyDerivedReg->getSuperRegion())) in evalDerivedToBase()
313 if (const auto *SR = dyn_cast<SymbolicRegion>(MR)) in getCXXRecordType()
384 if (const auto *SR = dyn_cast<SymbolicRegion>(MR)) { in evalBaseToDerived()
|
| H A D | RegionStore.cpp | 1283 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(baseR)) in VisitCluster()
1294 if (isa<AllocaRegion, SymbolicRegion>(baseR)) { in VisitCluster()
1380 if (isa_and_nonnull<SymbolicRegion>(R)) in VisitCluster()
1571 else if (const auto *SR = dyn_cast<SymbolicRegion>(MR)) in getBinding()
1674 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R)) in getUnderlyingType()
2537 if (const auto *SymReg = dyn_cast<SymbolicRegion>(R)) { in bind()
2984 SmallVector<const SymbolicRegion *, 12> Postponed;
3025 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(baseR)) { in VisitAddedToCluster()
3057 if (const SymbolicRegion *SymR = dyn_cast<SymbolicRegion>(baseR)) in VisitCluster()
3107 for (const SymbolicRegion *SR : Postponed) { in UpdatePostponed()
|
| H A D | ProgramState.cpp | 223 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 | SValBuilder.cpp | 732 if (const SymbolicRegion *SymR = R->getSymbolicBase()) { in VisitMemRegionVal()
785 if (const auto *SR = dyn_cast<SymbolicRegion>(R)) { in VisitMemRegionVal()
936 if (const SymbolicRegion *SR = in VisitLocAsInteger()
937 dyn_cast<SymbolicRegion>(R->StripCasts())) { in VisitLocAsInteger()
|
| H A D | DynamicType.cpp | 54 if (const auto *SR = dyn_cast<SymbolicRegion>(MR)) { in getDynamicTypeInfo()
|
| H A D | SymbolManager.cpp | 314 if (const auto *SR = dyn_cast<SymbolicRegion>(MR)) in isLiveRegion()
|
| H A D | SimpleSValBuilder.cpp | 982 ((!isa<SymbolicRegion>(LeftBase) && !isa<SymbolicRegion>(RightBase)) || in evalBinOpLL()
|
| /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 | 61 class SymbolicRegion; variable
175 const SymbolicRegion *getSymbolicBase() const;
808 class SymbolicRegion : public SubRegion {
813 SymbolicRegion(const SymbolRef s, const MemSpaceRegion *sreg) in SymbolicRegion() function
1510 const SymbolicRegion *
1514 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 | 1187 if (const SymbolicRegion *SR = I->StripCasts()->getAs<SymbolicRegion>()) in checkRegionChanges()
|