Searched refs:ArrayIndexWidth (Results 1 – 2 of 2) sorted by relevance
77 const unsigned ArrayIndexWidth; variable
60 ArrayIndexWidth(context.getTypeSize(ArrayIndexTy)) {} in SValBuilder()125 if (I.getBitWidth() == ArrayIndexWidth && I.isSigned()) in convertToArrayIndex()