...
GCC Compiler Version 4.4.0 can detect violations of this recommendation when the -Wunreachable-code flag is used.
Klocwork Version 8.0.4.16 can detect violations of this rule with the LV_UNUSED.DEADGEN, PAVA_UNUSED.DEAD, UNREACH.BREAK, UNREACH.GEN, UNREACH.RETURN, * and UNREACH.RETURN0* checkers. See Klocwork Cross Reference
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...