mirrors/gcc
0
0
Fork 0
mirror of https://gcc.gnu.org/git/gcc.git synced 2024-11-27 22:03:57 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity

ratio: New, per N2661.

Browse Source 
2008-07-04  Chris Fairles  <chris.fairles@gmail.com>

	* include/std/ratio: New, per N2661.
	* include/Makefile.am: Update.
	* include/Makefile.in: Regenerate.
	* testsuite/20_util/ratio/cons/cons1.cc: New.
	* testsuite/20_util/ratio/cons/cons_overflow.cc: Likewise.
	* testsuite/20_util/ratio/operations/ops1.cc: Likewise.
	* testsuite/20_util/ratio/operations/ops2.cc: Likewise.
	* testsuite/20_util/ratio/operations/ops3.cc: Likewise.
	* testsuite/20_util/ratio/operations/ops_overflow.cc: Likewise.
	* testsuite/20_util/ratio/comparisons/comp1.cc: Likewise.

From-SVN: r137482
This commit is contained in:
Chris Fairles 2008-07-04 18:45:09 +00:00 committed by Paolo Carlini
parent 47cfcc3ae8
commit 4acedca122
11 changed files with 760 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
libstdc++-v3/ChangeLog
View File

@ -1,3 +1,16 @@
2008-07-04 Chris Fairles <chris.fairles@gmail.com>
* include/std/ratio: New, per N2661.
* include/Makefile.am: Update.
* include/Makefile.in: Regenerate.
* testsuite/20_util/ratio/cons/cons1.cc: New.
* testsuite/20_util/ratio/cons/cons_overflow.cc: Likewise.
* testsuite/20_util/ratio/operations/ops1.cc: Likewise.
* testsuite/20_util/ratio/operations/ops2.cc: Likewise.
* testsuite/20_util/ratio/operations/ops3.cc: Likewise.
* testsuite/20_util/ratio/operations/ops_overflow.cc: Likewise.
* testsuite/20_util/ratio/comparisons/comp1.cc: Likewise.
2008-07-04 Paolo Carlini <paolo.carlini@oracle.com>
PR libstdc++/36616

1
libstdc++-v3/include/Makefile.am
View File

@ -55,6 +55,7 @@ std_headers = \
${std_srcdir}/queue \
${std_srcdir}/random \
${std_srcdir}/regex \
${std_srcdir}/ratio \
${std_srcdir}/set \
${std_srcdir}/sstream \
${std_srcdir}/stack \

1
libstdc++-v3/include/Makefile.in
View File

@ -307,6 +307,7 @@ std_headers = \
${std_srcdir}/ostream \
${std_srcdir}/queue \
${std_srcdir}/random \
${std_srcdir}/ratio \
${std_srcdir}/regex \
${std_srcdir}/set \
${std_srcdir}/sstream \

257
libstdc++-v3/include/std/ratio Normal file
View File

