[Bug c++/11613] New: attribute unused after label causes error with g++

["jsaw at gmx dot net" <gcc-bugzilla at gcc dot gnu dot org>]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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

           Summary: attribute unused after label causes error with g++
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: jsaw at gmx dot net
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: i686-pc-linux-gnu
  GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu

The attribute "unused" after a jump label is not understood
by the C++ compiler.

The following simple test program compiles fine with gcc, 
while g++ fails with error:

int main() { 
unused_label: __attribute__((unused))
return 0;
}


Compiler versions tested: 2.95.3, 3.2.3, 3.3