presently , any basic block ending in an instruction with a result needs to have a unique successor . this appies only to the block between the switch instruction and the return in this case . concode_field_sep PlaceHolder placeHolder concode_field_sep void edgeSplitMoveException concode_elem_sep void voidFunction concode_elem_sep int edgeSplitPredTest
int function ( int arg0 ) { int loc0 = 0 ; switch ( arg0 ) { case 1 : loc0 ++ ; break ; case 2 : loc0 ++ ; break ; case 3 : loc0 ++ ; break ; } return loc0 ; }