1 //===----------------------------------------------------------------------===// 2 // 3 // The LLVM Compiler Infrastructure 4 // 5 // This file is dual licensed under the MIT and the University of Illinois Open 6 // Source Licenses. See LICENSE.TXT for details. 7 // 8 //===----------------------------------------------------------------------===// 9 10 // UNSUPPORTED: c++98, c++03 11 12 // <functional> 13 14 // template<CopyConstructible Fn, CopyConstructible... Types> 15 // unspecified bind(Fn, Types...); 16 // template<Returnable R, CopyConstructible Fn, CopyConstructible... Types> 17 // unspecified bind(Fn, Types...); 18 19 // https://bugs.llvm.org/show_bug.cgi?id=22003 20 21 #include <functional> 22 23 struct DummyUnaryFunction 24 { 25 template <typename S> 26 int operator()(S const &) const { return 0; } 27 }; 28 29 struct BadUnaryFunction 30 { 31 template <typename S> 32 constexpr int operator()(S const &) const 33 { 34 // Trigger a compile error if this function is instantiated. 35 // The constexpr is needed so that it is instantiated while checking 36 // __invoke_of<BadUnaryFunction &, ...>. 37 static_assert(!std::is_same<S, S>::value, "Shit"); 38 return 0; 39 } 40 }; 41 42 int main() 43 { 44 // Check that BadUnaryFunction::operator()(S const &) is not 45 // instantiated when checking if BadUnaryFunction is a nested bind 46 // expression during b(0). See PR22003. 47 auto b = std::bind(DummyUnaryFunction(), BadUnaryFunction()); 48 b(0); 49 auto b2 = std::bind<long>(DummyUnaryFunction(), BadUnaryFunction()); 50 b2(0); 51 } 52