Le 29 déc. 2015 20:31, "Erik de Castro Lopo" <mle+la at mega-nerd.com> a écrit : > > Rafaël Carré wrote: > > > That would need a special case for Linux x32 which is x86_64 with 32 > > bits pointers > > It won't be wrong for x32, just sub-optimal. > > Please feel free to suggest a way to detect x32.