Lines Matching refs:bad_insn