Searched refs:getElementRegion (Results 1 – 6 of 6) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | Store.cpp | 48 return MRMgr.getElementRegion(EleTy, idx, Base, svalBuilder.getContext()); in MakeElementRegion()
59 return MRMgr.getElementRegion(T, idx, R, Ctx); in GetElementZeroRegion()
455 return loc::MemRegionVal(MRMgr.getElementRegion(elementType, Offset, in getLValueElement()
474 return loc::MemRegionVal(MRMgr.getElementRegion(elementType, Offset, in getLValueElement()
488 return loc::MemRegionVal(MRMgr.getElementRegion(elementType, NewIdx, ArrayR, in getLValueElement()
|
| D | RegionStore.cpp | 1342 return loc::MemRegionVal(MRMgr.getElementRegion(T, ZeroIdx, R, Ctx)); in ArrayToPointer()
2093 const ElementRegion *ER = MRMgr.getElementRegion(ElementTy, Idx, R, Ctx); in bindArray()
2140 const ElementRegion *ER = MRMgr.getElementRegion(ElemType, Idx, R, Ctx); in bindVector()
|
| D | SimpleSValBuilder.cpp | 922 return loc::MemRegionVal(MemMgr.getElementRegion(elementType, *indexV, in evalBinOpLN()
|
| D | MemRegion.cpp | 961 MemRegionManager::getElementRegion(QualType elementType, NonLoc Idx, in getElementRegion() function in MemRegionManager
|
| /external/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| D | MPIChecker.cpp | 172 const ElementRegion *const ER = RegionManager->getElementRegion( in allRegionsUsedByWait()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | MemRegion.h | 1211 const ElementRegion *getElementRegion(QualType elementType, NonLoc Idx,
1217 return getElementRegion(ER->getElementType(), ER->getIndex(), in getElementRegionWithSuper()
|