[Iverilog-devel] Priority case and default case items.

[Stephen W. <st...@ic...>]

Here's a question. There is this:

priority case (foo)
 1: stmt1;
 2: stmt2;
 default: stmt_default;
endcase

The priority case "shall issue a violation report if no case_item matches."

The default: statement makes it so that every possible value of foo
has a case item, if the "default" case is considered a case item, and
by the BNF, it is indeed a case_item. But the "default:" makes the
"priority" moot. So should this print a violation message or not?

(I'm thinking, it should not, but a compile time warning may make
sense. But I can see logic for the other course too.)

-- 
Steve Williams                "The woods are lovely, dark and deep.
st...@ic...              But I have promises to keep,
http://www.icarus.com         and lines to code before I sleep,
http://www.picturel.com       And lines to code before I sleep."