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