re PR tree-optimization/79276 (ICE: Segmentation fault in VRP pass)

2017-01-30  Richard Biener  <rguenther@suse.de>

	PR tree-optimization/79276
	* tree-vrp.c (process_assert_insertions): Properly adjust common
	when removing a duplicate.

	* gcc.dg/torture/pr79276.c: New testcase.

From-SVN: r245026

gcc/ChangeLog

 2017-01-30  Richard Biener  <rguenther@suse.de>
 
+	PR tree-optimization/79276
+	* tree-vrp.c (process_assert_insertions): Properly adjust common
+	when removing a duplicate.
+
+	* gcc.dg/torture/pr79276.c: New testcase.
+
+2017-01-30  Richard Biener  <rguenther@suse.de>
+
 	PR tree-optimization/79256
 	* targhooks.c (default_builtin_vector_alignment_reachable): Honor
 	BIGGEST_FIELD_ALIGNMENT and ADJUST_FIELD_ALIGN to fix up bogus

gcc/testsuite/ChangeLog

+2017-01-30  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/79276
+	* gcc.dg/torture/pr79276.c: New testcase.
+
 2017-01-30  Dominik Vogt  <vogt@linux.vnet.ibm.com>
 
 	PR target/79240

gcc/testsuite/gcc.dg/torture/pr79276.c

+/* { dg-do compile } */
+
+short int
+ix (int *ld, short int oi)
+{
+  *ld = ((unsigned short int)oi | oi) && !!(*ld);
+  return (oi != 0) ? oi : 1;
+}

gcc/tree-vrp.c

@@ -6544,6 +6544,11 @@ process_assert_insertions (void)
 	  else if (loc->e == asserts[j-1]->e)
 	    {
 	      /* Remove duplicate asserts.  */
+	      if (commonj == j - 1)
+		{
+		  commonj = j;
+		  common = loc;
+		}
 	      free (asserts[j-1]);
 	      asserts[j-1] = NULL;
 	    }