@ -0,0 +1,257 @@
// <ratio> -*- C++ -*-
// Copyright (C) 2008 Free Software Foundation, Inc.
//
// This file is part of the GNU ISO C++ Library. This library is free
// software; you can redistribute it and/or modify it under the
// terms of the GNU General Public License as published by the
// Free Software Foundation; either version 2, or (at your option)
// any later version.
// This library is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
// GNU General Public License for more details.
// You should have received a copy of the GNU General Public License
// along with this library; see the file COPYING. If not, write to
// the Free Software Foundation, 51 Franklin Street, Fifth Floor,
// Boston, MA 02110-1301, USA.
// As a special exception, you may use this file as part of a free software
// library without restriction. Specifically, if other files instantiate
// templates or use macros or inline functions from this file, or you compile
// this file and link it with other files to produce an executable, this
// file does not by itself cause the resulting executable to be covered by
// the GNU General Public License. This exception does not however
// invalidate any other reasons why the executable file might be covered by
// the GNU General Public License.
/** @file ratio
* This is a Standard C++ Library header.
*/
#ifndef _GLIBCXX_RATIO
#define _GLIBCXX_RATIO 1
#pragma GCC system_header
#ifndef __GXX_EXPERIMENTAL_CXX0X__
# include <c++0x_warning.h>
#else
#include <type_traits>
#include <cstdint>
#ifdef _GLIBCXX_USE_C99_STDINT_TR1
namespace std
{
template<intmax_t _Pn>
struct __static_sign
: integral_constant<intmax_t, (_Pn < 0) ? -1 : 1>
{ };
template<intmax_t _Pn>
struct __static_abs
: integral_constant<intmax_t, _Pn * __static_sign<_Pn>::value>
{ };
template<intmax_t _Pn, intmax_t _Qn>
struct __static_gcd;
template<intmax_t _Pn, intmax_t _Qn>
struct __static_gcd
: __static_gcd<_Qn, (_Pn % _Qn)>
{ };
template<intmax_t _Pn>
struct __static_gcd<_Pn, 0>
: integral_constant<intmax_t, __static_abs<_Pn>::value>
{ };
template<intmax_t _Qn>
struct __static_gcd<0, _Qn>
: integral_constant<intmax_t, __static_abs<_Qn>::value>
{ };
// Let c = 2^(half # of bits in an intmax_t)
// then we find a1, a0, b1, b0 s.t. N = a1*c + a0, M = b1*c + b0
// The multiplication of N and M becomes,
// N * M = (a1 * b1)c^2 + (a0 * b1 + b0 * a1)c + a0 * b0
// Multiplication is safe if each term and the sum of the terms
// is representable by intmax_t.
template<intmax_t _Pn, intmax_t _Qn>
struct __safe_multiply
{
private:
static const uintmax_t __c = uintmax_t(1) << (sizeof(intmax_t) * 4);
static const uintmax_t __a0 = __static_abs<_Pn>::value % __c;
static const uintmax_t __a1 = __static_abs<_Pn>::value / __c;
static const uintmax_t __b0 = __static_abs<_Qn>::value % __c;
static const uintmax_t __b1 = __static_abs<_Qn>::value / __c;
static_assert(__a1 == 0 || __b1 == 0,
"overflow in multiplication");
static_assert(__a0 * __b1 + __b0 * __a1 < (__c >> 1),
"overflow in multiplication");
static_assert(__b0 * __a0 <= INTMAX_MAX,
"overflow in multiplication");
static_assert((__a0 * __b1 + __b0 * __a1) * __c <=
INTMAX_MAX - __b0 * __a0, "overflow in multiplication");
public:
static const intmax_t value = _Pn * _Qn;
};
// Helpers for __safe_add
template<intmax_t _Pn, intmax_t _Qn, bool>
struct __add_overflow_check_impl
: integral_constant<bool, (_Pn <= INTMAX_MAX - _Qn)>
{ };
template<intmax_t _Pn, intmax_t _Qn>
struct __add_overflow_check_impl<_Pn, _Qn, false>
: integral_constant<bool, (_Pn >= -INTMAX_MAX - _Qn)>
{ };
template<intmax_t _Pn, intmax_t _Qn>
struct __add_overflow_check
: __add_overflow_check_impl<_Pn, _Qn, (_Qn >= 0)>
{ };
template<intmax_t _Pn, intmax_t _Qn>
struct __safe_add
{
static_assert(__add_overflow_check<_Pn, _Qn>::value != 0,
"overflow in addition");
static const intmax_t value = _Pn + _Qn;
};
template<intmax_t _Num, intmax_t _Den = 1>
struct ratio
{
static_assert(_Den != 0, "denominator cannot be zero");
static_assert(_Num > INTMAX_MIN && _Den > INTMAX_MIN, "out of range");
// Note: sign(N) * abs(N) == N
static const intmax_t num =
_Num * __static_sign<_Den>::value / __static_gcd<_Num, _Den>::value;
static const intmax_t den =
__static_abs<_Den>::value / __static_gcd<_Num, _Den>::value;
};
template<intmax_t _Num, intmax_t _Den>
const intmax_t ratio<_Num, _Den>::num;
template<intmax_t _Num, intmax_t _Den>
const intmax_t ratio<_Num, _Den>::den;
template<typename _R1, typename _R2>
struct ratio_add
{
private:
static const intmax_t __gcd =
__static_gcd<_R1::den, _R2::den>::value;
public:
typedef ratio<
__safe_add<
__safe_multiply<_R1::num, (_R2::den / __gcd)>::value,
__safe_multiply<_R2::num, (_R1::den / __gcd)>::value>::value,
__safe_multiply<_R1::den, (_R2::den / __gcd)>::value> type;
};
template<typename _R1, typename _R2>
struct ratio_subtract
{
typedef typename ratio_add<
_R1,
ratio<-_R2::num, _R2::den>>::type type;
};
template<typename _R1, typename _R2>
struct ratio_multiply
{
private:
static const intmax_t __gcd1 =
__static_gcd<_R1::num, _R2::den>::value;
static const intmax_t __gcd2 =
__static_gcd<_R2::num, _R1::den>::value;
public:
typedef ratio<
__safe_multiply<(_R1::num / __gcd1),
(_R2::num / __gcd2)>::value,
__safe_multiply<(_R1::den / __gcd2),
(_R2::den / __gcd1)>::value> type;
};
template<typename _R1, typename _R2>
struct ratio_divide
{
static_assert(_R2::num != 0, "division by 0");
typedef typename ratio_multiply<
_R1,
ratio<_R2::den, _R2::num>>::type type;
};
template<typename _R1, typename _R2>
struct ratio_equal
: integral_constant<bool, _R1::num == _R2::num && _R1::den == _R2::den>
{ };
template<typename _R1, typename _R2>
struct ratio_not_equal
: integral_constant<bool, !ratio_equal<_R1, _R2>::value>
{ };
template<typename _R1, typename _R2>
struct ratio_less
: integral_constant<bool,
(__safe_multiply<_R1::num, _R2::den>::value <
__safe_multiply<_R2::num, _R1::den>::value)>
{ };
template<typename _R1, typename _R2>
struct ratio_less_equal
: integral_constant<bool, !ratio_less<_R2, _R1>::value>
{ };
template<typename _R1, typename _R2>
struct ratio_greater
: integral_constant<bool, ratio_less<_R2, _R1>::value>
{ };
template<typename _R1, typename _R2>
struct ratio_greater_equal
: integral_constant<bool, !ratio_less<_R1, _R2>::value>
{ };
typedef ratio<1, 1000000000000000000> atto;
typedef ratio<1, 1000000000000000> femto;
typedef ratio<1, 1000000000000> pico;
typedef ratio<1, 1000000000> nano;
typedef ratio<1, 1000000> micro;
typedef ratio<1, 1000> milli;
typedef ratio<1, 100> centi;
typedef ratio<1, 10> deci;
typedef ratio< 10, 1> deca;
typedef ratio< 100, 1> hecto;
typedef ratio< 1000, 1> kilo;
typedef ratio< 1000000, 1> mega;
typedef ratio< 1000000000, 1> giga;
typedef ratio< 1000000000000, 1> tera;
typedef ratio< 1000000000000000, 1> peta;
typedef ratio< 1000000000000000000, 1> exa;
}
#endif //_GLIBCXX_USE_C99_STDINT_TR1
#endif //__GXX_EXPERIMENTAL_CXX0X__
#endif //_GLIBCXX_RATIO

