[PATCH] D56918: [clang-tidy] add reproducer for PR39949 into test-suite

Jonas Toth via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Fri Jan 18 09:19:10 PST 2019


JonasToth created this revision.
JonasToth added reviewers: alexfh, aaron.ballman, hokein, hwright.
Herald added subscribers: cfe-commits, xazax.hun.

The underlying issue is fixed in https://reviews.llvm.org/D56444
and this test ensures the issue does not creep back into our
code-base.


Repository:
  rCTE Clang Tools Extra

https://reviews.llvm.org/D56918

Files:
  test/clang-tidy/abseil-upgrade-duration-conversions.cpp


Index: test/clang-tidy/abseil-upgrade-duration-conversions.cpp
===================================================================
--- test/clang-tidy/abseil-upgrade-duration-conversions.cpp
+++ test/clang-tidy/abseil-upgrade-duration-conversions.cpp
@@ -430,3 +430,36 @@
   factoryTemplateAndMacro<ConvertibleTo<int>>();
   TemplateFactoryInMacro(ConvertibleTo<int>());
 }
+
+// This is a reduced test-case for PR39949 and manifested in this check.
+namespace std {
+template <typename _Tp>
+_Tp declval();
+
+template <typename _Functor, typename... _ArgTypes>
+struct __res {
+  template <typename... _Args>
+  static decltype(declval<_Functor>()(_Args()...)) _S_test(int);
+
+  template <typename...>
+  static void _S_test(...);
+
+  typedef decltype(_S_test<_ArgTypes...>(0)) type;
+};
+
+template <typename>
+struct function;
+
+template <typename... _ArgTypes>
+struct function<void(_ArgTypes...)> {
+  template <typename _Functor,
+            typename = typename __res<_Functor, _ArgTypes...>::type>
+  function(_Functor) {}
+};
+} // namespace std
+
+typedef std::function<void(void)> F;
+
+F foo() {
+  return F([] {});
+}


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D56918.182536.patch
Type: text/x-patch
Size: 1135 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20190118/232507d5/attachment.bin>


More information about the cfe-commits mailing list