1
Vote

confused death on fallthrough of case statement with default

description

The following causes confused death:

include <vcc.h>

_(datatype List {
case Nil();
case Cons(int x, List tail);
})

_(ghost void test() {
List l;
switch (l) {
case Nil(): break;
default: break;
}
})

comments

Sign in to add a comment or to set email notifications