http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56726
--- Comment #2 from Chip Salzenberg <chip at pobox dot com> 2013-03-25 21:35:19 UTC --- I'm a bit skeptical of that. Glibc malloc alignment is 2 * sizeof(void*), and void* in X32 is 32 bits. Unless X32 code uses the x86_64 libc, I am confused. PS: Hi, HJ