[pushed] c++: set TREE_NOTHROW after genericize
Checks
Commit Message
Tested x86_64-pc-linux-gnu, applying to trunk.
-- >8 --
genericize might introduce function calls (and does on the contracts
branch), so it's safer to set this flag later.
gcc/cp/ChangeLog:
* decl.cc (finish_function): Set TREE_NOTHROW later in the function.
---
gcc/cp/decl.cc | 16 ++++++++--------
1 file changed, 8 insertions(+), 8 deletions(-)
base-commit: 6a1f27f45e44bcfbcc06a1aad74bb076e56eda36
@@ -17867,14 +17867,6 @@ finish_function (bool inline_p)
finish_fname_decls ();
- /* If this function can't throw any exceptions, remember that. */
- if (!processing_template_decl
- && !cp_function_chain->can_throw
- && !flag_non_call_exceptions
- && !decl_replaceable_p (fndecl,
- opt_for_fn (fndecl, flag_semantic_interposition)))
- TREE_NOTHROW (fndecl) = 1;
-
/* This must come after expand_function_end because cleanups might
have declarations (from inline functions) that need to go into
this function's blocks. */
@@ -18099,6 +18091,14 @@ finish_function (bool inline_p)
&& !DECL_OMP_DECLARE_REDUCTION_P (fndecl))
cp_genericize (fndecl);
+ /* If this function can't throw any exceptions, remember that. */
+ if (!processing_template_decl
+ && !cp_function_chain->can_throw
+ && !flag_non_call_exceptions
+ && !decl_replaceable_p (fndecl,
+ opt_for_fn (fndecl, flag_semantic_interposition)))
+ TREE_NOTHROW (fndecl) = 1;
+
/* Emit the resumer and destroyer functions now, providing that we have
not encountered some fatal error. */
if (coro_emit_helpers)