|3187 ↗||(On Diff #207449)|
Does this work recursively? For example, [5 x [0 x i32]]. It might be easier to just check the size of the type.
Actually, we should probably constant-fold [0 x i8] zeroinitializer etc., to [0 x i8] undef, since there isn't any actual data anyway. That would make this check unnecessary.