+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
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);
--- /dev/null
+// { 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;
+}