Home
last modified time | relevance | path

Searched refs:getElementRegion (Results 1 – 6 of 6) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
DStore.cpp48 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()
DRegionStore.cpp1342 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()
DSimpleSValBuilder.cpp922 return loc::MemRegionVal(MemMgr.getElementRegion(elementType, *indexV, in evalBinOpLN()
DMemRegion.cpp961 MemRegionManager::getElementRegion(QualType elementType, NonLoc Idx, in getElementRegion() function in MemRegionManager
/external/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
DMPIChecker.cpp172 const ElementRegion *const ER = RegionManager->getElementRegion( in allRegionsUsedByWait()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DMemRegion.h1211 const ElementRegion *getElementRegion(QualType elementType, NonLoc Idx,
1217 return getElementRegion(ER->getElementType(), ER->getIndex(), in getElementRegionWithSuper()