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