Al Viro wrote:- > > sparse simply doesn't check that. We don't have anything resembling > support of VLA. Note that check for integer constant expression > has nothing to do with that; > > int x[(int)(0.6 + 0.6)]; > > is valid (if stupid). It isn't valid; it fails the test twice. Both 0.6 are not "immediate operands of casts". Their sum is, but that's irrelevant. Therefore the dimension is not an ICE and a diagnostic is required. Neil. - To unsubscribe from this list: send the line "unsubscribe linux-sparse" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html