def is_arc_unhandled_exc_reraise(src, arc):
    """
  Track jumps predicated on a preceding COMPARE_OP performing 'exception match'.
  The failure branch treated as optional, because all possible exceptions are not usually covered.
  """
    return src.is_exc_match_jmp_src and arc[0
        ].is_exc_match_jmp_dst or src.is_exc_match_jmp_dst
