| /external/clang/lib/StaticAnalyzer/Checkers/ |
| ArrayBoundChecker.cpp | 59 = C.getStoreManager().getSizeInElements(state, ER->getSuperRegion(),
|
| ReturnPointerRangeChecker.cpp | 59 = C.getStoreManager().getSizeInElements(state, ER->getSuperRegion(),
|
| ArrayBoundCheckerV2.cpp | 79 region = cast<SubRegion>(region)->getSuperRegion();
296 region = elemReg->getSuperRegion();
|
| PointerArithChecker.cpp | 125 Region = Region->getAs<CXXBaseObjectRegion>()->getSuperRegion();
129 Region = Region->getAs<ElementRegion>()->getSuperRegion();
|
| ObjCSuperDeallocChecker.cpp | 159 R = SR->getSuperRegion();
|
| CheckObjCDealloc.cpp | 525 if (SelfRegion != IvarRegion->getSuperRegion())
628 IvarRegion->getSuperRegion())
[all...] |
| NullabilityChecker.cpp | 301 return dyn_cast<SymbolicRegion>(FieldReg->getSuperRegion());
303 return dyn_cast<SymbolicRegion>(ElementReg->getSuperRegion());
[all...] |
| CStringChecker.cpp | 296 const SubRegion *superReg = cast<SubRegion>(ER->getSuperRegion());
[all...] |
| MallocChecker.cpp | [all...] |
| /external/clang/include/clang/StaticAnalyzer/Checkers/ |
| SValExplainer.h | 170 OS << " of " + Visit(R->getSuperRegion());
191 Visit(R->getSuperRegion());
201 "' inside " + Visit(R->getSuperRegion());
|
| /external/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| MPIChecker.cpp | 37 if (!isa<TypedRegion>(MR) || (ER && !isa<TypedRegion>(ER->getSuperRegion())))
66 if (!isa<TypedRegion>(MR) || (ER && !isa<TypedRegion>(ER->getSuperRegion())))
155 SuperRegion = ER->getSuperRegion();
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| MemRegion.cpp | 39 MemRegionManagerTrait<RegionTy>::getSuperRegion(*this, a1);
77 MemRegionManagerTrait<RegionTy>::getSuperRegion(*this, a1, a2);
146 const MemRegion* r = getSuperRegion();
151 r = sr->getSuperRegion();
161 const MemRegion *superRegion = r->getSuperRegion();
340 SymbolicRegion::ProfileRegion(ID, sym, getSuperRegion());
392 BlockDataRegion::ProfileRegion(ID, BC, LC, BlockCount, getSuperRegion());
403 ProfileRegion(ID, Ex, getSuperRegion());
659 R = ER->getSuperRegion();
[all...] |
| Store.cpp | 331 MR = BaseR->getSuperRegion();
475 ElemR->getSuperRegion(),
487 const MemRegion *ArrayR = ElemR->getSuperRegion();
|
| SimpleSValBuilder.cpp | 548 if (LeftFR->getSuperRegion() != RightFR->getSuperRegion())
777 if (LeftER->getSuperRegion() == RightER->getSuperRegion() &&
[all...] |
| SVals.cpp | 97 R = SR->getSuperRegion();
|
| RegionStore.cpp | 420 SR->getSuperRegion()->getAsOffset().getOffset() &&
766 R = cast<SubRegion>(R)->getSuperRegion();
[all...] |
| ProgramState.cpp | 600 const MemRegion *Super = SR->getSuperRegion();
711 return isTainted(ER->getSuperRegion(), K) || isTainted(ER->getIndex(), K);
717 return isTainted(ER->getSuperRegion(), K);
|
| SymbolManager.cpp | 399 SR = dyn_cast<SubRegion>(SR->getSuperRegion())) {
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| MemRegion.h | 417 const MemRegion* getSuperRegion() const {
[all...] |
