Reports code which can never be executed. Such code almost certainly represents a programming error