------- Additional Comments From mmitchel at gcc dot gnu dot org 2005-04-07 18:00 ------- Yes, I still think that we ought to declare this invalid code.
If a particular front end (e.g., Ada) wants to adjust the types of the array elements, etc., that's its business -- but the C/C++ front-ends should not. And the middle end should be able to expect that the size of the elements is at least as large as their alignments. I think that once we agree on this, actually issuing the error will be easy to do. And, once we agree, we should change this PR to accepts-invalid. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20794
