Concretize gimple_switch_index and gimple_switch_index_ptr