https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112958
--- Comment #4 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- Someone motivated enough should add a specific libgnat/s-dorepr__freebsd.adb unit where Rep64 is an array of two Interfaces.Unsigned_64 and the AND operation on line 88 is performed on the first component.
