Searched refs:ElemLR (Results 1 – 1 of 1) sorted by relevance
128 const auto *ElemLR = dyn_cast<ElementRegion>(LR); in checkPreStmt() local131 if (!checkArrayBounds(C, B->getLHS(), ElemLR, RR)) in checkPreStmt()139 if (ElemLR && ElemRR) { in checkPreStmt()140 const MemRegion *SuperLR = ElemLR->getSuperRegion(); in checkPreStmt()