re PR c++/87469 (ice in record_estimate, at tree-ssa-loop-niter.c:3271)

gcc/testsuite/ChangeLog:

2018-10-29  Kugan Vivekanandarajah  <kuganv@linaro.org>

	PR middle-end/87469
	* g++.dg/pr87469.C: New test.

gcc/ChangeLog:

2018-10-29  Kugan Vivekanandarajah  <kuganv@linaro.org>

	PR middle-end/87469
	* tree-ssa-loop-niter.c (number_of_iterations_popcount): Fix niter
	max value.

From-SVN: r265605

gcc/ChangeLog

+2018-10-29  Kugan Vivekanandarajah  <kuganv@linaro.org>
+
+	PR middle-end/87469
+	* tree-ssa-loop-niter.c (number_of_iterations_popcount): Fix niter
+	max value.
+
 2018-10-29  Paul A. Clarke  <pc@us.ibm.com>
 
 	* gcc.target/powerpc/ssse3-check.h: Remove inaccurate comment.

gcc/testsuite/ChangeLog

+2018-10-29  Kugan Vivekanandarajah  <kuganv@linaro.org>
+
+	PR middle-end/87469
+	* g++.dg/pr87469.C: New test.
+
 2018-10-29  Marek Polacek  <polacek@redhat.com>
 
 	PR c++/87594 - constexpr rejects-valid with range-based for.

gcc/testsuite/g++.dg/pr87469.C

+/* { dg-do compile } */
+/* { dg-options "-c -w -O2"  } */
+long a;
+struct c {
+    void d(unsigned f) {
+	long e = f;
+	while (e & (e - 1))
+	  e &= e - 1;
+	a = e;
+    }
+};
+void g() {
+    c b;
+    b.d(4 + 2);
+}

gcc/tree-ssa-loop-niter.c

@@ -2589,11 +2589,9 @@ number_of_iterations_popcount (loop_p loop, edge exit,
   if (TREE_CODE (call) == INTEGER_CST)
     max = tree_to_uhwi (call);
   else
-    {
-      max = TYPE_PRECISION (TREE_TYPE (src));
-      if (adjust)
-	max = max - 1;
-    }
+    max = TYPE_PRECISION (TREE_TYPE (src));
+  if (adjust)
+    max = max - 1;
 
   niter->niter = iter;
   niter->assumptions = boolean_true_node;