PR82413: Mismatched precisions in build_range_check

build_range_check explicitly allows LOW and HIGH to be a different type
from EXP, so we need to use w::to_widest when comparing a value based on
HIGH with a value based on EXP's type.

2017-10-04  Richard Sandiford  <richard.sandiford@linaro.org>

gcc/
	PR tree-optimization/82413
	* fold-const.c (build_range_check): Use widest_int when comparing
	the maximum ETYPE value with HIGH.

gcc/testsuite/
	PR tree-optimization/82413
	* g++.dg/pr82413.C: New test.

From-SVN: r253401

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index a4fd9d8..76c1f1b 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2017-10-04  Richard Sandiford  <richard.sandiford@linaro.org>
+
+       PR tree-optimization/82413
+       * fold-const.c (build_range_check): Use widest_int when comparing
+       the maximum ETYPE value with HIGH.
+
 2017-10-04  Wilco Dijkstra  <wdijkstr@arm.com>
 
        PR rtl-optimization/82396

diff --git a/gcc/fold-const.c b/gcc/fold-const.c
index fa9d1bb..ae037ce 100644 (file)
--- a/gcc/fold-const.c
+++ b/gcc/fold-const.c
@@ -4851,7 +4851,7 @@ build_range_check (location_t loc, tree type, tree exp, int in_p,
     {
       int prec = TYPE_PRECISION (etype);
 
-      if (wi::mask (prec - 1, false, prec) == high)
+      if (wi::mask <widest_int> (prec - 1, false) == wi::to_widest (high))
        {
          if (TYPE_UNSIGNED (etype))
            {

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 883392f..2c96f3a 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2017-10-04  Richard Sandiford  <richard.sandiford@linaro.org>
+
+       PR tree-optimization/82413
+       * g++.dg/pr82413.C: New test.
+
 2017-10-04  Paul Thomas  <pault@gcc.gnu.org>
 
        PR fortran/77296

diff --git a/gcc/testsuite/g++.dg/pr82413.C b/gcc/testsuite/g++.dg/pr82413.C
new file mode 100644 (file)
index 0000000..a44751d
--- /dev/null
+++ b/gcc/testsuite/g++.dg/pr82413.C
@@ -0,0 +1,3 @@
+bool a;
+int b;
+void c() { b &&a <= 0; }