------- 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