Why is this an issue?

A case statement with an enum type condition and a default label does not include items that cover every enumerand.

How to fix it

Code examples

Noncompliant code example

module fly;
  enum {A, B} e;
  initial begin
    case (e)
      A: ;
      default: ;
    endcase
  end
endmodule

Compliant solution

module fly;
  enum {A, B} e;
  initial begin
    case (e)
      A: ;
      B: ;
    endcase
  end
endmodule

Resources

Related rules

• A case statement with an enum type condition should cover every enumerand, unless there is a 'default' label