This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug c++/32081] Conflicting exception specifications not rejected in template specialization
- From: "andrew dot stubbs at st dot com" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 25 May 2007 10:21:25 -0000
- Subject: [Bug c++/32081] Conflicting exception specifications not rejected in template specialization
- References: <bug-32081-10252@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Comment #1 from andrew dot stubbs at st dot com 2007-05-25 11:21 -------
This problem may also be observed in explicit instantiation:
template <class T>
void
foo (T) throw (int)
{
}
template
void foo (short) throw (short);
There are also similar issues with declarations of pointers to functions, and
pointers to member functions:
extern void (*foo)() throw (int);
extern void (*foo)() throw (short);
class C;
extern void (C::*bar)() throw (int);
extern void (C::*bar)() throw (short);
All these examples are silently accepted.
The function pointer issues may be related to PR12255
Perhaps somebody who can should change the title of this bug to include
function pointers.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32081