Searched refs:convertToArrayIndex (Results 1 – 5 of 5) sorted by relevance
230 SVal convertToArrayIndex(SVal val);
454 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()
286 svalBuilder.convertToArrayIndex(superReg->getExtent(svalBuilder)); in CheckLocation()