re PR tree-optimization/66123 (Array of labels as values + ternary operator +…

re PR tree-optimization/66123 (Array of labels as values + ternary operator + pointer arithmetic = internal compiler error)

2015-05-13  Richard Biener  <rguenther@suse.de>

	PR tree-optimization/66123
	* tree-ssa-dom.c (propagate_rhs_into_lhs): Check if we found
	a taken edge.

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

From-SVN: r223130

gcc/ChangeLog

 2015-05-13  Richard Biener  <rguenther@suse.de>
 
+	PR tree-optimization/66123
+	* tree-ssa-dom.c (propagate_rhs_into_lhs): Check if we found
+	a taken edge.
+
+2015-05-13  Richard Biener  <rguenther@suse.de>
+
 	PR middle-end/66110
 	* alias.c (alias_sets_conflict_p): Do not treat has_zero_child
 	specially.

gcc/testsuite/ChangeLog

 2015-05-13  Richard Biener  <rguenther@suse.de>
 
+	PR tree-optimization/66123
+	* gcc.dg/torture/pr66123.c: New testcase.
+
+2015-05-13  Richard Biener  <rguenther@suse.de>
+
 	PR middle-end/66110
 	* gcc.dg/alias-2.c: Adjust.
 	* gcc.dg/tree-ssa/ssa-dse-17.c: New testcase.

gcc/testsuite/gcc.dg/torture/pr66123.c

+/* { dg-do compile } */
+
+int
+test (int foo)
+{
+  static void *dummy[] = { &&a, &&b };
+  goto *((char *) &&b - 2 * (foo < 0));
+a:
+b:
+  return 0;
+}

gcc/tree-ssa-dom.c

@@ -2918,6 +2918,9 @@ propagate_rhs_into_lhs (gimple stmt, tree lhs, tree rhs, bitmap interesting_name
 		{
 		  basic_block bb = gimple_bb (use_stmt);
 		  edge te = find_taken_edge (bb, val);
+		  if (!te)
+		    continue;
+
 		  edge_iterator ei;
 		  edge e;
 		  gimple_stmt_iterator gsi;