https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81841
--- Comment #12 from janus at gcc dot gnu.org --- (In reply to dbroemmel from comment #11) > I'm not sure this is the test you had in mind. Pretty much. In principle it would be nice to have a runtime check as well, but for a rejects-valid problem a compile-time check should also be sufficient (assuming the runtime part has worked earlier and was not broken). If you add a short ChangeLog entry and submit all of that to fort...@gcc.gnu.org (and gcc-patc...@gcc.gnu.org) for formal approval, you're pretty close to your first GCC contribution I would say ;) Note that in principle one needs a copyright assignment to contribute (see https://gcc.gnu.org/contribute.html), but for small changes that can be omitted, so you should be fine. I assume you don't have an svn account for the GCC servers, but I'll be happy to commit the patch for you (once approved). Thanks for your efforts!