On 27/07/17 07:58, Jeffrey Walton wrote: > Sorry to dig up an old thread. This looks like a known bug that's kind > of being worked on: "C Compilers Disprove Fermat’s Last Theorem", > https://blog.regehr.org/archives/140. I don't see any connection. -- Andrew Haley Java Platform Lead Engineer Red Hat UK Ltd. <https://www.redhat.com> EAC8 43EB D3EF DB98 CC77 2FAD A5CD 6035 332F A671