Check rule Core_Chk055

From emotive
Jump to: navigation, search

Classification

Name Core_Chk055
Class Core
Severity Critical
SpecifiedBy ISO 13209-3

Description

Nodes in a procedure to which there is no path through the control flow should not be allowed.