diff options
-rw-r--r-- | gcc/cgraphclones.cc | 12 | ||||
-rw-r--r-- | gcc/testsuite/g++.dg/opt/pr108854.C | 37 |
2 files changed, 48 insertions, 1 deletions
diff --git a/gcc/cgraphclones.cc b/gcc/cgraphclones.cc index 4a4773e..7c5d3b2 100644 --- a/gcc/cgraphclones.cc +++ b/gcc/cgraphclones.cc @@ -218,7 +218,17 @@ duplicate_thunk_for_node (cgraph_node *thunk, cgraph_node *node) body_adj.modify_formal_parameters (); } else - new_decl = copy_node (thunk->decl); + { + new_decl = copy_node (thunk->decl); + for (tree *arg = &DECL_ARGUMENTS (new_decl); + *arg; arg = &DECL_CHAIN (*arg)) + { + tree next = DECL_CHAIN (*arg); + *arg = copy_node (*arg); + DECL_CONTEXT (*arg) = new_decl; + DECL_CHAIN (*arg) = next; + } + } gcc_checking_assert (!DECL_STRUCT_FUNCTION (new_decl)); gcc_checking_assert (!DECL_INITIAL (new_decl)); diff --git a/gcc/testsuite/g++.dg/opt/pr108854.C b/gcc/testsuite/g++.dg/opt/pr108854.C new file mode 100644 index 0000000..9f2d903 --- /dev/null +++ b/gcc/testsuite/g++.dg/opt/pr108854.C @@ -0,0 +1,37 @@ +// PR middle-end/108854 +// { dg-do compile { target c++11 } } +// { dg-options "-O3" } +// { dg-additional-options "-fPIC" { target fpic } } + +struct A { A (int); ~A (); }; +struct B { B (int, bool); ~B (); }; +template <typename T> +struct C { void m1 (T); void m2 (T &&); }; +class D; +struct E { virtual void m3 (); }; +template <typename> +struct F { virtual bool m4 (D &); }; +struct D { virtual D m5 () { return D (); } }; +void foo (void *, void *); +struct G { + int a; + C <D *> b; + void m4 (D &r) { B l (a, true); r.m5 (); b.m1 (&r); b.m2 (&r); } +}; +struct H : E, F <int> { + template <typename T> + H (int, T); + bool m4 (D &r) { A l (a); b.m4 (r); if (c) return true; } // { dg-warning "control reaches end of non-void function" } + int a; + bool c; + G b; +}; +inline void bar (F <int> &p) { D s, t; p.m4 (t); foo (&p, &s); } +enum I { I1, I2 }; +template <I> +struct J; +template <class, class T, class, class, class, class> +void baz () { int g = 0, h = 0; T i (g, h); bar (i); } +template <class, int, I T> +void qux () { baz <int, H, int, int, E, J<T>> (); } +void corge () { qux <int, I2, I1> (); qux <int, I2, I2> (); } |