https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91119
--- Comment #2 from Adhokshaj Mishra <me at adhokshajmishraonline dot in> --- (In reply to Andrew Pinski from comment #1) > No GCC is correct. There is another section which you missed made this code > invalid but no diagnostic is required. Can you please point to the section which makes this code invalid?