Lines Matching refs:strict_overflow_p
864 usable_range_p (value_range_t *vr, bool *strict_overflow_p) in usable_range_p() argument
869 *strict_overflow_p = true; in usable_range_p()
875 *strict_overflow_p = true; in usable_range_p()
889 gimple_assign_nonnegative_warnv_p (gimple stmt, bool *strict_overflow_p) in gimple_assign_nonnegative_warnv_p() argument
898 strict_overflow_p); in gimple_assign_nonnegative_warnv_p()
904 strict_overflow_p); in gimple_assign_nonnegative_warnv_p()
909 strict_overflow_p); in gimple_assign_nonnegative_warnv_p()
923 gimple_call_nonnegative_warnv_p (gimple stmt, bool *strict_overflow_p) in gimple_call_nonnegative_warnv_p() argument
934 strict_overflow_p); in gimple_call_nonnegative_warnv_p()
943 gimple_stmt_nonnegative_warnv_p (gimple stmt, bool *strict_overflow_p) in gimple_stmt_nonnegative_warnv_p() argument
948 return gimple_assign_nonnegative_warnv_p (stmt, strict_overflow_p); in gimple_stmt_nonnegative_warnv_p()
950 return gimple_call_nonnegative_warnv_p (stmt, strict_overflow_p); in gimple_stmt_nonnegative_warnv_p()
962 gimple_assign_nonzero_warnv_p (gimple stmt, bool *strict_overflow_p) in gimple_assign_nonzero_warnv_p() argument
971 strict_overflow_p); in gimple_assign_nonzero_warnv_p()
977 strict_overflow_p); in gimple_assign_nonzero_warnv_p()
982 strict_overflow_p); in gimple_assign_nonzero_warnv_p()
996 gimple_stmt_nonzero_warnv_p (gimple stmt, bool *strict_overflow_p) in gimple_stmt_nonzero_warnv_p() argument
1001 return gimple_assign_nonzero_warnv_p (stmt, strict_overflow_p); in gimple_stmt_nonzero_warnv_p()
1013 vrp_stmt_computes_nonzero (gimple stmt, bool *strict_overflow_p) in vrp_stmt_computes_nonzero() argument
1015 if (gimple_stmt_nonzero_warnv_p (stmt, strict_overflow_p)) in vrp_stmt_computes_nonzero()
1117 compare_values_warnv (tree val1, tree val2, bool *strict_overflow_p) in compare_values_warnv() argument
1201 if (strict_overflow_p != NULL in compare_values_warnv()
1204 *strict_overflow_p = true; in compare_values_warnv()
1222 return compare_values_warnv (c1, c2, strict_overflow_p); in compare_values_warnv()
1238 return compare_values_warnv (c2, c1, strict_overflow_p); in compare_values_warnv()
1254 if (strict_overflow_p != NULL) in compare_values_warnv()
1255 *strict_overflow_p = true; in compare_values_warnv()
3572 bool *strict_overflow_p) in compare_ranges() argument
3608 if (compare_values_warnv (vr0->min, vr1->min, strict_overflow_p) == 0 in compare_ranges()
3609 && compare_values_warnv (vr0->max, vr1->max, strict_overflow_p) == 0) in compare_ranges()
3615 if (!usable_range_p (vr0, strict_overflow_p) in compare_ranges()
3616 || !usable_range_p (vr1, strict_overflow_p)) in compare_ranges()
3634 if (compare_values_warnv (vr0->min, vr0->max, strict_overflow_p) == 0 in compare_ranges()
3635 && compare_values_warnv (vr1->min, vr1->max, strict_overflow_p) == 0) in compare_ranges()
3638 strict_overflow_p); in compare_ranges()
3640 strict_overflow_p); in compare_ranges()
3648 strict_overflow_p) == 1 in compare_ranges()
3650 strict_overflow_p) == 1) in compare_ranges()
3664 cmp1 = compare_values_warnv (vr0->max, vr1->min, strict_overflow_p); in compare_ranges()
3665 cmp2 = compare_values_warnv (vr0->min, vr1->max, strict_overflow_p); in compare_ranges()
3672 strict_overflow_p) == 0 in compare_ranges()
3674 strict_overflow_p) == 0 in compare_ranges()
3676 strict_overflow_p) == 0 in compare_ranges()
3678 strict_overflow_p) == 0) in compare_ranges()
3690 tst = compare_values_warnv (vr0->max, vr1->min, strict_overflow_p); in compare_ranges()
3696 *strict_overflow_p = true; in compare_ranges()
3701 tst = compare_values_warnv (vr0->min, vr1->max, strict_overflow_p); in compare_ranges()
3707 *strict_overflow_p = true; in compare_ranges()
3729 bool *strict_overflow_p) in compare_range_with_value() argument
3752 if (!usable_range_p (vr, strict_overflow_p)) in compare_range_with_value()
3759 if (compare_values_warnv (vr->min, vr->max, strict_overflow_p) == 0) in compare_range_with_value()
3761 int cmp = compare_values_warnv (vr->min, val, strict_overflow_p); in compare_range_with_value()
3767 else if (compare_values_warnv (val, vr->min, strict_overflow_p) == -1 in compare_range_with_value()
3768 || compare_values_warnv (vr->max, val, strict_overflow_p) == -1) in compare_range_with_value()
3776 if (compare_values_warnv (vr->max, val, strict_overflow_p) == -1 in compare_range_with_value()
3777 || compare_values_warnv (vr->min, val, strict_overflow_p) == 1) in compare_range_with_value()
3782 if (compare_values_warnv (vr->min, vr->max, strict_overflow_p) == 0 in compare_range_with_value()
3783 && compare_values_warnv (vr->min, val, strict_overflow_p) == 0) in compare_range_with_value()
3794 tst = compare_values_warnv (vr->max, val, strict_overflow_p); in compare_range_with_value()
3799 *strict_overflow_p = true; in compare_range_with_value()
3804 tst = compare_values_warnv (vr->min, val, strict_overflow_p); in compare_range_with_value()
3809 *strict_overflow_p = true; in compare_range_with_value()
3821 tst = compare_values_warnv (vr->min, val, strict_overflow_p); in compare_range_with_value()
3826 *strict_overflow_p = true; in compare_range_with_value()
3831 tst = compare_values_warnv (vr->max, val, strict_overflow_p); in compare_range_with_value()
3836 *strict_overflow_p = true; in compare_range_with_value()
5743 bool *strict_overflow_p) in compare_name_with_value() argument
5772 *strict_overflow_p = true; in compare_name_with_value()
5804 *strict_overflow_p = true; in compare_name_with_value()
5819 bool *strict_overflow_p) in compare_names() argument
5911 *strict_overflow_p = true; in compare_names()
5928 bool * strict_overflow_p) in vrp_evaluate_conditional_warnv_with_ops_using_ranges() argument
5936 return compare_ranges (code, vr0, vr1, strict_overflow_p); in vrp_evaluate_conditional_warnv_with_ops_using_ranges()
5938 return compare_range_with_value (code, vr0, op1, strict_overflow_p); in vrp_evaluate_conditional_warnv_with_ops_using_ranges()
5941 (swap_tree_comparison (code), vr1, op0, strict_overflow_p)); in vrp_evaluate_conditional_warnv_with_ops_using_ranges()
5950 bool *strict_overflow_p, bool *only_ranges) in vrp_evaluate_conditional_warnv_with_ops() argument
5965 (code, op0, op1, strict_overflow_p))) in vrp_evaluate_conditional_warnv_with_ops()
5969 return compare_names (code, op0, op1, strict_overflow_p); in vrp_evaluate_conditional_warnv_with_ops()
5971 return compare_name_with_value (code, op0, op1, strict_overflow_p); in vrp_evaluate_conditional_warnv_with_ops()
5974 (swap_tree_comparison (code), op1, op0, strict_overflow_p)); in vrp_evaluate_conditional_warnv_with_ops()
5978 strict_overflow_p); in vrp_evaluate_conditional_warnv_with_ops()