https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119614

--- Comment #11 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
And further
struct S {} b;
char *foo ();
int e, g;
void bar ();
void corge (S);

[[gnu::noinline]] char *
baz ()
{
  bar ();
  return 0;
}

const char *
qux ()
{
  if (e)
    {
      S a = b;
      corge (a);
      if (g)
        return 0;
      [[gnu::musttail]] return baz ();
    }
  return foo ();
}

Reply via email to