BillyONeal updated this revision to Diff 98205.
BillyONeal added a comment.
Resolved CR comments
https://reviews.llvm.org/D32309
Files:
test/std/numerics/numeric.ops/numeric.ops.gcd/gcd.pass.cpp
test/std/numerics/numeric.ops/numeric.ops.lcm/lcm.pass.cpp
Index: test/std/numerics/numeric.ops/numeric.ops.lcm/lcm.pass.cpp
===================================================================
--- test/std/numerics/numeric.ops/numeric.ops.lcm/lcm.pass.cpp
+++ test/std/numerics/numeric.ops/numeric.ops.lcm/lcm.pass.cpp
@@ -11,12 +11,14 @@
// <numeric>
// template<class _M, class _N>
-// constexpr common_type_t<_M,_N> gcd(_M __m, _N __n)
+// constexpr common_type_t<_M,_N> lcm(_M __m, _N __n)
#include <numeric>
#include <cassert>
+#include <climits>
+#include <cstdint>
#include <cstdlib>
-#include <iostream>
+#include <type_traits>
constexpr struct {
int x;
@@ -34,11 +36,19 @@
};
template <typename Input1, typename Input2, typename Output>
-constexpr bool test0(Input1 in1, Input2 in2, Output out)
+constexpr bool test0(int in1, int in2, int out)
{
- static_assert((std::is_same<Output, decltype(std::lcm(Input1(0), Input2(0)))>::value), "" );
- static_assert((std::is_same<Output, decltype(std::lcm(Input2(0), Input1(0)))>::value), "" );
- return out == std::lcm(in1, in2) ? true : (std::abort(), false);
+ static_assert(std::is_same<Output, decltype(
+ std::lcm(static_cast<Input1>(0), static_cast<Input2>(0)))>::value, "");
+ static_assert(std::is_same<Output, decltype(
+ std::lcm(static_cast<Input2>(0), static_cast<Input1>(0)))>::value, "");
+ const bool result = static_cast<Output>(out) ==
+ std::lcm(static_cast<Input1>(in1), static_cast<Input2>(in2));
+ if (!result) {
+ std::abort();
+ }
+
+ return result;
}
@@ -101,15 +111,15 @@
assert(do_test<long>(non_cce));
assert(do_test<long long>(non_cce));
- static_assert(do_test< int8_t>(), "");
- static_assert(do_test<int16_t>(), "");
- static_assert(do_test<int32_t>(), "");
- static_assert(do_test<int64_t>(), "");
+ static_assert(do_test<std::int8_t>(), "");
+ static_assert(do_test<std::int16_t>(), "");
+ static_assert(do_test<std::int32_t>(), "");
+ static_assert(do_test<std::int64_t>(), "");
- assert(do_test< int8_t>(non_cce));
- assert(do_test<int16_t>(non_cce));
- assert(do_test<int32_t>(non_cce));
- assert(do_test<int64_t>(non_cce));
+ assert(do_test<std::int8_t>(non_cce));
+ assert(do_test<std::int16_t>(non_cce));
+ assert(do_test<std::int32_t>(non_cce));
+ assert(do_test<std::int64_t>(non_cce));
static_assert(do_test<signed char, int>(), "");
static_assert(do_test<int, signed char>(), "");
@@ -131,9 +141,9 @@
// LWG#2837
{
- auto res1 = std::lcm((int64_t)1234, (int32_t)-2147483648);
- (void) std::lcm<int, unsigned long>(INT_MIN, 2); // this used to trigger UBSAN
- static_assert( std::is_same<decltype(res1), std::common_type<int64_t, int32_t>::type>::value, "");
- assert(res1 == 1324997410816LL);
+ auto res1 = std::lcm(static_cast<std::int64_t>(1234), INT32_MIN);
+ (void)std::lcm(INT_MIN, 2UL); // this used to trigger UBSAN
+ static_assert(std::is_same<decltype(res1), std::int64_t>::value, "");
+ assert(res1 == 1324997410816LL);
}
}
Index: test/std/numerics/numeric.ops/numeric.ops.gcd/gcd.pass.cpp
===================================================================
--- test/std/numerics/numeric.ops/numeric.ops.gcd/gcd.pass.cpp
+++ test/std/numerics/numeric.ops/numeric.ops.gcd/gcd.pass.cpp
@@ -16,8 +16,10 @@
#include <numeric>
#include <cassert>
+#include <climits>
+#include <cstdint>
#include <cstdlib> // for rand()
-#include <iostream>
+#include <type_traits>
constexpr struct {
int x;
@@ -36,11 +38,19 @@
template <typename Input1, typename Input2, typename Output>
-constexpr bool test0(Input1 in1, Input2 in2, Output out)
+constexpr bool test0(int in1, int in2, int out)
{
- static_assert((std::is_same<Output, decltype(std::gcd(in1, in2))>::value), "" );
- static_assert((std::is_same<Output, decltype(std::gcd(in2, in1))>::value), "" );
- return out == std::gcd(in1, in2) ? true : (std::abort(), false);
+ static_assert(std::is_same<Output, decltype(
+ std::gcd(static_cast<Input1>(0), static_cast<Input2>(0)))>::value, "");
+ static_assert(std::is_same<Output, decltype(
+ std::gcd(static_cast<Input2>(0), static_cast<Input1>(0)))>::value, "");
+ const bool result = static_cast<Output>(out) ==
+ std::gcd(static_cast<Input1>(in1), static_cast<Input2>(in2));
+ if (!result) {
+ std::abort();
+ }
+
+ return result;
}
@@ -103,15 +113,15 @@
assert(do_test<long>(non_cce));
assert(do_test<long long>(non_cce));
- static_assert(do_test< int8_t>(), "");
- static_assert(do_test<int16_t>(), "");
- static_assert(do_test<int32_t>(), "");
- static_assert(do_test<int64_t>(), "");
+ static_assert(do_test<std::int8_t>(), "");
+ static_assert(do_test<std::int16_t>(), "");
+ static_assert(do_test<std::int32_t>(), "");
+ static_assert(do_test<std::int64_t>(), "");
- assert(do_test< int8_t>(non_cce));
- assert(do_test<int16_t>(non_cce));
- assert(do_test<int32_t>(non_cce));
- assert(do_test<int64_t>(non_cce));
+ assert(do_test<std::int8_t>(non_cce));
+ assert(do_test<std::int16_t>(non_cce));
+ assert(do_test<std::int32_t>(non_cce));
+ assert(do_test<std::int64_t>(non_cce));
static_assert(do_test<signed char, int>(), "");
static_assert(do_test<int, signed char>(), "");
@@ -133,8 +143,8 @@
// LWG#2837
{
- auto res = std::gcd((int64_t)1234, (int32_t)-2147483648);
- static_assert( std::is_same<decltype(res), std::common_type<int64_t, int32_t>::type>::value, "");
- assert(res == 2);
+ auto res = std::gcd(static_cast<std::int64_t>(1234), INT32_MIN);
+ static_assert(std::is_same<decltype(res), std::int64_t>::value, "");
+ assert(res == 2);
}
}
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
