https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61985
--- Comment #1 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- I'm afraid I can't tell what you think the bug here is. You make a true statement about C11 - that's not a bug report. You give some C code - that's not a bug report either. You don't say what GCC version or command-line options you use with the C code, or what you think GCC is doing wrong with that code, why you think that is wrong and what you think it should do instead.
