On 9 November 2012 11:18, phi gcc wrote: > > Just wanted to precise that I was asking for x32 (x86 32 bits) not If you want to be precise then don't call it x32, that's something completely different: http://en.wikipedia.org/wiki/X32_ABI If you mean x86 then just say x86, or IA-32 in Intel-speak.
