Lines Matching refs:sizeTy
193 QualType sizeTy = svalBuilder.getArrayIndexType();194 return svalBuilder.makeIntVal(size.getQuantity(), sizeTy);