From: Jan Hubicka <hubicka@ucw.cz>
Date: Fri, 30 Jun 2017 21:09:13 +0000 (+0200)
Subject: re PR ipa/81261 (ICE with -fno-guess-branch-probability)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=77616c7e1d9051edeab7af8671d32e23528563ba;p=gcc.git

re PR ipa/81261 (ICE with -fno-guess-branch-probability)


	PR ipa/81261
	* tree-inline.c (expand_call_inline): Combine profile statuses.

From-SVN: r249856
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 73a0555d432..4da9e3f147f 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2017-06-29  Jan Hubicka  <hubicka@ucw.cz>
+
+	PR ipa/81261
+	* tree-inline.c (expand_call_inline): Combine profile statuses.
+
 2017-06-30  Andrew Pinski  <apinski@cavium.com>
 
 	* tree-if-conv.c (predicate_scalar_phi): Update new_stmt if
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 0331735cae0..73ef3a0262d 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2017-06-29  Jan Hubicka  <hubicka@ucw.cz>
+
+	PR ipa/81261
+	* g++.dg/ipa/pr81261.C: New testcase.
+
 2017-06-30  Andrew Pinski  <apinski@cavium.com>
 
 	* gcc.dg/torture/pr81245.c: New testcase.
diff --git a/gcc/testsuite/g++.dg/ipa/pr81261.C b/gcc/testsuite/g++.dg/ipa/pr81261.C
new file mode 100644
index 00000000000..f182eb152cd
--- /dev/null
+++ b/gcc/testsuite/g++.dg/ipa/pr81261.C
@@ -0,0 +1,31 @@
+/* { dg-do compile } */
+/* { dg-options "-O1 -fno-guess-branch-probability"  } */
+
+struct CBase {
+  virtual void BaseFunc () {}
+};
+
+struct MMixin {
+  virtual void * MixinFunc (int, void *) = 0;
+};
+
+struct CExample: CBase, public MMixin
+{
+  void *MixinFunc (int arg, void *arg2)
+  {
+    if (arg != 1 || arg2)
+      return 0;
+    return this;
+  }
+};
+
+void *test (MMixin & anExample)
+{
+  return anExample.MixinFunc (1, 0);
+}
+
+int main ()
+{
+  CExample c;
+  return (test (c) != &c);
+}
diff --git a/gcc/tree-inline.c b/gcc/tree-inline.c
index 9306c3fbdf7..d4e4ef17247 100644
--- a/gcc/tree-inline.c
+++ b/gcc/tree-inline.c
@@ -4650,6 +4650,9 @@ expand_call_inline (basic_block bb, gimple *stmt, copy_body_data *id)
   else
     id->dst_simt_vars = NULL;
 
+  if (profile_status_for_fn (id->src_cfun) == PROFILE_ABSENT)
+    profile_status_for_fn (dst_cfun) = PROFILE_ABSENT;
+
   /* If the src function contains an IFN_VA_ARG, then so will the dst
      function after inlining.  Likewise for IFN_GOMP_USE_SIMT.  */
   prop_mask = PROP_gimple_lva | PROP_gimple_lomp_dev;