http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51124
--- Comment #13 from Patrick Marlier <patrick.marlier at gmail dot com> 2012-01-09 15:22:45 UTC --- As posted here http://gcc.gnu.org/ml/gcc-patches/2011-12/msg01804.html, GCC explicitly change the calling convention to stdcall when variable arguments in x86/32 bits mode. So I am sure a calling convention document specifies that even if I cannot find it.
