Home
last modified time | relevance | path

Searched refs:elemReg (Results 1 – 2 of 2) sorted by relevance

/external/clang/lib/StaticAnalyzer/Checkers/
DArrayBoundCheckerV2.cpp274 const ElementRegion *elemReg = cast<ElementRegion>(region); in computeOffset() local
275 SVal index = elemReg->getIndex(); in computeOffset()
278 QualType elemType = elemReg->getElementType(); in computeOffset()
296 region = elemReg->getSuperRegion(); in computeOffset()
/external/clang/lib/StaticAnalyzer/Core/
DSimpleSValBuilder.cpp906 if (const ElementRegion *elemReg = dyn_cast<ElementRegion>(region)) { in evalBinOpLN() local
908 index = evalBinOpNN(state, op, elemReg->getIndex(), rhs, in evalBinOpLN()
910 superR = elemReg->getSuperRegion(); in evalBinOpLN()
911 elementType = elemReg->getElementType(); in evalBinOpLN()