https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121023
Martin Jambor <jamborm at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Last reconfirmed| |2025-07-10
Ever confirmed|0 |1
--- Comment #2 from Martin Jambor <jamborm at gcc dot gnu.org> ---
A big (but probably reasonably sized hammer) approach is to disable any changes
to signatures of functions having a musttail call in them:
--- a/gcc/ipa-fnsummary.cc
+++ b/gcc/ipa-fnsummary.cc
@@ -3420,7 +3420,7 @@ compute_fn_summary (struct cgraph_node *node, bool early)
else
info->inlinable = tree_inlinable_function_p (node->decl);
- bool no_signature = false;
+ bool no_signature = cfun->has_musttail;
/* Type attributes can use parameter indices to describe them.
Special case fn spec since we can safely preserve them in
modref summaries. */
