/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
H A D | PointerSubChecker.cpp | 57 if (isa<SymbolicRegion>(BaseLR) || isa<SymbolicRegion>(BaseRR))
|
H A D | Taint.cpp | 78 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 D | CastSizeChecker.cpp | 107 const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R);
|
H A D | DeleteWithNonVirtualDtorChecker.cpp | 69 const auto *DerivedClassRegion = MR->getBaseRegion()->getAs<SymbolicRegion>();
|
H A D | ObjCSuperDeallocChecker.cpp | 148 if (const SymbolicRegion *SymR = dyn_cast<SymbolicRegion>(SR)) {
|
H A D | NullabilityChecker.cpp | 184 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 D | MIGChecker.cpp | 136 const SymbolicRegion *SR = MR->getSymbolicBase();
|
H A D | PointerArithChecker.cpp | 140 if (isa<SymbolicRegion>(Region))
|
H A D | MallocChecker.cpp | 1539 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 D | ValistChecker.cpp | 180 IsSymbolic = Reg && Reg->getAs<SymbolicRegion>();
|
H A D | GenericTaintChecker.cpp | 760 const SymbolicRegion *SymReg = dyn_cast_or_null<SymbolicRegion>(MemReg);
|
H A D | MoveChecker.cpp | 265 if (const auto *SR = dyn_cast_or_null<SymbolicRegion>(MR)) {
|
H A D | LocalizationChecker.cpp | 959 const SymbolicRegion *SymReg = 960 dyn_cast_or_null<SymbolicRegion>(sv.getAsRegion());
|
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
H A D | SVals.cpp | 53 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 D | Store.cpp | 86 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 D | MemRegion.cpp | 203 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 D | RegionStore.cpp | 1136 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 D | DynamicType.cpp | 51 if (const auto *SR = dyn_cast<SymbolicRegion>(MR)) {
|
H A D | ProgramState.cpp | 599 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R))
|
H A D | SimpleSValBuilder.cpp | 160 if (const SymbolicRegion *SymR = R->getSymbolicBase()) 1003 ((!isa<SymbolicRegion>(LeftBase) && !isa<SymbolicRegion>(RightBase)) ||
|
H A D | SymbolManager.cpp | 437 if (const auto *SR = dyn_cast<SymbolicRegion>(MR))
|
H A D | BugReporterVisitors.cpp | 2043 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 D | SValExplainer.h | 37 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 D | MemRegion.h | 58 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 D | RetainCountChecker.cpp | 1194 if (const SymbolicRegion *SR = I->StripCasts()->getAs<SymbolicRegion>())
|