new C++ bug

Daniel Kroening · Daniel Kroening · commit e155e4203092 · 2016-09-26T17:04:37.000+01:00
diff --git a/regression/cpp/Template_Specialisation2/main.ii b/regression/cpp/Template_Specialisation2/main.ii
@@ -0,0 +1,17 @@
+#line 2 "main.ii"
+
+template <class T>
+struct __member_pointer_traits_imp
+{
+};
+
+template <class _Rp, class _Class>
+struct __member_pointer_traits_imp<_Rp (_Class::*)()>
+{
+};
+
+template <class _Rp, class _Class>
+struct __member_pointer_traits_imp<_Rp (_Class::*)() const>
+{
+};
+
diff --git a/regression/cpp/Template_Specialisation2/test.desc b/regression/cpp/Template_Specialisation2/test.desc
@@ -0,0 +1,8 @@
+KNOWNBUG
+main.ii
+
+^EXIT=0$
+^SIGNAL=0$
+--
+^warning: ignoring
+^CONVERSION ERROR$
