Ah .. He expected it to reach the unreachable code? I thought that it did reach `return R`, which would be totally strange and could indeed be explained by a co

Ah .. He expected it to reach the unreachable code? I thought that it did reach `return R`, which would be totally strange and could indeed be explained by a compiler bug. (Or more likely, by side effects in the code between the two checks)