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()
|