87
libstdc++-v3/testsuite/20_util/ratio/comparisons/comp1.cc Normal file
View File

@ -0,0 +1,87 @@
// { dg-options "-std=gnu++0x" }
// Copyright (C) 2008 Free Software Foundation
//
// This file is part of the GNU ISO C++ Library. This library is free
// software; you can redistribute it and/or modify it under the
// terms of the GNU General Public License as published by the
// Free Software Foundation; either version 2, or (at your option)
// any later version.
// This library is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
// GNU General Public License for more details.
// You should have received a copy of the GNU General Public License
// along with this library; see the file COPYING. If not, write to
// the Free Software Foundation, 51 Franklin Street, Fifth Floor,
// Boston, MA 02110-1301, USA.
#include <ratio>
#include <testsuite_hooks.h>
#ifdef _GLIBCXX_USE_C99_STDINT_TR1
void
test01()
{
bool test __attribute__((unused)) = true;
VERIFY(( std::ratio_equal<std::ratio<2,6>, std::ratio<1,3>>::value == 1 ));
VERIFY(( std::ratio_equal<std::ratio<2,6>, std::ratio<1,4>>::value == 0 ));
VERIFY(( std::ratio_not_equal<std::ratio<2,6>,
std::ratio<1,3>>::value == 0 ));
VERIFY(( std::ratio_not_equal<std::ratio<2,6>,
std::ratio<1,4>>::value == 1 ));
}
void
test02()
{
bool test __attribute__((unused)) = true;
VERIFY(( std::ratio_less<std::ratio<1,4>, std::ratio<1,3>>::value == 1 ));
VERIFY(( std::ratio_less<std::ratio<-1,3>, std::ratio<1,3>>::value == 1 ));
VERIFY(( std::ratio_less<std::ratio<1,3>, std::ratio<1,4>>::value == 0 ));
VERIFY(( std::ratio_less<std::ratio<1,3>, std::ratio<-1,3>>::value == 0 ));
VERIFY(( std::ratio_less_equal<std::ratio<-1,3>,
std::ratio<-1,3>>::value == 1 ));
VERIFY(( std::ratio_less_equal<std::ratio<1,4>,
std::ratio<1,3>>::value == 1 ));
VERIFY(( std::ratio_less_equal<std::ratio<1,4>,
std::ratio<-1,3>>::value == 0 ));
VERIFY(( std::ratio_less_equal<std::ratio<1,3>,
std::ratio<-1,3>>::value == 0 ));
VERIFY(( std::ratio_greater<std::ratio<1,3>, std::ratio<1,4>>::value == 1 ));
VERIFY(( std::ratio_greater<std::ratio<1,3>, std::ratio<-1,3>>::value == 1 ));
VERIFY(( std::ratio_greater<std::ratio<1,4>, std::ratio<1,3>>::value == 0 ));
VERIFY(( std::ratio_greater<std::ratio<-1,3>, std::ratio<1,3>>::value == 0 ));
VERIFY(( std::ratio_greater_equal<std::ratio<1,3>,
std::ratio<1,3>>::value == 1 ));
VERIFY(( std::ratio_greater_equal<std::ratio<1,3>,
std::ratio<-1,3>>::value == 1 ));
VERIFY(( std::ratio_greater_equal<std::ratio<-1,3>,
std::ratio<1,3>>::value == 0 ));
VERIFY(( std::ratio_greater_equal<std::ratio<1,4>,
std::ratio<1,3>>::value == 0 ));
}
#endif //_GLIBCXX_USE_C99_STDINT_TR1
int main()
{
#ifdef _GLIBCXX_USE_C99_STDINT_TR1
test01();
test02();
#endif
return 0;
}

