re PR tree-optimization/69214 (ICE (segfault) at -Os on x86_64-linux-gnu in…

re PR tree-optimization/69214 (ICE (segfault) at -Os on x86_64-linux-gnu in "fail_abnormal_edge_coalesce")

	PR tree-optimization/69214
	* tree-vrp.c (simplify_cond_using_ranges): Don't propagate
	innerop into a comparison if SSA_NAME_OCCURS_IN_ABNORMAL_PHI.
	Formatting fix.

	* gcc.c-torture/compile/pr69214.c: New test.

From-SVN: r232235

gcc/ChangeLog

 2016-01-11  Jakub Jelinek  <jakub@redhat.com>
 
+	PR tree-optimization/69214
+	* tree-vrp.c (simplify_cond_using_ranges): Don't propagate
+	innerop into a comparison if SSA_NAME_OCCURS_IN_ABNORMAL_PHI.
+	Formatting fix.
+
 	PR tree-optimization/69207
 	* tree-vect-slp.c (vect_get_constant_vectors): For
 	VECTOR_BOOLEAN_TYPE_P, assert op has integral type instead of

gcc/testsuite/ChangeLog

+2016-01-11  Jakub Jelinek  <jakub@redhat.com>
+
+	PR tree-optimization/69214
+	* gcc.c-torture/compile/pr69214.c: New test.
+
 2016-01-11  Uros Bizjak  <ubizjak@gmail.com>
 
 	* gcc.target/i386/pr66232-10.c: Do not compile on ia32 target.

gcc/testsuite/gcc.c-torture/compile/pr69214.c

+/* PR tree-optimization/69214 */
+
+extern void bar (void);
+extern int __setjmp (char *);
+
+void
+foo (char *p)
+{
+  int d = 0;
+  bar ();
+  if (__setjmp (p))
+    return;
+  long a = d;
+  d = 8;
+  if (!a)
+    bar ();
+}

gcc/tree-vrp.c

@@ -9478,6 +9478,7 @@ simplify_cond_using_ranges (gcond *stmt)
 
       if (TREE_CODE (innerop) == SSA_NAME
 	  && !POINTER_TYPE_P (TREE_TYPE (innerop))
+	  && !SSA_NAME_OCCURS_IN_ABNORMAL_PHI (innerop)
 	  && desired_pro_or_demotion_p (TREE_TYPE (innerop), TREE_TYPE (op0)))
 	{
 	  value_range *vr = get_value_range (innerop);