Searched refs:convertToArrayIndex (Results 1 – 5 of 5) sorted by relevance
235 SVal convertToArrayIndex(SVal val);
443 Offset = svalBuilder.convertToArrayIndex(Offset).castAs<NonLoc>(); in getLValueElement()
76 SVal SValBuilder::convertToArrayIndex(SVal val) { in convertToArrayIndex() function in SValBuilder
901 rhs = convertToArrayIndex(rhs).castAs<NonLoc>(); in evalBinOpLN()
299 svalBuilder.convertToArrayIndex(superReg->getExtent(svalBuilder)); in CheckLocation()882 svalBuilder.convertToArrayIndex(superReg->getExtent(svalBuilder)); in IsFirstBufInBound()