Searched defs:may_exit (Results 1 – 2 of 2) sorted by relevance
553 bitmap may_exit, bitmap always_reached) in compute_always_reached()573 bitmap may_exit, bitmap has_exit) in find_exits()980 bitmap may_exit = BITMAP_ALLOC (NULL); in find_invariants() local
561 bitmap may_exit, bitmap always_reached) in compute_always_reached()581 bitmap may_exit, bitmap has_exit) in find_exits()1229 auto_bitmap may_exit; in find_invariants() local