57
libstdc++-v3/testsuite/20_util/ratio/cons/cons1.cc Normal file
View File

@ -0,0 +1,57 @@
// { dg-options "-std=gnu++0x" }
// 2008-07-03 Chris Fairles <chris.fairles@gmail.com>
// Copyright (C) 2008 Free Software Foundation
//
// This file is part of the GNU ISO C++ Library. This library is free
// software; you can redistribute it and/or modify it under the
// terms of the GNU General Public License as published by the
// Free Software Foundation; either version 2, or (at your option)
// any later version.
// This library is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
// GNU General Public License for more details.
// You should have received a copy of the GNU General Public License
// along with this library; see the file COPYING. If not, write to
// the Free Software Foundation, 51 Franklin Street, Fifth Floor,
// Boston, MA 02110-1301, USA.
#include <ratio>
#include <testsuite_hooks.h>
#ifdef _GLIBCXX_USE_C99_STDINT_TR1
void
test01()
{
bool test __attribute__((unused)) = true;
std::ratio<1,3> r0;
std::ratio<2,6> r1;
std::ratio<2,-6> r2;
std::ratio<-2,6> r3;
VERIFY( r0.num == 1 );
VERIFY( r0.den == 3 );
VERIFY( r1.num == r0.num );
VERIFY( r1.den == r0.den );
VERIFY( r2.num == -r0.num );
VERIFY( r2.den == r0.den );
VERIFY( r3.num == -r0.num );
VERIFY( r3.den == r0.den );
}
#endif //_GLIBCXX_USE_C99_STDINT_TR1
int main()
{
#ifdef _GLIBCXX_USE_C99_STDINT_TR1
test01();
#endif //_GLIBCXX_USE_C99_STDINT_TR1
return 0;
}

