------- Comment #14 from pcarlini at suse dot de 2008-01-27 13:34 ------- (In reply to comment #13) > 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.
Thanks for the details. > (I didn't look at the tests, but usually marking the affected functions > nothrow or making them bind locally works around this problem). Well, the functions in those specific tests aren't marked no throw on purpose (we do have other tests for the no throw variants), because I was exactly testing that in some specific cases the C++ front-end is able to figure out by itself that the function doesn't really throw. All in all I'm now thinking that it's good to have such tests, we should only conditionalize the result of the tests on -fpic/PIC, I suppose we do have a macro for that?!? -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=26099
