From: Richard Biener <rguenther@suse.de>
Date: Thu, 15 Mar 2018 13:10:24 +0000 (+0000)
Subject: re PR c/84873 (ICE: verify_ssa failed (error: definition in block 3 does not dominate... 
X-Git-Tag: upstream/12.2.0~32861
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=919674fb7d619c94ec5395a703144c7e75c93814;p=platform%2Fupstream%2Fgcc.git

re PR c/84873 (ICE: verify_ssa failed (error: definition in block 3 does not dominate use in block 4))

2018-03-15  Richard Biener  <rguenther@suse.de>

	PR c/84873
	* c-gimplify.c (c_gimplify_expr): Do not fold expressions.

	* c-c++-common/pr84873.c: New testcase.

From-SVN: r258556
---

diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog
index 10c7047..a03ff86 100644
--- a/gcc/c-family/ChangeLog
+++ b/gcc/c-family/ChangeLog
@@ -1,3 +1,8 @@
+2018-03-15  Richard Biener  <rguenther@suse.de>
+
+	PR c/84873
+	* c-gimplify.c (c_gimplify_expr): Do not fold expressions.
+
 2018-03-13  Martin Sebor  <msebor@redhat.com>
 
 	PR tree-optimization/84725
diff --git a/gcc/c-family/c-gimplify.c b/gcc/c-family/c-gimplify.c
index 344c0ad..e6b90ef 100644
--- a/gcc/c-family/c-gimplify.c
+++ b/gcc/c-family/c-gimplify.c
@@ -245,7 +245,15 @@ c_gimplify_expr (tree *expr_p, gimple_seq *pre_p ATTRIBUTE_UNUSED,
 				    unsigned_type_node)
 	    && !types_compatible_p (TYPE_MAIN_VARIANT (TREE_TYPE (*op1_p)),
 				    integer_type_node))
-	  *op1_p = convert (unsigned_type_node, *op1_p);
+	  {
+	    /* ???  Do not use convert () here or fold arbitrary trees
+	       since folding can introduce tree sharing which is not
+	       allowed during gimplification.  */
+	    if (TREE_CODE (*op1_p) == INTEGER_CST)
+	      *op1_p = fold_convert (unsigned_type_node, *op1_p);
+	    else
+	      *op1_p = build1 (NOP_EXPR, unsigned_type_node, *op1_p);
+	  }
 	break;
       }
 
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 4d6379d..77d090a 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2018-03-15  Richard Biener  <rguenther@suse.de>
+
+	PR c/84873
+	* c-c++-common/pr84873.c: New testcase.
+
 2018-03-15  Tamar Christina  <tamar.christina@arm.com>
 
 	PR target/84711
diff --git a/gcc/testsuite/c-c++-common/pr84873.c b/gcc/testsuite/c-c++-common/pr84873.c
new file mode 100644
index 0000000..5eb8a8d
--- /dev/null
+++ b/gcc/testsuite/c-c++-common/pr84873.c
@@ -0,0 +1,8 @@
+/* { dg-do compile } */
+/* { dg-additional-options "-frounding-math" } */
+
+int
+i1 (int w3, int n9)
+{
+  return w3 >> ((long int)(1 + 0.1) + -!n9);
+}