Fixed #5707 (false negative: unreachable code is not detected (code after return))