https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95076 --- Comment #3 from H.J. Lu <hjl.tools at gmail dot com> --- This ia32 psABI return value discussion also applies here: https://groups.google.com/forum/#!searchin/ia32-abi/return$20value%7Csort:date/ia32-abi/9H4BBrIdkmk/sjWw06ZPnS4J