Reports code that can never be executed, which almost certainly indicates an error