Comment by tyromaniac
3 days ago
I think I saw years ago that clang replaced a collatz impl with true. Why is it that the "forward progress garuntee" would let it do that?
3 days ago
I think I saw years ago that clang replaced a collatz impl with true. Why is it that the "forward progress garuntee" would let it do that?
You may think about this blog post from John Regehr about Fermat's Last Theorem: https://blog.regehr.org/archives/140
Thanks! Great read, and makes good sense.
For future readers his sequel post explains the specific cause.
https://blog.regehr.org/archives/161