58
libstdc++-v3/testsuite/20_util/ratio/cons/cons_overflow.cc Normal file
View File

@ -0,0 +1,58 @@
// { dg-options "-std=gnu++0x" }
// { dg-do compile }
// Copyright (C) 2008 Free Software Foundation
//
// This file is part of the GNU ISO C++ Library. This library is free
// software; you can redistribute it and/or modify it under the
// terms of the GNU General Public License as published by the
// Free Software Foundation; either version 2, or (at your option)
// any later version.
// This library is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
// GNU General Public License for more details.
// You should have received a copy of the GNU General Public License
// along with this library; see the file COPYING. If not, write to
// the Free Software Foundation, 51 Franklin Street, Fifth Floor,
// Boston, MA 02110-1301, USA.
#include <ratio>
#ifdef _GLIBCXX_USE_C99_STDINT_TR1
void
test01()
{
std::ratio<INTMAX_MAX, INTMAX_MAX> r1;
std::ratio<-INTMAX_MAX, INTMAX_MAX> r2;
}
void
test02()
{
std::ratio<INTMAX_MIN, 1> r1;
}
void
test03()
{
std::ratio<1, INTMAX_MIN> r1;
}
void
test04()
{
std::ratio<1,0> r1;
}
// { dg-error "instantiated from here" "" { target *-*-* } 36 }
// { dg-error "instantiated from here" "" { target *-*-* } 42 }
// { dg-error "instantiated from here" "" { target *-*-* } 48 }
// { dg-error "denominator cannot be zero" "" { target *-*-* } 136 }
// { dg-error "out of range" "" { target *-*-* } 137 }
// { dg-excess-errors "In instantiation of" }
#endif //_GLIBCXX_USE_C99_STDINT_TR1

80
libstdc++-v3/testsuite/20_util/ratio/operations/ops1.cc Normal file
View File

@ -0,0 +1,80 @@
// { dg-options "-std=gnu++0x" }
// 2008-07-03 Chris Fairles <chris.fairles@gmail.com>
// Copyright (C) 2008 Free Software Foundation
//
// This file is part of the GNU ISO C++ Library. This library is free
// software; you can redistribute it and/or modify it under the
// terms of the GNU General Public License as published by the
// Free Software Foundation; either version 2, or (at your option)
// any later version.
// This library is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
// GNU General Public License for more details.
// You should have received a copy of the GNU General Public License
// along with this library; see the file COPYING. If not, write to
// the Free Software Foundation, 51 Franklin Street, Fifth Floor,
// Boston, MA 02110-1301, USA.
#include <ratio>
#include <testsuite_hooks.h>
#ifdef _GLIBCXX_USE_C99_STDINT_TR1
void
test01()
{
bool test __attribute__((unused)) = true;
std::ratio_add<std::ratio<3,8>, std::ratio<5,12>>::type r;
VERIFY( r.num == 19);
VERIFY( r.den == 24);
}
void
test02()
{
bool test __attribute__((unused)) = true;
std::ratio_subtract<std::ratio<3,8>, std::ratio<5,12>>::type r;
VERIFY( r.num == -1);
VERIFY( r.den == 24);
}
void
test03()
{
bool test __attribute__((unused)) = true;
std::ratio_multiply<std::ratio<3,8>, std::ratio<5,12>>::type r;
VERIFY( r.num == 5);
VERIFY( r.den == 32);
}
void
test04()
{
bool test __attribute__((unused)) = true;
std::ratio_divide<std::ratio<3,8>, std::ratio<5,12>>::type r;
VERIFY( r.num == 9);
VERIFY( r.den == 10);
}
#endif //_GLIBCXX_USE_C99_STDINT_TR1
int main()
{
#ifdef _GLIBCXX_USE_C99_STDINT_TR1
test01();
test02();
test03();
test04();
#endif //_GLIBCXX_USE_C99_STDINT_TR1
return 0;
}

