check_insn_idx_valid
if (!check_insn_idx_valid(ctx, get_index_for_insn(ctx, insn))) {
if (!check_insn_idx_valid(ctx, get_target_index_for_insn(ctx, insn))) {
BUG_ON(!offsets_available(ctx) || !check_insn_idx_valid(ctx, idx));
BUG_ON(!offsets_available(ctx) || !check_insn_idx_valid(ctx, tidx));