From eb259c4a329898bbae30bf7b55f9598fa73c7dd1 Mon Sep 17 00:00:00 2001
From: Jakub Jelinek <jakub@redhat.com>
Date: Tue, 4 Feb 2014 14:04:37 +0100
Subject: [PATCH] re PR ipa/60026 (ICE at -O3 on valid code (with the optimize
 pragma) on x86_64-linux-gnu)

	PR ipa/60026
	* tree-inline.c (copy_forbidden): Fail for
	__attribute__((optimize (0))) functions.

	* c-c++-common/torture/pr60026.c: New test.

From-SVN: r207463
---
 gcc/ChangeLog                                |  4 +++
 gcc/testsuite/ChangeLog                      |  3 +++
 gcc/testsuite/c-c++-common/torture/pr60026.c | 28 ++++++++++++++++++++
 gcc/tree-inline.c                            | 12 +++++++++
 4 files changed, 47 insertions(+)
 create mode 100644 gcc/testsuite/c-c++-common/torture/pr60026.c

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 1105fa9de8a..6c6dfd6cd94 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,9 @@
 2014-02-04  Jakub Jelinek  <jakub@redhat.com>
 
+	PR ipa/60026
+	* tree-inline.c (copy_forbidden): Fail for
+	__attribute__((optimize (0))) functions.
+
 	PR other/58712
 	* omp-low.c (simd_clone_struct_copy): If from->inbranch
 	is set, copy one less argument.
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 31e271dc34f..f23b6c47455 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,5 +1,8 @@
 2014-02-04  Jakub Jelinek  <jakub@redhat.com>
 
+	PR ipa/60026
+	* c-c++-common/torture/pr60026.c: New test.
+
 	PR rtl-optimization/57915
 	* gcc.target/i386/pr57915.c: New test.
 
diff --git a/gcc/testsuite/c-c++-common/torture/pr60026.c b/gcc/testsuite/c-c++-common/torture/pr60026.c
new file mode 100644
index 00000000000..1cc5f55a4d2
--- /dev/null
+++ b/gcc/testsuite/c-c++-common/torture/pr60026.c
@@ -0,0 +1,28 @@
+/* PR ipa/60026 */
+/* { dg-do compile } */
+
+struct S { int f; } a;
+
+__attribute__((optimize (0)))
+struct S foo (int x, struct S y)
+{
+  int b = y.f;
+  return a; 
+}
+
+void
+bar ()
+{
+  while (a.f)
+    {
+      struct S c = {0};
+      foo (0, c);
+    }
+}
+
+int
+main ()
+{
+  bar (); 
+  return 0;
+}
diff --git a/gcc/tree-inline.c b/gcc/tree-inline.c
index 439ef4c2933..ade78b22a12 100644
--- a/gcc/tree-inline.c
+++ b/gcc/tree-inline.c
@@ -3315,6 +3315,18 @@ copy_forbidden (struct function *fun, tree fndecl)
 	goto fail;
       }
 
+  tree fs_opts;
+  fs_opts = DECL_FUNCTION_SPECIFIC_OPTIMIZATION (fun->decl);
+  if (fs_opts)
+    {
+      struct cl_optimization *os = TREE_OPTIMIZATION (fs_opts);
+      if (!os->x_optimize)
+	{
+	  reason = G_("function %q+F compiled without optimizations");
+	  goto fail;
+	}
+    }
+
  fail:
   fun->cannot_be_copied_reason = reason;
   fun->cannot_be_copied_set = true;
-- 
2.30.2