78
libstdc++-v3/testsuite/20_util/ratio/operations/ops2.cc Normal file
View File

@ -0,0 +1,78 @@
// { dg-options "-std=gnu++0x" }
// 2008-07-03 Chris Fairles <chris.fairles@gmail.com>
// Copyright (C) 2008 Free Software Foundation
//
// This file is part of the GNU ISO C++ Library. This library is free
// software; you can redistribute it and/or modify it under the
// terms of the GNU General Public License as published by the
// Free Software Foundation; either version 2, or (at your option)
// any later version.
// This library is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
// GNU General Public License for more details.
// You should have received a copy of the GNU General Public License
// along with this library; see the file COPYING. If not, write to
// the Free Software Foundation, 51 Franklin Street, Fifth Floor,
// Boston, MA 02110-1301, USA.
#include <ratio>
#include <testsuite_hooks.h>
#ifdef _GLIBCXX_USE_C99_STDINT_TR1
typedef std::ratio<1, INTMAX_MAX> one_over_max;
typedef std::ratio<2, INTMAX_MAX> two_over_max;
typedef std::ratio<INTMAX_MAX, 1> max_over_one;
typedef std::ratio<INTMAX_MAX, 2> max_over_two;
void
test01()
{
bool test __attribute__((unused)) = true;
std::ratio_add<one_over_max, one_over_max>::type r1;
VERIFY( r1.num == two_over_max::num);
VERIFY( r1.den == two_over_max::den);
std::ratio_add<
std::ratio<INTMAX_MAX / 2, INTMAX_MAX / 2>,
std::ratio<INTMAX_MAX / 2 , INTMAX_MAX / 2 + 1>>::type r2;
VERIFY( r2.num == INTMAX_MAX);
VERIFY( r2.den == (INTMAX_MAX / 2) + 1);
}
void
test02()
{
bool test __attribute__((unused)) = true;
std::ratio_subtract<one_over_max, one_over_max>::type r1;
VERIFY( r1.num == 0);
VERIFY( r1.den == 1);
std::ratio_subtract<
std::ratio<INTMAX_MAX / 2, INTMAX_MAX / 2>,
std::ratio<INTMAX_MAX / 2 , INTMAX_MAX / 2 + 1>>::type r2;
VERIFY( r2.num == 1);
VERIFY( r2.den == (INTMAX_MAX / 2) + 1);
}
#endif //_GLIBCXX_USE_C99_STDINT_TR1
int main()
{
#ifdef _GLIBCXX_USE_C99_STDINT_TR1
test01();
test02();
#endif //_GLIBCXX_USE_C99_STDINT_TR1
return 0;
}

77
libstdc++-v3/testsuite/20_util/ratio/operations/ops3.cc Normal file
View File

