A switch statement without an enclosed break statement may be a bug.