Home
last modified time | relevance | path

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

12

/freebsd-head/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
HDCXXDeleteChecker.cpp62 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()
HDPointerSubChecker.cpp125 if (isa<SymbolicRegion>(LR) || isa<SymbolicRegion>(RR)) in checkPreStmt()
145 if (isa<SymbolicRegion>(SuperLR) || isa<SymbolicRegion>(SuperRR)) in checkPreStmt()
HDTaint.cpp82 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()
HDCastSizeChecker.cpp109 const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R); in checkPreStmt()
HDObjCSuperDeallocChecker.cpp150 if (const SymbolicRegion *SymR = dyn_cast<SymbolicRegion>(SR)) { in checkLocation()
HDNullabilityChecker.cpp194 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()
HDMIGChecker.cpp141 const SymbolicRegion *SR = MR->getSymbolicBase(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
HDArrayBoundCheckerV2.cpp354 if (isa<SymbolicRegion>(Region) && in getRegionName()
578 if (!(isa<SymbolicRegion>(Reg) && isa<UnknownSpaceRegion>(Space))) { in performCheck()
HDPointerArithChecker.cpp140 if (isa<SymbolicRegion>(Region)) in getArrayRegion()
HDValistChecker.cpp179 IsSymbolic = Reg && Reg->getBaseRegion()->getAs<SymbolicRegion>(); in getVAListAsRegion()
HDLocalizationChecker.cpp954 const SymbolicRegion *SymReg = in checkPostCall()
955 dyn_cast_or_null<SymbolicRegion>(sv.getAsRegion()); in checkPostCall()
/freebsd-head/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/
HDSValExplainer.h38 bool isThisObject(const SymbolicRegion *R) { in isThisObject()
47 if (const auto *SR = R->getSuperRegion()->getAs<SymbolicRegion>()) { in isThisObject()
71 if (auto SR = dyn_cast<SymbolicRegion>(R)) { in VisitMemRegionVal()
158 std::string VisitSymbolicRegion(const SymbolicRegion *R) { in VisitSymbolicRegion()
/freebsd-head/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
HDSVals.cpp71 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()
HDMemRegion.cpp331 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 …]
HDStore.cpp87 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()
HDRegionStore.cpp1115 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()
HDProgramState.cpp234 const auto *BaseReg = dyn_cast_or_null<SymbolicRegion>(Val.getAsRegion()); in wrapSymbolicRegion()
642 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R)) in scan()
HDSValBuilder.cpp731 if (const SymbolicRegion *SymR = R->getSymbolicBase()) { in VisitMemRegionVal()
784 if (const auto *SR = dyn_cast<SymbolicRegion>(R)) { in VisitMemRegionVal()
935 if (const SymbolicRegion *SR = in VisitLocAsInteger()
936 dyn_cast<SymbolicRegion>(R->StripCasts())) { in VisitLocAsInteger()
HDDynamicType.cpp55 if (const auto *SR = dyn_cast<SymbolicRegion>(MR)) { in getDynamicTypeInfo()
HDSimpleSValBuilder.cpp979 ((!isa<SymbolicRegion>(LeftBase) && !isa<SymbolicRegion>(RightBase)) || in evalBinOpLL()
HDSymbolManager.cpp437 if (const auto *SR = dyn_cast<SymbolicRegion>(MR)) in isLiveRegion()
/freebsd-head/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/cert/
HDInvalidPtrChecker.cpp214 dyn_cast_or_null<SymbolicRegion>(RetVal.getAsRegion()); in postPreviousReturnInvalidatingCall()
289 if (const auto *SR = dyn_cast_or_null<SymbolicRegion>( in checkPostCall()
/freebsd-head/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
HDMemRegion.h60 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);
HDRegions.def59 REGION(SymbolicRegion, SubRegion)
/freebsd-head/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
HDRetainCountChecker.cpp1194 if (const SymbolicRegion *SR = I->StripCasts()->getAs<SymbolicRegion>()) in checkRegionChanges()

12