re PR tree-optimization/69242 (ICE in visit_reference_op_load, at tree-ssa-sccvn.c:3224)

2016-01-13  Richard Biener  <rguenther@suse.de>

	PR tree-optimization/69242
	* tree-ssa-sccvn.c (visit_reference_op_load): Replace bogus
	assert with a check.

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

From-SVN: r232315

gcc/ChangeLog

 2016-01-13  Richard Biener  <rguenther@suse.de>
 
+	PR tree-optimization/69242
+	* tree-ssa-sccvn.c (visit_reference_op_load): Replace bogus
+	assert with a check.
+
+2016-01-13  Richard Biener  <rguenther@suse.de>
+
 	PR tree-optimization/69186
 	* tree-vect-data-refs.c (vect_enhance_data_refs_alignment):
 	Properly guard vect_update_misalignment_for_peel call.

gcc/testsuite/ChangeLog

 2016-01-13  Richard Biener  <rguenther@suse.de>
 
+	PR tree-optimization/69242
+	* gcc.dg/torture/pr69242.c: New testcase.
+
+2016-01-13  Richard Biener  <rguenther@suse.de>
+
 	PR tree-optimization/69186
 	* gcc.dg/torture/pr69186.c: New testcase.
 

gcc/testsuite/gcc.dg/torture/pr69242.c

+/* { dg-do compile } */
+/* { dg-additional-options "-w" } */
+
+int a[1];
+void *memcpy();
+int smx_ctx_base_factory_create_context_sized();
+void getcontext();
+void smx_ctx_sysv_create_context() {
+    int *b = (int *)smx_ctx_base_factory_create_context_sized();
+    getcontext();
+    memcpy(a, &b, sizeof(int));
+    switch (a[0])
+      ;
+}
+

gcc/tree-ssa-sccvn.c

@@ -3221,8 +3221,11 @@ visit_reference_op_load (tree lhs, tree op, gimple *stmt)
 	      gimple_seq stmts = NULL;
 	      result = maybe_push_res_to_seq (rcode, TREE_TYPE (op), ops,
 					      &stmts);
-	      gcc_assert (result && gimple_seq_singleton_p (stmts));
-	      new_stmt = gimple_seq_first_stmt (stmts);
+	      if (result)
+		{
+		  gcc_assert (gimple_seq_singleton_p (stmts));
+		  new_stmt = gimple_seq_first_stmt (stmts);
+		}
 	    }
 	  else
 	    /* The expression is already available.  */