If a function definition is present, except.c:set_nothrow_function_flags marks functions as nothrow depending on analysis of the function definition. This is incorrect when the function does not bind locally (compare with other function analysis in PR tree-optimization/27781).
-- Summary: set_nothrow_function_flags does invalid analysis on weak functions Product: gcc Version: 4.2.0 Status: UNCONFIRMED Keywords: wrong-code, EH Severity: normal Priority: P3 Component: tree-optimization AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: amylaar at gcc dot gnu dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29323