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