From: Jakub Jelinek <jakub@redhat.com>
Date: Tue, 7 Mar 2017 06:11:14 +0000 (+0100)
Subject: re PR sanitizer/79897 (ICE in gimplify_modify_expr, at gimplify.c:5627 on ARM target)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=1f6dba54da4c437e74fbb1c92621adb33582efff;p=gcc.git

re PR sanitizer/79897 (ICE in gimplify_modify_expr, at gimplify.c:5627 on ARM target)

	PR sanitizer/79897
	* ubsan.c (ubsan_encode_value): Call mark_addressable on the
	temporary.

	* c-c++-common/ubsan/pr79897.c: New test.

From-SVN: r245945
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 2727acd1929..eb06b5ab2eb 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2017-03-07  Jakub Jelinek  <jakub@redhat.com>
+
+	PR sanitizer/79897
+	* ubsan.c (ubsan_encode_value): Call mark_addressable on the
+	temporary.
+
 2017-03-06  Jakub Jelinek  <jakub@redhat.com>
 
 	PR c++/79821
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 2f27e4b535c..9c8b87e90c7 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2017-03-07  Jakub Jelinek  <jakub@redhat.com>
+
+	PR sanitizer/79897
+	* c-c++-common/ubsan/pr79897.c: New test.
+
 2017-03-06  Vladimir Makarov  <vmakarov@redhat.com>
 
 	PR rtl-optimization/79571
diff --git a/gcc/testsuite/c-c++-common/ubsan/pr79897.c b/gcc/testsuite/c-c++-common/ubsan/pr79897.c
new file mode 100644
index 00000000000..0dadcffe98d
--- /dev/null
+++ b/gcc/testsuite/c-c++-common/ubsan/pr79897.c
@@ -0,0 +1,15 @@
+/* PR sanitizer/79897 */
+/* { dg-do compile } */
+/* { dg-options "-fsanitize=enum -O2" } */
+
+enum E
+{
+  A = 0,
+  B = ~0U + 1LL
+} x = A;
+
+int
+main ()
+{
+  return x != A;
+}
diff --git a/gcc/ubsan.c b/gcc/ubsan.c
index 11a41e1dc53..17965efde5c 100644
--- a/gcc/ubsan.c
+++ b/gcc/ubsan.c
@@ -145,6 +145,7 @@ ubsan_encode_value (tree t, bool in_expand_p)
 	     code by making vars unnecessarily addressable.  */
 	  tree var = create_tmp_var (type);
 	  tree tem = build2 (MODIFY_EXPR, void_type_node, var, t);
+	  mark_addressable (var);
 	  if (in_expand_p)
 	    {
 	      rtx mem