Function TEST

test/unit/cute/core/math.cpp:49–86

If cute::gcd returns auto instead of common_type_t , then GCC 7.5 reports the following error; ... /include/cute/numeric/math.hpp:103:26: error: inconsistent deduction for auto return type: ‘int’ and then ‘bool’ if (u == 0) { return t; } ^ Note that common_type_t , C<1>>::value_type might still be bool.

//                           ^
// Note that common_type_t<C<42>, C<1>>::value_type might still be bool.
TEST(CuTe_core, gcd_returns_common_type)
{
  using cute::C;

  constexpr auto fifteen = C<3 * 5>{};
  static_assert(cute::is_same_v<decltype(fifteen)::value_type, int>);
  static_assert(int(fifteen) == 15);

  constexpr auto forty_two = C<2 * 3 * 7>{};
  static_assert(cute::is_same_v<decltype(forty_two)::value_type, int>);
  static_assert(int(forty_two) == 42);

  // C<1>::value_type (as well as C<0>::value_type) may be bool.
  constexpr auto one = C<1>{};

  // Both inputs have value_type int.
  {
    constexpr auto result = cute::gcd(fifteen, forty_two);
    static_assert(cute::is_same_v<decltype(result)::value_type, int>);
    static_assert(int(result) == 3);
  }

  // One input has value_type int, and the other may have value_type bool.
  {
    constexpr auto result = cute::gcd(one, forty_two);
    static_assert(int(result) == 1);
  }
  {
    constexpr auto result = cute::gcd(forty_two, one);
    static_assert(int(result) == 1);
  }

  // Both inputs may have value_type bool.
  {
    constexpr auto result = cute::gcd(one, one);
    static_assert(int(result) == 1);
  }
}

TEST(CuTe_core, lcm_returns_common_type)
{