Searched refs:CHECK_UPPER_BOUND (Results 1 – 8 of 8) sorted by relevance
43 CHECK_UPPER_BOUND enumerator438 : CHECK_UPPER_BOUND); in chkp_fill_check_info()569 if (ci->type == CHECK_UPPER_BOUND) in chkp_get_check_result()613 if (ci->type == CHECK_UPPER_BOUND) in chkp_get_check_result()666 || (ci->type == CHECK_UPPER_BOUND && sign > 0) in chkp_get_check_result()