https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120460
--- Comment #6 from Jonathan Wakely <redi at gcc dot gnu.org> --- That's Bug 43167, which is separate from whether [[nodiscard]] should be affected by system headers.
redi at gcc dot gnu.org via Gcc-bugs Thu, 04 Dec 2025 05:37:42 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120460
--- Comment #6 from Jonathan Wakely <redi at gcc dot gnu.org> --- That's Bug 43167, which is separate from whether [[nodiscard]] should be affected by system headers.