diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index e7098d095f9a984abeedea3276a1496cd2290f91..952d851121da217878156ecbf7251507a080aa79 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,9 @@
 2008-01-03  Jakub Jelinek  <jakub@redhat.com>
 
+	PR c++/34619
+	* cgraphunit.c (cgraph_build_static_cdtor): set_cfun back to NULL
+	before returning.
+
 	PR tree-optimization/29484
 	* tree-inline.c (inline_forbidden_p_2): New function.
 	(inline_forbidden_p): Disallow inlining if some static var
diff --git a/gcc/cgraphunit.c b/gcc/cgraphunit.c
index 7215f1a10f85670c4ce729196928d2bd89b4a7f2..5d81f5682d6ccdfaaaa6a492c5e5802805d486b5 100644
--- a/gcc/cgraphunit.c
+++ b/gcc/cgraphunit.c
@@ -1,5 +1,6 @@
 /* Callgraph based interprocedural optimizations.
-   Copyright (C) 2003, 2004, 2005, 2006, 2007 Free Software Foundation, Inc.
+   Copyright (C) 2003, 2004, 2005, 2006, 2007, 2008
+   Free Software Foundation, Inc.
    Contributed by Jan Hubicka
 
 This file is part of GCC.
@@ -1515,6 +1516,7 @@ cgraph_build_static_cdtor (char which, tree body, int priority)
 
   cgraph_add_new_function (decl, false);
   cgraph_mark_needed_node (cgraph_node (decl));
+  set_cfun (NULL);
 }
 
 void
diff --git a/libmudflap/ChangeLog b/libmudflap/ChangeLog
index 081f14c2ed5eb1537c2f00f264059c2d1928fb50..1c7313a38e42dbee747ab49f71d3aec0887d926d 100644
--- a/libmudflap/ChangeLog
+++ b/libmudflap/ChangeLog
@@ -1,3 +1,8 @@
+2008-01-03  Jakub Jelinek  <jakub@redhat.com>
+
+	PR c++/34619
+	* testsuite/libmudflap.c++/pass61-frag.cxx: New test.
+
 2008-01-01  Volker Reichelt  <v.reichelt@netcologne.de>
 
 	PR libmudflap/26442
diff --git a/libmudflap/testsuite/libmudflap.c++/pass61-frag.cxx b/libmudflap/testsuite/libmudflap.c++/pass61-frag.cxx
new file mode 100644
index 0000000000000000000000000000000000000000..03046112c46d2a530fb0d4e5408db7c7f36719d6
--- /dev/null
+++ b/libmudflap/testsuite/libmudflap.c++/pass61-frag.cxx
@@ -0,0 +1,20 @@
+// PR c++/34619
+// { dg-do compile }
+
+template <typename> struct A
+{
+  typedef int X;
+  static const int N = 1;
+};
+
+template <typename T> struct B
+{
+  typedef typename A <int [A <T>::N]>::X Y;
+  template <typename U> B (Y, U) {}
+};
+
+int main ()
+{
+}
+
+B <int>b (0, 0);