@ -0,0 +1,77 @@
// { dg-options "-std=gnu++0x" }
// 2008-07-03 Chris Fairles <chris.fairles@gmail.com>
// Copyright (C) 2008 Free Software Foundation
//
// This file is part of the GNU ISO C++ Library. This library is free
// software; you can redistribute it and/or modify it under the
// terms of the GNU General Public License as published by the
// Free Software Foundation; either version 2, or (at your option)
// any later version.
// This library is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
// GNU General Public License for more details.
// You should have received a copy of the GNU General Public License
// along with this library; see the file COPYING. If not, write to
// the Free Software Foundation, 51 Franklin Street, Fifth Floor,
// Boston, MA 02110-1301, USA.
#include <ratio>
#include <testsuite_hooks.h>
#ifdef _GLIBCXX_USE_C99_STDINT_TR1
void
test01()
{
bool test __attribute__((unused)) = true;
std::ratio_multiply<
std::ratio<2, INTMAX_MAX>,
std::ratio<INTMAX_MAX, 2>>::type r1;
VERIFY( r1.num == 1);
VERIFY( r1.den == 1);
std::ratio_multiply<
std::ratio<INTMAX_MAX, 2>,
std::ratio<2 , INTMAX_MAX - 1>>::type r2;
VERIFY( r2.num == INTMAX_MAX);
VERIFY( r2.den == INTMAX_MAX - 1);
}
void
test02()
{
bool test __attribute__((unused)) = true;
std::ratio_divide<
std::ratio<INTMAX_MAX, 2>,
std::ratio<INTMAX_MAX, 2>>::type r1;
VERIFY( r1.num == 1);
VERIFY( r1.den == 1);
std::ratio_divide<
std::ratio<INTMAX_MAX-1, 2>,
std::ratio<INTMAX_MAX, 2>>::type r2;
VERIFY( r2.num == INTMAX_MAX - 1);
VERIFY( r2.den == INTMAX_MAX);
}
#endif //_GLIBCXX_USE_C99_STDINT_TR1
int main()
{
#ifdef _GLIBCXX_USE_C99_STDINT_TR1
test01();
test02();
#endif //_GLIBCXX_USE_C99_STDINT_TR1
return 0;
}

51
libstdc++-v3/testsuite/20_util/ratio/operations/ops_overflow.cc Normal file
View File

@ -0,0 +1,51 @@
// { dg-options "-std=gnu++0x" }
// { dg-do compile }
// 2008-07-03 Chris Fairles <chris.fairles@gmail.com>
// Copyright (C) 2008 Free Software Foundation
//
// This file is part of the GNU ISO C++ Library. This library is free
// software; you can redistribute it and/or modify it under the
// terms of the GNU General Public License as published by the
// Free Software Foundation; either version 2, or (at your option)
// any later version.
// This library is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
// GNU General Public License for more details.
// You should have received a copy of the GNU General Public License
// along with this library; see the file COPYING. If not, write to
// the Free Software Foundation, 51 Franklin Street, Fifth Floor,
// Boston, MA 02110-1301, USA.
#include <ratio>
#ifdef _GLIBCXX_USE_C99_STDINT_TR1
void
test01()
{
std::ratio_add<std::ratio<INTMAX_MAX, 1>, std::ratio<1>>::type r1;
}
void
test02()
{
std::ratio_multiply<std::ratio<-INTMAX_MAX, 2>, std::ratio<3, 2>>::type r1;
std::ratio_multiply<std::ratio<INTMAX_MAX>, std::ratio<INTMAX_MAX>>::type r2;
}
// { dg-error "instantiated from here" "" { target *-*-* } 31 }
// { dg-error "instantiated from here" "" { target *-*-* } 37 }
// { dg-error "instantiated from here" "" { target *-*-* } 38 }
// { dg-error "overflow in addition" "" { target *-*-* } 127 }
// { dg-error "overflow in multiplication" "" { target *-*-* } 95 }
// { dg-error "overflow in multiplication" "" { target *-*-* } 97 }
// { dg-error "overflow in multiplication" "" { target *-*-* } 99 }
// { dg-excess-errors "In instantiation of" }
// { dg-excess-errors "out of range" }
#endif //_GLIBCXX_USE_C99_STDINT_TR1