Searched refs:getSuperRegion (Results 1 - 12 of 12) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ArrayBoundChecker.cpp | 59 = C.getStoreManager().getSizeInElements(state, ER->getSuperRegion(),
|
| H A D | ReturnPointerRangeChecker.cpp | 59 = C.getStoreManager().getSizeInElements(state, ER->getSuperRegion(),
|
| H A D | ArrayBoundCheckerV2.cpp | 79 region = cast<SubRegion>(region)->getSuperRegion();
306 region = elemReg->getSuperRegion();
|
| H A D | CStringChecker.cpp | 283 const SubRegion *superReg = cast<SubRegion>(ER->getSuperRegion());
836 R = ER->getSuperRegion();
2000 MR = SR->getSuperRegion();
2021 Super = SR->getSuperRegion();
|
| H A D | MallocChecker.cpp | 1351 MR = ER->getSuperRegion();
1950 if (VR->getSuperRegion() == R) {
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| H A D | MemRegion.cpp | 40 MemRegionManagerTrait<RegionTy>::getSuperRegion(*this, a1);
79 MemRegionManagerTrait<RegionTy>::getSuperRegion(*this, a1, a2);
150 const MemRegion* r = getSuperRegion();
155 r = sr->getSuperRegion();
165 const MemRegion *superRegion = r->getSuperRegion();
344 SymbolicRegion::ProfileRegion(ID, sym, getSuperRegion());
396 BlockDataRegion::ProfileRegion(ID, BC, LC, BlockCount, getSuperRegion());
407 ProfileRegion(ID, Ex, getSuperRegion());
1001 Super = Base->getSuperRegion();
1033 R = SR->getSuperRegion();
[all...] |
| H A D | Store.cpp | 342 MR = BaseR->getSuperRegion();
486 ElemR->getSuperRegion(),
498 const MemRegion *ArrayR = ElemR->getSuperRegion();
|
| H A D | SimpleSValBuilder.cpp | 548 if (LeftFR->getSuperRegion() != RightFR->getSuperRegion())
777 if (LeftER->getSuperRegion() == RightER->getSuperRegion() &&
910 superR = elemReg->getSuperRegion();
|
| H A D | SVals.cpp | 97 R = SR->getSuperRegion();
|
| H A D | RegionStore.cpp | 424 SR->getSuperRegion()->getAsOffset().getOffset() &&
780 R = cast<SubRegion>(R)->getSuperRegion();
1445 Result = findLazyBinding(B, cast<SubRegion>(ER->getSuperRegion()),
1452 Result = findLazyBinding(B, cast<SubRegion>(FR->getSuperRegion()),
1462 Result = findLazyBinding(B, cast<SubRegion>(BaseReg->getSuperRegion()),
1483 const MemRegion* superR = R->getSuperRegion();
1657 const MemRegion *Base = SR->getSuperRegion();
1683 dyn_cast<TypedValueRegion>(R->getSuperRegion())) {
1710 const MemRegion *superR = R->getSuperRegion();
2227 cast<StackArgumentsSpaceRegion>(TR->getSuperRegion());
[all...] |
| H A D | ProgramState.cpp | 600 const MemRegion *Super = SR->getSuperRegion();
711 return isTainted(ER->getSuperRegion(), K) || isTainted(ER->getIndex(), K);
717 return isTainted(ER->getSuperRegion(), K);
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | MemRegion.h | 421 const MemRegion* getSuperRegion() const { function in class:clang::ento::SubRegion
|
Completed in 129 milliseconds