1 files changed, 17 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/testsuite/g++.dg/cpp0x/sfinae29.C b/gcc-4.9/gcc/testsuite/g++.dg/cpp0x/sfinae29.C
new file mode 100644
index 0000000..8792778
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/g++.dg/cpp0x/sfinae29.C
@@ -0,0 +1,17 @@
+// PR c++/51047
+// { dg-do compile { target c++11 } }
+
+template<typename T> T &&declval();
+template<class T> decltype(declval<T>().x) f(T *);
+template<class T> char f(T);
+struct B1{ int x; };
+struct B2{ int x; };
+struct D : public B1, B2{};
+struct S { int x; };
+int main()
+{
+  S *p = nullptr;
+  static_assert(sizeof(f(p)) == sizeof(int), "");
+  D *q = nullptr;
+  static_assert(sizeof(f(q)) == 1u, "");
+}