http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56434
--- Comment #10 from Chip Salzenberg <chip at pobox dot com> 2013-03-22 20:20:11 UTC --- Thanks muchly. Then MALLOC_ABI_ALIGNMENT will need fixing, as Jakub observes, but that needed to happen anyway.