On 10/22/2013 12:00 PM, Jason Merrill wrote:
OK.
Jason
There is discussion about several bugs in gnu::deprecated upon which
this is based over on the libstdc++ list.
I could see where we are with those bugs in a week or two. Or just wait
until they are fixed.
OTOH, I don't think my patch would change one way or the other. I can't
see a reason we'd want [[gnu::deprecated]] and [[deprecated]] to differ.
It's just that [[deprecated]] wouldn't quite work the way it should
until the bugs are fixed.
What do you think?
Ed
