[hagreet]

Can somebody explain what the optimizations are that this enables?

Of course you can optimize away the checks but that doesn't count in my world because people put in these checks to make sure there is no overflow and optimizing them away is just wrong.

But I am sure there are other interesting optimizations that this allows and since I am generally against UB I am curious what those are.