--------------------------------------------------------------------------- switch (x) { case 2: y = a; // <- this assignment is redundant case 3: y = b; // <- case 2 falls through and sets y twice } ---------------------------------------------------------------------------
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected