From 7a1c0efff4630e895f4ba07b94bb20e702dbb181 Mon Sep 17 00:00:00 2001
From: Marshall Clow <mclow.lists@gmail.com>
Date: Mon, 6 Feb 2017 16:03:23 +0000
Subject: Add some tests to verify that we implement LWG#2837 correctly. No
 functional change.

llvm-svn: 294194
---
 libcxx/test/std/numerics/numeric.ops/numeric.ops.lcm/lcm.pass.cpp | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'libcxx/test/std/numerics/numeric.ops/numeric.ops.lcm/lcm.pass.cpp')

diff --git a/libcxx/test/std/numerics/numeric.ops/numeric.ops.lcm/lcm.pass.cpp b/libcxx/test/std/numerics/numeric.ops/numeric.ops.lcm/lcm.pass.cpp
index cd03d99ebf1..799a7ebfa78 100644
--- a/libcxx/test/std/numerics/numeric.ops/numeric.ops.lcm/lcm.pass.cpp
+++ b/libcxx/test/std/numerics/numeric.ops/numeric.ops.lcm/lcm.pass.cpp
@@ -128,4 +128,11 @@ int main()
     assert((do_test<long, int>(non_cce)));
     assert((do_test<int, long long>(non_cce)));
     assert((do_test<long long, int>(non_cce)));
+
+//  LWG#2837
+    {
+        auto res = std::lcm((int64_t)1234, (int32_t)-2147483648);
+        static_assert( std::is_same<decltype(res), std::common_type<int64_t, int32_t>::type>::value, "");
+        assert(res == -1324997410816LL);
+    }
 }
-- 
cgit v1.2.3