https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77405
--- Comment #29 from John Marino <gnugcc at marino dot st> --- The DFly malloc returned an 8-byte aligned chunk because the requested structural size was not 16-byte aligned. However, we agree that any allocation >= 16 bytes should probably be 16-byte aligned. I tested a patch that aligns 15 and few bytes at 8 and everything else at 16. With that patch, gcc-7 with Ada front-end builds successfully. We'll push that patch to the master branch and the current release.
