[Bug c++/12255] New: exception-specifications unchecked during assignment of pointer to function

[stefaandr at hotmail dot com]

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

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

           Summary: exception-specifications unchecked during assignment of
                    pointer to function
           Product: gcc
           Version: 3.3.1
            Status: UNCONFIRMED
          Severity: enhancement
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: stefaandr at hotmail dot com
                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 example code in C++-standard [except.spec] (15.4), end of paragraph 3 does
compile though it shouldn't.  Might be nice to be able to rely on, though I
don't have the feeling many people are in dire need for this :)

class A { /* ... */ };
void (*pf1)();
void (*pf2)() throw(A);
void f()
{
        pf2 = pf1;
};