[Bug rtl-optimization/56434] document that __attribute__((__malloc__)) assumes returned pointer has BIGGEST_ALIGNMENT

[chip at pobox dot com]

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.