diff options
author | paolo <paolo@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-02-28 16:46:23 +0000 |
---|---|---|
committer | paolo <paolo@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-02-28 16:46:23 +0000 |
commit | c8ad0c7dd5ab9d85a00af9d711c60d7497e9cd62 (patch) | |
tree | ba6b532c4a17ae79857e84f545a7642e9b761144 /libstdc++-v3/testsuite/20_util/ratio | |
parent | cd799492f31f7ba49a8b32bc539de7c92f49679b (diff) | |
download | gcc-c8ad0c7dd5ab9d85a00af9d711c60d7497e9cd62.tar.gz |
2011-02-28 Paolo Carlini <paolo.carlini@oracle.com>
* testsuite/20_util/ratio/comparisons/comp3.cc: New.
2011-02-28 Marc Glisse <marc.glisse@normalesup.org>
PR libstdc++/42622
* include/std/ratio (ratio_less): Reimplement to never overflow.
* testsuite/20_util/ratio/comparisons/comp2.cc: Extend.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@170567 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'libstdc++-v3/testsuite/20_util/ratio')
-rw-r--r-- | libstdc++-v3/testsuite/20_util/ratio/comparisons/comp2.cc | 5 | ||||
-rw-r--r-- | libstdc++-v3/testsuite/20_util/ratio/comparisons/comp3.cc | 75 |
2 files changed, 79 insertions, 1 deletions
diff --git a/libstdc++-v3/testsuite/20_util/ratio/comparisons/comp2.cc b/libstdc++-v3/testsuite/20_util/ratio/comparisons/comp2.cc index 151dc64450e..20da30cbe25 100644 --- a/libstdc++-v3/testsuite/20_util/ratio/comparisons/comp2.cc +++ b/libstdc++-v3/testsuite/20_util/ratio/comparisons/comp2.cc @@ -1,7 +1,7 @@ // { dg-options "-std=gnu++0x" } // { dg-require-cstdint "" } -// Copyright (C) 2008, 2009, 2010 Free Software Foundation +// Copyright (C) 2008, 2009, 2010, 2011 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 @@ -48,6 +48,9 @@ test01() VERIFY( (std::ratio_less<std::ratio<-M, M - 1>, std::ratio<-M, M - 2>>::value == 0) ); + + VERIFY( (std::ratio_less<std::ratio<M - 2, M - 1>, + std::ratio<M - 1, M>>::value == 1) ); } int main() diff --git a/libstdc++-v3/testsuite/20_util/ratio/comparisons/comp3.cc b/libstdc++-v3/testsuite/20_util/ratio/comparisons/comp3.cc new file mode 100644 index 00000000000..f8c0c486b4a --- /dev/null +++ b/libstdc++-v3/testsuite/20_util/ratio/comparisons/comp3.cc @@ -0,0 +1,75 @@ +// { dg-options "-std=gnu++0x" } +// { dg-require-cstdint "" } + +// 2011-02-28 Paolo Carlini <paolo.carlini@oracle.com> + +// Copyright (C) 2011 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 3, 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 COPYING3. If not see +// <http://www.gnu.org/licenses/>. + +#include <ratio> +#include <testsuite_hooks.h> + +void +test01() +{ + bool test __attribute__((unused)) = true; + + VERIFY( (std::ratio_less<std::ratio<59, 29131>, + std::ratio<59, 29129>>::value == 1) ); + VERIFY( (std::ratio_less<std::ratio<4733, 13>, + std::ratio<4751, 13>>::value == 1) ); + VERIFY( (std::ratio_less<std::ratio<25703, 25717>, + std::ratio<25733, 25741>>::value == 1) ); + VERIFY( (std::ratio_less<std::ratio<631, 769>, + std::ratio<673, 773>>::value == 1) ); + VERIFY( (std::ratio_less<std::ratio<8353, 16903>, + std::ratio<17891, 32099>>::value == 1) ); + VERIFY( (std::ratio_less<std::ratio<2311, 18701>, + std::ratio<18457, 19571>>::value == 1) ); + + VERIFY( (std::ratio_less<std::ratio<60, 29132>, + std::ratio<60, 29130>>::value == 1) ); + VERIFY( (std::ratio_less<std::ratio<4734, 14>, + std::ratio<4752, 14>>::value == 1) ); + VERIFY( (std::ratio_less<std::ratio<25704, 25718>, + std::ratio<25732, 25742>>::value == 1) ); + VERIFY( (std::ratio_less<std::ratio<632, 770>, + std::ratio<674, 774>>::value == 1) ); + VERIFY( (std::ratio_less<std::ratio<8352, 16904>, + std::ratio<17892, 32100>>::value == 1) ); + VERIFY( (std::ratio_less<std::ratio<2312, 18702>, + std::ratio<18458, 19572>>::value == 1) ); + + VERIFY( (std::ratio_less<std::ratio<58, 29130>, + std::ratio<58, 29128>>::value == 1) ); + VERIFY( (std::ratio_less<std::ratio<4732, 12>, + std::ratio<4750, 12>>::value == 1) ); + VERIFY( (std::ratio_less<std::ratio<25702, 25716>, + std::ratio<25734, 25740>>::value == 1) ); + VERIFY( (std::ratio_less<std::ratio<630, 768>, + std::ratio<672, 772>>::value == 1) ); + VERIFY( (std::ratio_less<std::ratio<8354, 16902>, + std::ratio<17890, 32102>>::value == 1) ); + VERIFY( (std::ratio_less<std::ratio<2310, 18700>, + std::ratio<18456, 19570>>::value == 1) ); +} + +int main() +{ + test01(); + return 0; +} |