r253102 - in /trunk/gcc: ChangeLog tree-vrp.c

[rsandifo@gcc.gnu.org]

Author: rsandifo
Date: Fri Sep 22 17:00:56 2017
New Revision: 253102

URL: https://gcc.gnu.org/viewcvs?rev=253102&root=gcc&view=rev
Log:
range_int_cst_p handling in extract_range_from_binary_expr_1

extract_range_from_binary_expr_1 had:

      if (range_int_cst_p (&vr0)
          && range_int_cst_p (&vr1)
          && TYPE_OVERFLOW_WRAPS (expr_type))
        ...
      ...
      extract_range_from_multiplicative_op_1 (vr, code, &vr0, &vr1);

but extract_range_from_multiplicative_op_1 also requires range_int_cst_p.
I think we should bail out if either range isn't a constant.

This might only be theoretical with current sources, but it's needed
once polynomial constants are added.

2017-09-22  Richard Sandiford  <richard.sandiford@linaro.org>
	    Alan Hayward  <alan.hayward@arm.com>
	    David Sherwood  <david.sherwood@arm.com>

gcc/
	* tree-vrp.c (extract_range_from_multiplicative_op_1): Assert
	for VR_RANGE only; don't allow VR_ANTI_RANGE.
	(extract_range_from_binary_expr_1): Don't call
	extract_range_from_multiplicative_op_1 if !range_int_cst_p.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/tree-vrp.c