SCEV: Cast switched values to make -Wswitch more useful.