[Bug c++/36870] __has_nothrow_constructor violates the ODR

[mmitchel at gcc dot gnu dot org]

------- Comment #11 from mmitchel at gcc dot gnu dot org  2008-07-18 22:52 -------
Paolo --

I agree; that seems the right fix.  I don't think this should depend on what
the compiler happens to be able to prove about the body of the function; it's
way too unstable in the face of optimization, different platforms, etc.  Unless
the standard gives us some algorithm for computing this, I think we should look
at the declaration and nothing more.

-- Mark


-- 


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