https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111654
--- Comment #8 from Eric Gallager ---
(In reply to Julian Waters from comment #7)
> I recently stumbled upon -Wno-attributes, which can apparently take a
> parameter like -Wno-attributes=vendor:: and I think that's appropriate for
> this particu
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111654
--- Comment #7 from Julian Waters ---
I recently stumbled upon -Wno-attributes, which can apparently take a parameter
like -Wno-attributes=vendor:: and I think that's appropriate for this
particular situation. How does -Wno-invalid-noreturn,
-Wn
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111654
--- Comment #6 from Julian Waters ---
Sorry for the late reply, I was busy with certain things
Are we going with numeric invalid-noreturn or explicit-noreturn +
implicit-noreturn? I'm not to sure how to implement the latter, if we're going
with
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111654
Eric Gallager changed:
What|Removed |Added
CC||egallager at gcc dot gnu.org
--- Commen
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111654
--- Comment #4 from Manuel López-Ibáñez ---
(In reply to Julian Waters from comment #2)
> (In reply to Manuel López-Ibáñez from comment #1)
> Yeah, I did try submitting it to gcc-patches, but it simply went ignored for
> forever, so I decided to
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111654
--- Comment #3 from Sam James ---
It would be worth mentioning that then.
Anyway:
*
https://inbox.sourceware.org/gcc-patches/cap2b4gmq7btqtequuuok7ojt8p3kdbdvpudrmo_nt95wumw...@mail.gmail.com/
*
https://inbox.sourceware.org/gcc-patches/cap2b4gm
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111654
--- Comment #2 from Julian Waters ---
(In reply to Manuel López-Ibáñez from comment #1)
> (In reply to Julian Waters from comment #0)
> > Created attachment 56022 [details]
> > Patch to add invalid-noreturn to gcc
>
> Patches should be submitte
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111654
Manuel López-Ibáñez changed:
What|Removed |Added
CC||manu at gcc dot gnu.org
--- Comme
