AutosarC++17_10-M0.1.2

A project shall not contain infeasible paths

Required inputs: IR, StaticSemanticAnalysis

This check detects conditions that always evaluate to true (or false), meaning that either the then-branch or else-branch is dead.

Note

For legal reasons, this rule’s description is not part of the public documentation.