Why is this an issue?

A case statement with an enum type condition does not include items that cover every enumerand. Note that this warning will not be issued if there is a default label.

How to fix it

Code examples

Noncompliant code example

module fly;
  enum {A, B} e;
  initial begin
    case (e)
      A: ;
    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 and a 'default' label should cover every enumerand