David Majnemer

I don't think the MS ABI really works with aligned byval arguments. For: ``` struct __declspec(align(8)) S {}; void f(S); void g() { f(S()); } ``` Clang generates: ``` target...

MSVC won't compile my example. Instead, it will issue error C2719: > 'unnamed-parameter': formal parameter with requested alignment of 8 won't be aligned https://msdn.microsoft.com/en-us/library/373ak2y1.aspx

Would `inalloca` work? `inalloca` allows you to manually create the argument stack space using an alloca. The alloca's alignment would be appropriately aligned.

@kinke What happens with GDC/DMD with the following: ``` struct __declpsec(align(32)) S { char x[32]; }; void f(S s, true); void g() { f(S(), true); } ``` I'd guess the...