https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77405

--- Comment #24 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
> Your __gnat_malloc doesn't return memory aligned to 16 bytes.  This
> violates x86-64 psABI.

To be exhaustive, __gnat_malloc is just a wrapper around the system malloc.

Reply via email to