Searched refs:is_oct_changed (Results 1 – 2 of 2) sorted by relevance
457 bool is_oct_changed = false; in add_constraint() local463 is_oct_changed = true; in add_constraint()484 is_oct_changed = true; in add_constraint()976 bool is_oct_changed = false; in refine_no_check() local982 is_oct_changed = true; in refine_no_check()1003 is_oct_changed = true; in refine_no_check()3892 bool is_oct_changed = false; in get_limiting_octagon() local3933 is_oct_changed = true; in get_limiting_octagon()3955 is_oct_changed = true; in get_limiting_octagon()4159 bool is_oct_changed = false; in CC76_narrowing_assign() local[all …]
71511 bool is_oct_changed = false;71517 is_oct_changed = true;71538 is_oct_changed = true;72030 bool is_oct_changed = false;72036 is_oct_changed = true;72057 is_oct_changed = true;74946 bool is_oct_changed = false;74987 is_oct_changed = true;75009 is_oct_changed = true;75213 bool is_oct_changed = false;[all …]