Searched refs:getSuperRegion (Results 1 - 14 of 14) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ArrayBoundChecker.cpp | 58 = C.getStoreManager().getSizeInElements(state, ER->getSuperRegion(),
|
| H A D | ReturnPointerRangeChecker.cpp | 58 = C.getStoreManager().getSizeInElements(state, ER->getSuperRegion(),
|
| H A D | ArrayBoundCheckerV2.cpp | 79 region = cast<SubRegion>(region)->getSuperRegion();
307 region = elemReg->getSuperRegion();
|
| H A D | CStringChecker.cpp | 287 const SubRegion *superReg = cast<SubRegion>(ER->getSuperRegion());
824 R = ER->getSuperRegion();
1906 MR = SR->getSuperRegion();
1927 Super = SR->getSuperRegion();
|
| H A D | RetainCountChecker.cpp | 2616 if (VR->getSuperRegion() == R) {
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| H A D | 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());
899 superRegion = Base->getSuperRegion();
948 R = SR->getSuperRegion();
[all...] |
| H A D | Store.cpp | 347 ElemR->getSuperRegion(),
359 const MemRegion *ArrayR = ElemR->getSuperRegion();
|
| H A D | SimpleSValBuilder.cpp | 730 if (LeftER->getSuperRegion() == RightER->getSuperRegion() &&
804 if (LeftFR->getSuperRegion() != RightFR->getSuperRegion())
916 superR = elemReg->getSuperRegion();
|
| H A D | SVals.cpp | 91 R = SR->getSuperRegion();
|
| H A D | SimpleConstraintManager.cpp | 97 SubR = dyn_cast<SubRegion>(SubR->getSuperRegion());
|
| H A D | RegionStore.cpp | 982 SR = R->getSuperRegion();
1160 GetLazyBinding(B, ER->getSuperRegion(), originalRegion);
1168 GetLazyBinding(B, FR->getSuperRegion(), originalRegion);
1183 GetLazyBinding(B, baseReg->getSuperRegion(), originalRegion);
1210 const MemRegion* superR = R->getSuperRegion();
1288 return getBindingForFieldOrElementCommon(store, R, Ty, R->getSuperRegion());
1363 superR = SR->getSuperRegion();
1403 const MemRegion *superR = R->getSuperRegion();
1919 cast<StackArgumentsSpaceRegion>(TR->getSuperRegion());
|
| H A D | ProgramState.cpp | 560 const MemRegion *Super = SR->getSuperRegion();
671 return isTainted(ER->getSuperRegion(), K) || isTainted(ER->getIndex(), K);
677 return isTainted(ER->getSuperRegion(), K);
|
| H A D | CallEvent.cpp | 173 const MemRegion *superReg = ER->getSuperRegion();
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | MemRegion.h | 408 const MemRegion* getSuperRegion() const { function in class:clang::ento::SubRegion
|
Completed in 457 milliseconds