D Compilers Disprove Fermat’s Last Theorem

[Dukc]

On Monday, 17 May 2021 at 08:24:22 UTC, user1234 wrote:
> intersting but dmd -O does not disprove.
> Alos it's not about D, it's about backend optimizations, as 
> expalined in the article.

To be more accurate, dmd-compiled code enters infinite loop, just 
as it should. Printing "fermat's theorem has not been disproven" 
would be just as wrong as LDC behaviour.

It's surprising how so many backends can have the same optimizing 
bug even in 2021. Kudos for DMD doing the right thing.