Rule M0-1-2 (required, implementation, automated)
A project shall not contain infeasible paths.
See MISRA C++ 2008 [7]
Note: A path can also be infeasible because of a call to constexpr function which returned value, known statically, will never fulfill the condition of a condition statement.