in cpp/DFAchecks.cpp [26:51]
void Sample2(int flag) {
Color c;
switch (flag) {
case 0:
c = Color::Red;
break;
case 1:
c = Color::Blue;
break;
default:
c = Color::Green;
}
switch (c) {
case Color::Red:
break;
case Color::Blue:
break;
case Color::Green:
break;
case Color::Yellow:
break;
}
}