------- Comment #13 from rguenth at gcc dot gnu dot org 2008-01-27 12:48 ------- If a function isn't marked nothrow and the function can be overridden by a shared library (that is, it doesn't bind locally), the compiler cannot derive such property from its body.
(I didn't look at the tests, but usually marking the affected functions nothrow or making them bind locally works around this problem). -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=26099
