def inf_loop_multiple_back_edge(rec):
    """
    test to reveal bug of invalid liveness when infinite loop has multiple
    backedge.
    """
    while True:
        rec.mark("yield")
        yield
        p = rec('p')
        if p:
            rec.mark('bra')
            pass

    test to reveal bug of invalid liveness when infinite loop has multiple
    backedge.
    
numba/tests/test_obj_lifetime.py