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