/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 | 77 region = cast<SubRegion>(region)->getSuperRegion(); 288 region = elemReg->getSuperRegion();
|
CStringChecker.cpp | 266 const SubRegion *superReg = cast<SubRegion>(ER->getSuperRegion()); 783 R = ER->getSuperRegion(); [all...] |
RetainCountChecker.cpp | [all...] |
/external/clang/lib/StaticAnalyzer/Core/ |
MemRegion.cpp | 37 MemRegionManagerTrait<RegionTy>::getSuperRegion(*this, a1); 76 MemRegionManagerTrait<RegionTy>::getSuperRegion(*this, a1, a2); 147 const MemRegion* r = getSuperRegion(); 152 r = sr->getSuperRegion(); 162 const MemRegion *superRegion = r->getSuperRegion(); 311 SymbolicRegion::ProfileRegion(ID, sym, getSuperRegion()); 361 BlockDataRegion::ProfileRegion(ID, BC, LC, getSuperRegion()); 372 ProfileRegion(ID, Ex, getSuperRegion()); 740 R = SR->getSuperRegion(); 775 R = cast<SubRegion>(R)->getSuperRegion(); [all...] |
Store.cpp | 320 ElemR->getSuperRegion(), 332 const MemRegion *ArrayR = ElemR->getSuperRegion();
|
RegionStore.cpp | 188 const MemRegion *superR = R->getSuperRegion(); [all...] |
SimpleSValBuilder.cpp | 719 if (LeftER->getSuperRegion() == RightER->getSuperRegion() && 793 if (LeftFR->getSuperRegion() != RightFR->getSuperRegion()) 904 superR = elemReg->getSuperRegion(); [all...] |
ExprEngineCallAndReturn.cpp | 123 const MemRegion *superReg = ER->getSuperRegion();
|
SimpleConstraintManager.cpp | 99 SubR = dyn_cast<SubRegion>(SubR->getSuperRegion());
|
SVals.cpp | 88 R = SR->getSuperRegion();
|
BugReporterVisitors.cpp | 352 R = dyn_cast<SubRegion>(R->getSuperRegion());
|
ProgramState.cpp | 586 if (!scan(SR->getSuperRegion()))
|
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
MemRegion.h | 298 const MemRegion* getSuperRegion() const { [all...] |