...
This example, inspired by Fortify demonstrates how dead code can be introduced into a program. The second conditional statement, if (s) { may never evaluate true. It requires that condition be non-null, while on the only path where s can be assigned a non-null value there is a return statement.
...