Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Core/
DStore.cpp48 return MRMgr.getElementRegion(EleTy, idx, Base, svalBuilder.getContext()); in MakeElementRegion()
70 return MRMgr.getElementRegion(T, idx, R, Ctx); in GetElementZeroRegion()
443 return loc::MemRegionVal(MRMgr.getElementRegion(elementType, Offset, in getLValueElement()
462 return loc::MemRegionVal(MRMgr.getElementRegion(elementType, Offset, in getLValueElement()
476 return loc::MemRegionVal(MRMgr.getElementRegion(elementType, NewIdx, ArrayR, in getLValueElement()
DRegionStore.cpp1139 return loc::MemRegionVal(MRMgr.getElementRegion(T, ZeroIdx, ArrayR, Ctx)); in ArrayToPointer()
1892 const ElementRegion *ER = MRMgr.getElementRegion(ElementTy, Idx, R, Ctx); in bindArray()
1939 const ElementRegion *ER = MRMgr.getElementRegion(ElemType, Idx, R, Ctx); in bindVector()
DSimpleSValBuilder.cpp934 return loc::MemRegionVal(MemMgr.getElementRegion(elementType, *indexV, in evalBinOpLN()
DMemRegion.cpp839 MemRegionManager::getElementRegion(QualType elementType, NonLoc Idx, in getElementRegion() function in MemRegionManager
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DMemRegion.h1192 const ElementRegion *getElementRegion(QualType elementType, NonLoc Idx,
1198 return getElementRegion(ER->getElementType(), ER->getIndex(), in getElementRegionWithSuper()