(I feel sure I've reported this before but cannot find it.) Variables local to different cases of a switch statement have disjoint live ranges. That means it is in principle possible for each case to ...