generic-library/cxx
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Fix ratio arithmetic with zero

Browse Source 
git-svn-id: https://llvm.org/svn/llvm-project/libcxx/trunk@143519 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Howard Hinnant 2011-11-01 23:13:37 +00:00
parent 6cd051bc34
commit ce6884cc76
3 changed files with 42 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
include/ratio
View File

@ -90,6 +90,12 @@ struct __static_gcd<_Xp, 0>
static const intmax_t value = _Xp; static const intmax_t value = _Xp;
}; };
template <>
struct __static_gcd<0, 0>
{
static const intmax_t value = 1;
};
// __static_lcm // __static_lcm
template <intmax_t _Xp, intmax_t _Yp> template <intmax_t _Xp, intmax_t _Yp>

18
test/utilities/ratio/ratio.arithmetic/ratio_add.pass.cpp
View File

@ -55,4 +55,22 @@ int main()
typedef std::ratio_add<R1, R2>::type R; typedef std::ratio_add<R1, R2>::type R;
static_assert(R::num == 127970191639601LL && R::den == 5177331081415LL, ""); static_assert(R::num == 127970191639601LL && R::den == 5177331081415LL, "");
} }
{
typedef std::ratio<0> R1;
typedef std::ratio<0> R2;
typedef std::ratio_add<R1, R2>::type R;
static_assert(R::num == 0 && R::den == 1, "");
}
{
typedef std::ratio<1> R1;
typedef std::ratio<0> R2;
typedef std::ratio_add<R1, R2>::type R;
static_assert(R::num == 1 && R::den == 1, "");
}
{
typedef std::ratio<0> R1;
typedef std::ratio<1> R2;
typedef std::ratio_add<R1, R2>::type R;
static_assert(R::num == 1 && R::den == 1, "");
}
} }

18
test/utilities/ratio/ratio.arithmetic/ratio_subtract.pass.cpp
View File

@ -55,4 +55,22 @@ int main()
typedef std::ratio_subtract<R1, R2>::type R; typedef std::ratio_subtract<R1, R2>::type R;
static_assert(R::num == -126708206685271LL && R::den == 5177331081415LL, ""); static_assert(R::num == -126708206685271LL && R::den == 5177331081415LL, "");
} }
{
typedef std::ratio<0> R1;
typedef std::ratio<0> R2;
typedef std::ratio_subtract<R1, R2>::type R;
static_assert(R::num == 0 && R::den == 1, "");
}
{
typedef std::ratio<1> R1;
typedef std::ratio<0> R2;
typedef std::ratio_subtract<R1, R2>::type R;
static_assert(R::num == 1 && R::den == 1, "");
}
{
typedef std::ratio<0> R1;
typedef std::ratio<1> R2;
typedef std::ratio_subtract<R1, R2>::type R;
static_assert(R::num == -1 && R::den == 1, "");
}
} }