Rule M0-1-1 (required, implementation, automated)

A project shall not contain unreachable code.

See MISRA C++ 2008 [7]