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.