http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53752
--- Comment #6 from Jason Merrill <jason at gcc dot gnu.org> 2012-06-25 17:36:18 UTC --- (In reply to comment #4) > We mangle an array with TYPE_DOMAIN [0, UINT_MAX], so it has UINT_MAX + 1 > number of elements. Well, since that's how we represent an array of length 0, we need to mangle it as 0. This testcase isn't creating an array of length UINT_MAX+1, it's creating an array of length 0.
