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

--- Comment #9 from Iain Sandoe <iains at gcc dot gnu.org> ---
(In reply to Iain Sandoe from comment #6)
> (In reply to Alfie Richards from comment #5)


> Do we have a test case that exercises that problematical scenario?

If we do:

int foo [[gnu::preserve_none]] (int, ...);

....

__attribute__((noipa, noinline))
int foo [[VEND::preserve_none]] (int a, ...)
{
  va_list args;
  va_start(args, a);
...
}

It seems we then generate wrong code .. so we do have something of a similar
issue to the original clang one.

Reply via email to