[Bug c++/5026] __attribute__ ((unused) seems misdocumented

[d.g.gorbachev at gmail dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=5026

--- Comment #19 from Dmitry Gorbachev <d.g.gorbachev at gmail dot com> 
2011-03-01 06:41:57 UTC ---
GCC documentation has been changed. __attribute__((unused)) on labels can be
used in C++ code since GCC version 4.5.0. This PR should be closed probably.