Searched refs:SymbolicRegion (Results 1 - 25 of 27) sorted by relevance

12

/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DPointerSubChecker.cpp57 if (isa<SymbolicRegion>(BaseLR) || isa<SymbolicRegion>(BaseRR))
H A DTaint.cpp78 if (const SymbolicRegion *SR = dyn_cast_or_null<SymbolicRegion>(R))
105 if (const SymbolicRegion *SR = dyn_cast_or_null<SymbolicRegion>(R))
169 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(Reg))
H A DCastSizeChecker.cpp107 const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R);
H A DDeleteWithNonVirtualDtorChecker.cpp69 const auto *DerivedClassRegion = MR->getBaseRegion()->getAs<SymbolicRegion>();
H A DObjCSuperDeallocChecker.cpp148 if (const SymbolicRegion *SymR = dyn_cast<SymbolicRegion>(SR)) {
H A DNullabilityChecker.cpp184 const SymbolicRegion *getTrackRegion(SVal Val,
272 const SymbolicRegion *
285 return dyn_cast<SymbolicRegion>(FieldReg->getSuperRegion());
287 return dyn_cast<SymbolicRegion>(ElementReg->getSuperRegion());
290 return dyn_cast<SymbolicRegion>(Region);
347 if (!StoredVal || !isa<SymbolicRegion>(StoredVal->getRegion()))
456 const auto *Region = I->first->getAs<SymbolicRegion>();
H A DMIGChecker.cpp136 const SymbolicRegion *SR = MR->getSymbolicBase();
H A DPointerArithChecker.cpp140 if (isa<SymbolicRegion>(Region))
H A DMallocChecker.cpp1539 const SymbolicRegion *R =
1540 dyn_cast_or_null<SymbolicRegion>(RetVal.getAsRegion());
1818 const SymbolicRegion *SrBase = dyn_cast<SymbolicRegion>(R->getBaseRegion());
2756 if (const SymbolicRegion *BMR =
2757 dyn_cast<SymbolicRegion>(MR->getBaseRegion()))
H A DValistChecker.cpp180 IsSymbolic = Reg && Reg->getAs<SymbolicRegion>();
H A DGenericTaintChecker.cpp760 const SymbolicRegion *SymReg = dyn_cast_or_null<SymbolicRegion>(MemReg);
H A DMoveChecker.cpp265 if (const auto *SR = dyn_cast_or_null<SymbolicRegion>(MR)) {
H A DLocalizationChecker.cpp959 const SymbolicRegion *SymReg =
960 dyn_cast_or_null<SymbolicRegion>(sv.getAsRegion());
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DSVals.cpp53 if (const auto *SR = dyn_cast<SymbolicRegion>(R)) {
92 if (const SymbolicRegion *SymR = IncludeBaseRegions ?
94 dyn_cast<SymbolicRegion>(R->StripCasts()))
110 if (const auto *SymR = dyn_cast<SymbolicRegion>(SR))
H A DStore.cpp86 if (isa<CodeTextRegion>(R) || isa<SymbolicRegion>(R))
287 dyn_cast<SymbolicRegion>(AlreadyDerivedReg->getSuperRegion()))
309 if (const auto *SR = dyn_cast<SymbolicRegion>(MR))
382 if (const auto *SR = dyn_cast<SymbolicRegion>(MR)) {
429 if (const auto *SR = dyn_cast_or_null<SymbolicRegion>(V.getAsRegion())) {
H A DMemRegion.cpp203 DefinedOrUnknownSVal SymbolicRegion::getExtent(SValBuilder &svalBuilder) const {
323 void SymbolicRegion::ProfileRegion(llvm::FoldingSetNodeID& ID, SymbolRef sym,
330 void SymbolicRegion::Profile(llvm::FoldingSetNodeID& ID) const {
331 SymbolicRegion::ProfileRegion(ID, sym, getSuperRegion());
526 void SymbolicRegion::dumpToStream(raw_ostream &os) const {
1023 const SymbolicRegion *MemRegionManager::getSymbolicRegion(SymbolRef sym) {
1024 return getSubRegion<SymbolicRegion>(sym, getUnknownRegion());
1027 const SymbolicRegion *MemRegionManager::getSymbolicHeapRegion(SymbolRef Sym) {
1028 return getSubRegion<SymbolicRegion>(Sym, getHeapRegion());
1219 const SymbolicRegion *MemRegio
[all...]
H A DRegionStore.cpp1136 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(baseR))
1147 if (isa<AllocaRegion>(baseR) || isa<SymbolicRegion>(baseR)) {
1236 if (R && isa<SymbolicRegion>(R))
1474 else if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(MR))
1578 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R))
2187 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(
[all...]
H A DDynamicType.cpp51 if (const auto *SR = dyn_cast<SymbolicRegion>(MR)) {
H A DProgramState.cpp599 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R))
H A DSimpleSValBuilder.cpp160 if (const SymbolicRegion *SymR = R->getSymbolicBase())
1003 ((!isa<SymbolicRegion>(LeftBase) && !isa<SymbolicRegion>(RightBase)) ||
H A DSymbolManager.cpp437 if (const auto *SR = dyn_cast<SymbolicRegion>(MR))
H A DBugReporterVisitors.cpp2043 if (const auto *SR = L->getRegionAs<SymbolicRegion>()) {
2068 if (RegionRVal && isa<SymbolicRegion>(RegionRVal)) {
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/
H A DSValExplainer.h37 bool isThisObject(const SymbolicRegion *R) {
58 if (auto SR = dyn_cast<SymbolicRegion>(R)) {
140 std::string VisitSymbolicRegion(const SymbolicRegion *R) {
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DMemRegion.h58 class SymbolicRegion;
133 const SymbolicRegion *getSymbolicBase() const;
759 /// SymbolicRegion - A special, "non-concrete" region. Unlike other region
760 /// classes, SymbolicRegion represents a region that serves as an alias for
764 class SymbolicRegion : public SubRegion { class in namespace:clang::ento
769 SymbolicRegion(const SymbolRef s, const MemSpaceRegion *sreg) function in class:clang::ento::SymbolicRegion
1314 const SymbolicRegion* getSymbolicRegion(SymbolRef Sym);
1317 const SymbolicRegion *getSymbolicHeapRegion(SymbolRef sym);
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountChecker.cpp1194 if (const SymbolicRegion *SR = I->StripCasts()->getAs<SymbolicRegion>())

Completed in 309 milliseconds

12