Why is there dead code after this return statement?