Comment by nikic

Division by zero is undefined behavior, so the compiler is free to assume that the b==false branch is unreachable.