diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index f11ee70f04081dcfe86c75e8e24be4c31ed49b01..deb59030bd00a88b7db8fdb1d6e21aad523b33f4 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,8 @@
+2009-12-03  Jason Merrill  <jason@redhat.com>
+
+	PR c++/42266
+	* cvt.c (convert_from_reference): Do nothing if TREE_TYPE is null.
+
 2009-12-03  Dodji Seketeli  <dodji@redhat.com>
 
 	PR c++/42217
diff --git a/gcc/cp/cvt.c b/gcc/cp/cvt.c
index 8c5b001dd15c2107f5ee9f321cf64d307730fb06..6f3b56e43ce66469cb9ba2bb7315c36037f07e63 100644
--- a/gcc/cp/cvt.c
+++ b/gcc/cp/cvt.c
@@ -506,7 +506,8 @@ convert_to_reference (tree reftype, tree expr, int convtype,
 tree
 convert_from_reference (tree val)
 {
-  if (TREE_CODE (TREE_TYPE (val)) == REFERENCE_TYPE)
+  if (TREE_TYPE (val)
+      && TREE_CODE (TREE_TYPE (val)) == REFERENCE_TYPE)
     {
       tree t = TREE_TYPE (TREE_TYPE (val));
       tree ref = build1 (INDIRECT_REF, t, val);
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 0f9311b577b84aa7fa2d2d0ef33213b93e4b360d..ff7a355f451badcefe001582366d99625f36f452 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2009-12-03  Jason Merrill  <jason@redhat.com>
+
+	PR c++/42266
+	* g++.dg/cpp0x/variadic97.C: New.
+
 2009-12-03  Jakub Jelinek  <jakub@redhat.com>
 
 	PR middle-end/42049
diff --git a/gcc/testsuite/g++.dg/cpp0x/variadic97.C b/gcc/testsuite/g++.dg/cpp0x/variadic97.C
new file mode 100644
index 0000000000000000000000000000000000000000..a2070319ebd363d3528b93970b60f49ed79b5f46
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp0x/variadic97.C
@@ -0,0 +1,35 @@
+// PR c++/42266
+// { dg-options -std=c++0x }
+
+template<typename... _Elements>
+  class tuple;
+
+template<typename _Arg>
+  class _Mu;
+
+template<typename _Signature>
+  struct _Bind;
+
+template<typename _Functor, typename... _Bound_args>
+  class _Bind<_Functor(_Bound_args...)>
+  {
+    template<typename... _Args, typename
+             = decltype(_Functor()(_Mu<_Bound_args>()(_Bound_args(),
+                                                      tuple<_Args...>())...) )>
+      void __call() { }
+  };
+
+template<typename _Functor, typename _Arg>
+  _Bind<_Functor(_Arg)>
+  bind(_Functor, _Arg) { }
+
+struct State
+{
+  bool ready() { return true; }
+
+  void f()
+  {
+    bind(&State::ready, this);
+  }
+};
+