Searched defs:has_exit (Results 1 – 2 of 2) sorted by relevance
573 bitmap may_exit, bitmap has_exit) in find_exits()982 bitmap has_exit = BITMAP_ALLOC (NULL); in find_invariants() local
581 bitmap may_exit, bitmap has_exit) in find_exits()1231 auto_bitmap has_exit; in find_invariants() local