...
This example, inspired by Fortify demonstrates how dead code can be introduced into a program. The second conditional statement, if (s) may will never evaluate true because it requires that s not be assigned NULL. However, the only path where s can be assigned a non-NULL value ends with a return statement.
...