https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61754
--- Comment #6 from Daniel Krügler <daniel.kruegler at googlemail dot com> --- (In reply to Martin Sebor from comment #5) > Would the solution described in bug 79078 comment 14 do what you're looking > for? Yes, that sounds plausible. But I'm just wondering: Don't you consider the current attribute behaviour reasonable enough to make [[deprecated]] behave equivalent? This would solve the problem more directly and is presumably easier to understand from a user perspective.