Searched defs:has_exit (Results 1 – 2 of 2) sorted by relevance
580 bitmap may_exit, bitmap has_exit) in find_exits()1240 auto_bitmap has_exit; in find_invariants() local
581 bitmap may_exit, bitmap has_exit) in find_exits()1230 auto_bitmap has_exit; in find_invariants() local