...
This example, inspired by Fortify demonstrates how dead code can be introduced into a program. Because s is set to NULL everything inside The second conditional statement, if (s) will never be executed{ 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.
...