http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51795
--- Comment #21 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-01-27 21:42:53 UTC --- Paolo, not Paulo, by the way. Sure, you are right, I didn't personally write these bits of random and for years I simply trusted the documentation which doesn't point to any restriction. Too bad. Anyway, for 4.7.0 we are simply going to static_assert the requirements. In general, as I already said, to be fully honest I don't consider the issue particularly serious, because LCG is a pretty poor generator anyway and sensible values of the constants (per the typedefs too) are already supported well. Thus for 4.8.0 I will welcome patches, or at some point I will get around working on the issue but I don't have it in my TODO list for the immediate future.
