https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113467
--- Comment #1 from Sam James <sjames at gcc dot gnu.org> --- Created attachment 57129 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=57129&action=edit mpi-add.o (miscompiled) The bad object is mpi-add.o, specifically _gcry_mpi_add_ui in there (verified with optimize pragmas).