re PR tree-optimization/83685 (ICE: SSA corruption)

2018-01-08  Richard Biener  <rguenther@suse.de>

	PR tree-optimization/83685
	* tree-ssa-pre.c (create_expression_by_pieces): Do not insert
	references to abnormals.

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

From-SVN: r256339

gcc/ChangeLog

 2018-01-08  Richard Biener  <rguenther@suse.de>
 
+	PR tree-optimization/83685
+	* tree-ssa-pre.c (create_expression_by_pieces): Do not insert
+	references to abnormals.
+
+2018-01-08  Richard Biener  <rguenther@suse.de>
+
 	PR lto/83719
 	* dwarf2out.c (output_indirect_strings): Handle empty
 	skeleton_debug_str_hash.

gcc/testsuite/ChangeLog

 2018-01-08  Richard Biener  <rguenther@suse.de>
 
+	PR tree-optimization/83685
+	* gcc.dg/torture/pr83685.c: New testcase.
+
+2018-01-08  Richard Biener  <rguenther@suse.de>
+
 	PR lto/83719
 	* gcc.dg/lto/pr83719_0.c: New testcase.
 

gcc/testsuite/gcc.dg/torture/pr83685.c

+/* { dg-do compile }  */
+
+int _setjmp (void *);
+void foo (int);
+
+void
+bar (int e, int b, char c, void *d)
+{
+  while (b)
+    {
+      if (_setjmp (d))
+	foo (e);
+      if (c)
+	{
+	  e--;
+	  foo (0);
+	}
+      e++;
+    }
+}

gcc/tree-ssa-pre.c

@@ -2697,6 +2697,8 @@ create_expression_by_pieces (basic_block block, pre_expr expr,
        that value numbering saw through.  */
     case NAME:
       folded = PRE_EXPR_NAME (expr);
+      if (SSA_NAME_OCCURS_IN_ABNORMAL_PHI (folded))
+	return NULL_TREE;
       if (useless_type_conversion_p (exprtype, TREE_TYPE (folded)))
 	return folded;
       break;