aboutsummaryrefslogtreecommitdiff
path: root/gcc
diff options
context:
space:
mode:
Diffstat (limited to 'gcc')
-rw-r--r--gcc/ChangeLog4
-rw-r--r--gcc/config/i386/i386.c2
-rw-r--r--gcc/testsuite/ChangeLog3
-rw-r--r--gcc/testsuite/g++.dg/debug/pr89006.C20
4 files changed, 29 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 03d1b33..7b79755 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,9 @@
2019-01-24 Jakub Jelinek <jakub@redhat.com>
+ PR debug/89006
+ * config/i386/i386.c (ix86_pic_register_p): Return true for
+ UNSPEC_SET_GOT too.
+
PR tree-optimization/88964
* gimple-loop-interchange.cc (loop_cand::analyze_induction_var): Also
punt if HONOR_SNANS (chrec).
diff --git a/gcc/config/i386/i386.c b/gcc/config/i386/i386.c
index e0d7c74..2b5bd68 100644
--- a/gcc/config/i386/i386.c
+++ b/gcc/config/i386/i386.c
@@ -16972,6 +16972,8 @@ ix86_pic_register_p (rtx x)
if (GET_CODE (x) == VALUE && CSELIB_VAL_PTR (x))
return (pic_offset_table_rtx
&& rtx_equal_for_cselib_p (x, pic_offset_table_rtx));
+ else if (GET_CODE (x) == UNSPEC && XINT (x, 1) == UNSPEC_SET_GOT)
+ return true;
else if (!REG_P (x))
return false;
else if (pic_offset_table_rtx)
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index f7423fe..285c699 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,5 +1,8 @@
2019-01-24 Jakub Jelinek <jakub@redhat.com>
+ PR debug/89006
+ * g++.dg/debug/pr89006.C: New test.
+
PR middle-end/89015
* gcc.dg/gomp/pr89015.c: New test.
diff --git a/gcc/testsuite/g++.dg/debug/pr89006.C b/gcc/testsuite/g++.dg/debug/pr89006.C
new file mode 100644
index 0000000..13c7d21
--- /dev/null
+++ b/gcc/testsuite/g++.dg/debug/pr89006.C
@@ -0,0 +1,20 @@
+// PR debug/89006
+// { dg-do compile }
+// { dg-options "-O2 -g -w" }
+// { dg-additional-options "-fPIC" { target fpic } }
+// { dg-bogus "non-delegitimized UNSPEC UNSPEC_SET_GOT" "" { target { i?86-*-* x86_64-*-* } } 0 }
+
+struct A { A (bool); };
+
+static void
+foo (const char *x)
+{
+ new A (x);
+}
+
+void
+bar ()
+{
+ foo ("foo");
+ foo ("bar");
+}