https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79996
--- Comment #7 from Jonathan Wakely <redi at gcc dot gnu.org> --- (In reply to Eric Gallager from comment #6) > Well, I guess it's probably too late to go back on it now, but I thought > warnings enabled by default weren't supposed to have any false positives, > and this is a false positive. Arguably it's not. Arguably the bug is that the attribute should cause a warning, so this is a false negative for -Wignored-attributes not a false positive for -Wreturn-type. If the attribute doesn't affect the template parameter then it isn't calling a noreturn function, and the warning is correct.