...
The Coverity Prevent Version 5.0 DEADCODE checker can detect the specific instance where Code can never be reached because of a logical contradiction or a dead 'default' in switch statement. The UNREACHABLE checker can detect the instances where Code block is unreachable because of the syntactic structure of the code.
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...