This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug c++/36870] __has_nothrow_constructor violates the ODR
- From: "paolo dot carlini at oracle dot com" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 18 Jul 2008 21:32:00 -0000
- Subject: [Bug c++/36870] __has_nothrow_constructor violates the ODR
- References: <bug-36870-1186@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Comment #4 from paolo dot carlini at oracle dot com 2008-07-18 21:31 -------
gosh, my memory vanishes. Yes, Andrew is right, we have already discussed this.
In my reading of the specifications (I don't think there are important news
here) the compiler may or may not be able to figure out that a special function
doesn't actually throw, depending on the context. In my (I would say, our)
reading of the specifications there is nothing enforcing this ODR rule here.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36870