https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61877
--- Comment #6 from Michael Hudson-Doyle <michael.hudson at linaro dot org> --- Created attachment 33640 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=33640&action=edit my test cases I think the patch works because when the compiler sees a call to a variadic function, it generates a regular call with a slice as the last parameter. I'm attaching a test case that I wrote -- it passes with my patch and fails without it, so I think my patch has at last something going for it... It also seems the intel case is broken on this test case on mainline. If I hack it to take the ffi case, it works with my patch. Also 4.9 works, which confuses me a little -- I didn't think the intel code path had changed here (but haven't actually checked).