From: J"orn Rennecke <joern.rennecke@st.com>
Date: Tue, 29 Aug 2006 14:34:36 +0000 (+0000)
Subject: re PR c++/28139 (alias information for EH is wrong)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2de9107ad5ea3e76fb01e7eead041901f8348cc0;p=gcc.git

re PR c++/28139 (alias information for EH is wrong)

cp:
	PR c++/28139
	* except.c (expand_start_catch_block): Use correct types for bitwise
	copy.
testsuite:
	PR c++/28139
	* g++.dg/eh/alias1.C: New test.

From-SVN: r116561
---

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 84c02edf5f0..3774c14d33d 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,9 @@
+2006-08-29  J"orn Rennecke  <joern.rennecke@st.com>
+
+	PR c++/28139
+	* except.c (expand_start_catch_block): Use correct types for bitwise
+	copy.
+
 2006-08-28  Jason Merrill  <jason@redhat.com>
 
 	PR c++/26670
diff --git a/gcc/cp/except.c b/gcc/cp/except.c
index 71b433f1560..ad493aa389c 100644
--- a/gcc/cp/except.c
+++ b/gcc/cp/except.c
@@ -458,7 +458,14 @@ expand_start_catch_block (tree decl)
   else
     {
       tree init = do_begin_catch ();
-      exp = create_temporary_var (ptr_type_node);
+      tree init_type = type;
+
+      /* Pointers are passed by values, everything else by reference.  */
+      if (!TYPE_PTR_P (type))
+	init_type = build_pointer_type (type);
+      if (init_type != TREE_TYPE (init))
+	init = build1 (NOP_EXPR, init_type, init);
+      exp = create_temporary_var (init_type);
       DECL_REGISTER (exp) = 1;
       cp_finish_decl (exp, init, /*init_const_expr=*/false,
 		      NULL_TREE, LOOKUP_ONLYCONVERTING);
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 6e2043195bc..21eba05b7d4 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2006-08-29  J"orn Rennecke  <joern.rennecke@st.com>
+
+	PR c++/28139
+	* g++.dg/eh/alias1.C: New test.
+
 2006-08-28  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
 
 	PR c++/28860
diff --git a/gcc/testsuite/g++.dg/eh/alias1.C b/gcc/testsuite/g++.dg/eh/alias1.C
new file mode 100644
index 00000000000..f9c6cb74483
--- /dev/null
+++ b/gcc/testsuite/g++.dg/eh/alias1.C
@@ -0,0 +1,42 @@
+// { dg-do run }
+// { dg-options "-O3" }
+/* PR c++/28139: disjoint alias sets for the store from
+   expand_start_catch_block than for loading P result in P being loaded
+   before it is initialized for sh-elf.  */
+
+extern "C" {
+void exit (int) __attribute__ ((noreturn));
+}
+
+int i_glob = 42;
+int *p0 = &i_glob;
+typedef int **ipp;
+
+void
+g (int i)
+{
+  if (!i_glob)
+    exit ((int)(long long) &i);
+}
+
+static void
+h ()
+{
+  throw &p0;
+}
+
+int
+main()
+{
+  g (42);
+  try
+    {
+     h ();
+    }
+  catch (const ipp &p)
+    {
+      if (**p != 42)
+	exit (1);
+    }
+  return 0;
+}