| /external/clang/lib/StaticAnalyzer/Checkers/ |
| ArrayBoundChecker.cpp | 58 = C.getStoreManager().getSizeInElements(state, ER->getSuperRegion(),
|
| ReturnPointerRangeChecker.cpp | 58 = C.getStoreManager().getSizeInElements(state, ER->getSuperRegion(),
|
| ArrayBoundCheckerV2.cpp | 79 region = cast<SubRegion>(region)->getSuperRegion();
307 region = elemReg->getSuperRegion();
|
| CStringChecker.cpp | 288 const SubRegion *superReg = cast<SubRegion>(ER->getSuperRegion());
825 R = ER->getSuperRegion();
[all...] |
| RetainCountChecker.cpp | [all...] |
| /external/clang/lib/StaticAnalyzer/Core/ |
| MemRegion.cpp | 39 MemRegionManagerTrait<RegionTy>::getSuperRegion(*this, a1);
78 MemRegionManagerTrait<RegionTy>::getSuperRegion(*this, a1, a2);
149 const MemRegion* r = getSuperRegion();
154 r = sr->getSuperRegion();
164 const MemRegion *superRegion = r->getSuperRegion();
338 SymbolicRegion::ProfileRegion(ID, sym, getSuperRegion());
388 BlockDataRegion::ProfileRegion(ID, BC, LC, getSuperRegion());
399 ProfileRegion(ID, Ex, getSuperRegion());
852 R = SR->getSuperRegion();
887 R = cast<SubRegion>(R)->getSuperRegion();
[all...] |
| Store.cpp | 324 ElemR->getSuperRegion(),
336 const MemRegion *ArrayR = ElemR->getSuperRegion();
|
| SimpleSValBuilder.cpp | 748 if (LeftER->getSuperRegion() == RightER->getSuperRegion() &&
822 if (LeftFR->getSuperRegion() != RightFR->getSuperRegion())
[all...] |
| RegionStore.cpp | 189 const MemRegion *superR = R->getSuperRegion();
[all...] |
| SVals.cpp | 91 R = SR->getSuperRegion();
|
| SimpleConstraintManager.cpp | 97 SubR = dyn_cast<SubRegion>(SubR->getSuperRegion());
|
| ProgramState.cpp | 568 if (!scan(SR->getSuperRegion()))
669 return isTainted(ER->getSuperRegion(), K) || isTainted(ER->getIndex(), K);
675 return isTainted(ER->getSuperRegion(), K);
|
| ExprEngineCallAndReturn.cpp | 351 const MemRegion *superReg = ER->getSuperRegion();
|
| BugReporterVisitors.cpp | 341 R = dyn_cast<SubRegion>(R->getSuperRegion());
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| MemRegion.h | 381 const MemRegion* getSuperRegion() const {
[all...] |
