in Code_Analysis/code_analysis_summary.cpp [126:152]
void dfa_sample(int shadow) {
Color cl1, cl2;
Color res = Color::White;
if (shadow)
cl1 = Color::Red, cl2 = Color::Blue;
else
cl1 = Color::Green, cl2 = Color::Yellow;
if (cl1 == Color::Red || cl2 == Color::Yellow)
res = Color::Blue;
else
res = Color::Green;
switch (res) {
case Color::Red:
break;
case Color::Blue:
break;
case Color::Green:
break;
case Color::Yellow:
break;
case Color::White:
break;
}
}