From 554fd8c5195424bdbcabf5de30fdc183aba391bd Mon Sep 17 00:00:00 2001 From: upstream source tree Date: Sun, 15 Mar 2015 20:14:05 -0400 Subject: obtained gcc-4.6.4.tar.bz2 from upstream website; verified gcc-4.6.4.tar.bz2.sig; imported gcc-4.6.4 source tree from verified upstream tarball. downloading a git-generated archive based on the 'upstream' tag should provide you with a source tree that is binary identical to the one extracted from the above tarball. if you have obtained the source via the command 'git clone', however, do note that line-endings of files in your working directory might differ from line-endings of the respective files in the upstream repository. --- .../testsuite/20_util/ratio/comparisons/comp1.cc | 86 ++++++++++++++++++++++ .../testsuite/20_util/ratio/comparisons/comp2.cc | 60 +++++++++++++++ .../testsuite/20_util/ratio/comparisons/comp3.cc | 75 +++++++++++++++++++ libstdc++-v3/testsuite/20_util/ratio/cons/cons1.cc | 51 +++++++++++++ .../20_util/ratio/cons/cons_overflow_neg.cc | 54 ++++++++++++++ .../testsuite/20_util/ratio/operations/45866.cc | 67 +++++++++++++++++ .../testsuite/20_util/ratio/operations/47913.cc | 42 +++++++++++ .../testsuite/20_util/ratio/operations/ops1.cc | 74 +++++++++++++++++++ .../testsuite/20_util/ratio/operations/ops2.cc | 72 ++++++++++++++++++ .../testsuite/20_util/ratio/operations/ops3.cc | 71 ++++++++++++++++++ .../20_util/ratio/operations/ops_overflow_neg.cc | 47 ++++++++++++ .../20_util/ratio/requirements/constexpr_data.cc | 60 +++++++++++++++ 12 files changed, 759 insertions(+) create mode 100644 libstdc++-v3/testsuite/20_util/ratio/comparisons/comp1.cc create mode 100644 libstdc++-v3/testsuite/20_util/ratio/comparisons/comp2.cc create mode 100644 libstdc++-v3/testsuite/20_util/ratio/comparisons/comp3.cc create mode 100644 libstdc++-v3/testsuite/20_util/ratio/cons/cons1.cc create mode 100644 libstdc++-v3/testsuite/20_util/ratio/cons/cons_overflow_neg.cc create mode 100644 libstdc++-v3/testsuite/20_util/ratio/operations/45866.cc create mode 100644 libstdc++-v3/testsuite/20_util/ratio/operations/47913.cc create mode 100644 libstdc++-v3/testsuite/20_util/ratio/operations/ops1.cc create mode 100644 libstdc++-v3/testsuite/20_util/ratio/operations/ops2.cc create mode 100644 libstdc++-v3/testsuite/20_util/ratio/operations/ops3.cc create mode 100644 libstdc++-v3/testsuite/20_util/ratio/operations/ops_overflow_neg.cc create mode 100644 libstdc++-v3/testsuite/20_util/ratio/requirements/constexpr_data.cc (limited to 'libstdc++-v3/testsuite/20_util/ratio') diff --git a/libstdc++-v3/testsuite/20_util/ratio/comparisons/comp1.cc b/libstdc++-v3/testsuite/20_util/ratio/comparisons/comp1.cc new file mode 100644 index 000000000..eb1bd212f --- /dev/null +++ b/libstdc++-v3/testsuite/20_util/ratio/comparisons/comp1.cc @@ -0,0 +1,86 @@ +// { dg-options "-std=gnu++0x" } +// { dg-require-cstdint "" } + +// Copyright (C) 2008, 2009, 2010 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 +// . + +#include +#include + +void +test01() +{ + bool test __attribute__((unused)) = true; + + VERIFY(( std::ratio_equal, std::ratio<1,3>>::value == 1 )); + VERIFY(( std::ratio_equal, std::ratio<1,4>>::value == 0 )); + + VERIFY( (std::ratio_not_equal, + std::ratio<1,3>>::value == 0) ); + VERIFY( (std::ratio_not_equal, + std::ratio<1,4>>::value == 1) ); +} + +void +test02() +{ + bool test __attribute__((unused)) = true; + + VERIFY( (std::ratio_less, std::ratio<1,3>>::value == 1) ); + VERIFY( (std::ratio_less, std::ratio<1,3>>::value == 1) ); + + VERIFY( (std::ratio_less, std::ratio<1,4>>::value == 0) ); + VERIFY( (std::ratio_less, std::ratio<-1,3>>::value == 0) ); + + VERIFY( (std::ratio_less, std::ratio<-1,4>>::value == 1) ); + VERIFY( (std::ratio_less, std::ratio<0,3>>::value == 0) ); + VERIFY( (std::ratio_less, std::ratio<0,3>>::value == 0) ); + VERIFY( (std::ratio_less, std::ratio<-1,4>>::value == 0) ); + + VERIFY( (std::ratio_less_equal, + std::ratio<-1,3>>::value == 1) ); + VERIFY( ( std::ratio_less_equal, + std::ratio<1,3>>::value == 1) ); + + VERIFY( (std::ratio_less_equal, + std::ratio<-1,3>>::value == 0) ); + VERIFY( (std::ratio_less_equal, + std::ratio<-1,3>>::value == 0) ); + + VERIFY( (std::ratio_greater, std::ratio<1,4>>::value == 1) ); + VERIFY( (std::ratio_greater, std::ratio<-1,3>>::value == 1) ); + + VERIFY( (std::ratio_greater, std::ratio<1,3>>::value == 0) ); + VERIFY( (std::ratio_greater, std::ratio<1,3>>::value == 0) ); + + VERIFY( (std::ratio_greater_equal, + std::ratio<1,3>>::value == 1) ); + VERIFY( (std::ratio_greater_equal, + std::ratio<-1,3>>::value == 1) ); + + VERIFY( (std::ratio_greater_equal, + std::ratio<1,3>>::value == 0) ); + VERIFY( (std::ratio_greater_equal, + std::ratio<1,3>>::value == 0) ); +} + +int main() +{ + test01(); + test02(); + return 0; +} diff --git a/libstdc++-v3/testsuite/20_util/ratio/comparisons/comp2.cc b/libstdc++-v3/testsuite/20_util/ratio/comparisons/comp2.cc new file mode 100644 index 000000000..20da30cbe --- /dev/null +++ b/libstdc++-v3/testsuite/20_util/ratio/comparisons/comp2.cc @@ -0,0 +1,60 @@ +// { dg-options "-std=gnu++0x" } +// { dg-require-cstdint "" } + +// 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 +// 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 +// . + +#include +#include + +static const std::intmax_t M = INTMAX_MAX; + +void +test01() +{ + bool test __attribute__((unused)) = true; + + // No overflow with same denominator + VERIFY( (std::ratio_less, + std::ratio>::value == 1) ); + + VERIFY( (std::ratio_less, + std::ratio>::value == 0) ); + + // No overflow if signs differ + VERIFY( (std::ratio_less, + std::ratio>::value == 1) ); + + VERIFY( (std::ratio_less, + std::ratio<-M, M - 1>>::value == 0) ); + + // No overflow + VERIFY( (std::ratio_less, + std::ratio>::value == 1) ); + + VERIFY( (std::ratio_less, + std::ratio<-M, M - 2>>::value == 0) ); + + VERIFY( (std::ratio_less, + std::ratio>::value == 1) ); +} + +int main() +{ + test01(); + return 0; +} 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 000000000..f8c0c486b --- /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 + +// 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 +// . + +#include +#include + +void +test01() +{ + bool test __attribute__((unused)) = true; + + VERIFY( (std::ratio_less, + std::ratio<59, 29129>>::value == 1) ); + VERIFY( (std::ratio_less, + std::ratio<4751, 13>>::value == 1) ); + VERIFY( (std::ratio_less, + std::ratio<25733, 25741>>::value == 1) ); + VERIFY( (std::ratio_less, + std::ratio<673, 773>>::value == 1) ); + VERIFY( (std::ratio_less, + std::ratio<17891, 32099>>::value == 1) ); + VERIFY( (std::ratio_less, + std::ratio<18457, 19571>>::value == 1) ); + + VERIFY( (std::ratio_less, + std::ratio<60, 29130>>::value == 1) ); + VERIFY( (std::ratio_less, + std::ratio<4752, 14>>::value == 1) ); + VERIFY( (std::ratio_less, + std::ratio<25732, 25742>>::value == 1) ); + VERIFY( (std::ratio_less, + std::ratio<674, 774>>::value == 1) ); + VERIFY( (std::ratio_less, + std::ratio<17892, 32100>>::value == 1) ); + VERIFY( (std::ratio_less, + std::ratio<18458, 19572>>::value == 1) ); + + VERIFY( (std::ratio_less, + std::ratio<58, 29128>>::value == 1) ); + VERIFY( (std::ratio_less, + std::ratio<4750, 12>>::value == 1) ); + VERIFY( (std::ratio_less, + std::ratio<25734, 25740>>::value == 1) ); + VERIFY( (std::ratio_less, + std::ratio<672, 772>>::value == 1) ); + VERIFY( (std::ratio_less, + std::ratio<17890, 32102>>::value == 1) ); + VERIFY( (std::ratio_less, + std::ratio<18456, 19570>>::value == 1) ); +} + +int main() +{ + test01(); + return 0; +} diff --git a/libstdc++-v3/testsuite/20_util/ratio/cons/cons1.cc b/libstdc++-v3/testsuite/20_util/ratio/cons/cons1.cc new file mode 100644 index 000000000..a3dab54fd --- /dev/null +++ b/libstdc++-v3/testsuite/20_util/ratio/cons/cons1.cc @@ -0,0 +1,51 @@ +// { dg-options "-std=gnu++0x" } +// { dg-require-cstdint "" } + +// 2008-07-03 Chris Fairles + +// Copyright (C) 2008, 2009 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 +// . + +#include +#include + +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 ); +} + +int main() +{ + test01(); + return 0; +} diff --git a/libstdc++-v3/testsuite/20_util/ratio/cons/cons_overflow_neg.cc b/libstdc++-v3/testsuite/20_util/ratio/cons/cons_overflow_neg.cc new file mode 100644 index 000000000..ca91e46c8 --- /dev/null +++ b/libstdc++-v3/testsuite/20_util/ratio/cons/cons_overflow_neg.cc @@ -0,0 +1,54 @@ +// { dg-do compile } +// { dg-options "-std=gnu++0x" } +// { dg-require-cstdint "" } + +// 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 +// 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 +// . + +#include + +void +test01() +{ + std::ratio r1 __attribute__((unused)); + std::ratio<-INTMAX_MAX, INTMAX_MAX> r2 __attribute__((unused)); +} + +void +test02() +{ + std::ratio r1 __attribute__((unused)); +} + +void +test03() +{ + std::ratio<1, INTMAX_MIN> r1 __attribute__((unused)); +} + +void +test04() +{ + std::ratio<1,0> r1 __attribute__((unused)); +} + +// { dg-error "instantiated from here" "" { target *-*-* } 34 } +// { dg-error "instantiated from here" "" { target *-*-* } 40 } +// { dg-error "instantiated from here" "" { target *-*-* } 46 } +// { dg-error "denominator cannot be zero" "" { target *-*-* } 155 } +// { dg-error "out of range" "" { target *-*-* } 156 } +// { dg-error "overflow in constant expression" "" { target *-*-* } 74 } diff --git a/libstdc++-v3/testsuite/20_util/ratio/operations/45866.cc b/libstdc++-v3/testsuite/20_util/ratio/operations/45866.cc new file mode 100644 index 000000000..19735fc3e --- /dev/null +++ b/libstdc++-v3/testsuite/20_util/ratio/operations/45866.cc @@ -0,0 +1,67 @@ +// { dg-options "-std=gnu++0x" } +// { dg-require-cstdint "" } + +// 2010-10-18 Paolo Carlini + +// Copyright (C) 2010 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 +// . + +#include +#include + +// libstdc++/45866 +void test01() +{ + bool test __attribute__((unused)) = true; + + typedef std::ratio<1, 4>::type r_type1; + typedef std::ratio<3, 2>::type r_type2; + + typedef std::ratio_add ra_type; + + VERIFY( ra_type::num == ra_type::type::num ); + VERIFY( ra_type::den == ra_type::type::den ); + VERIFY( ra_type::num == 7 ); + VERIFY( ra_type::den == 4 ); + + typedef std::ratio_subtract rs_type; + + VERIFY( rs_type::num == rs_type::type::num ); + VERIFY( rs_type::den == rs_type::type::den ); + VERIFY( rs_type::num == -5 ); + VERIFY( rs_type::den == 4 ); + + typedef std::ratio_multiply rm_type; + + VERIFY( rm_type::num == rm_type::type::num ); + VERIFY( rm_type::den == rm_type::type::den ); + VERIFY( rm_type::num == 3 ); + VERIFY( rm_type::den == 8 ); + + typedef std::ratio_divide rd_type; + + VERIFY( rd_type::num == rd_type::type::num ); + VERIFY( rd_type::den == rd_type::type::den ); + VERIFY( rd_type::num == 1 ); + VERIFY( rd_type::den == 6 ); +} + +int main() +{ + test01(); + return 0; +} diff --git a/libstdc++-v3/testsuite/20_util/ratio/operations/47913.cc b/libstdc++-v3/testsuite/20_util/ratio/operations/47913.cc new file mode 100644 index 000000000..4105a710d --- /dev/null +++ b/libstdc++-v3/testsuite/20_util/ratio/operations/47913.cc @@ -0,0 +1,42 @@ +// { dg-options "-std=gnu++0x" } +// { dg-require-cstdint "" } + +// 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 +// . + +#include +#include + +// libstdc++/47913 +void test01() +{ + bool test __attribute__((unused)) = true; + using namespace std; + + const intmax_t m = (intmax_t)1 << (4 * sizeof(intmax_t) - 1); + typedef ratio_add, + ratio<1, (m - 3) * (m - 2)> > ra_type; + + VERIFY( ra_type::num == 2 ); + VERIFY( ra_type::den == (m - 1) * (m - 3) ); +} + +int main() +{ + test01(); + return 0; +} diff --git a/libstdc++-v3/testsuite/20_util/ratio/operations/ops1.cc b/libstdc++-v3/testsuite/20_util/ratio/operations/ops1.cc new file mode 100644 index 000000000..183269e62 --- /dev/null +++ b/libstdc++-v3/testsuite/20_util/ratio/operations/ops1.cc @@ -0,0 +1,74 @@ +// { dg-options "-std=gnu++0x" } +// { dg-require-cstdint "" } + +// 2008-07-03 Chris Fairles + +// Copyright (C) 2008, 2009 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 +// . + +#include +#include + +void +test01() +{ + bool test __attribute__((unused)) = true; + + std::ratio_add, 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<5,12>>::type r; + + VERIFY( r.num == -1 ); + VERIFY( r.den == 24 ); +} + +void +test03() +{ + bool test __attribute__((unused)) = true; + std::ratio_multiply, 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<5,12>>::type r; + + VERIFY( r.num == 9 ); + VERIFY( r.den == 10 ); +} + +int main() +{ + test01(); + test02(); + test03(); + test04(); + return 0; +} diff --git a/libstdc++-v3/testsuite/20_util/ratio/operations/ops2.cc b/libstdc++-v3/testsuite/20_util/ratio/operations/ops2.cc new file mode 100644 index 000000000..abd2e7556 --- /dev/null +++ b/libstdc++-v3/testsuite/20_util/ratio/operations/ops2.cc @@ -0,0 +1,72 @@ +// { dg-options "-std=gnu++0x" } +// { dg-require-cstdint "" } + +// 2008-07-03 Chris Fairles + +// Copyright (C) 2008, 2009 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 +// . + +#include +#include + +typedef std::ratio<1, INTMAX_MAX> one_over_max; +typedef std::ratio<2, INTMAX_MAX> two_over_max; +typedef std::ratio max_over_one; +typedef std::ratio max_over_two; + +void +test01() +{ + bool test __attribute__((unused)) = true; + + std::ratio_add::type r1; + + VERIFY( r1.num == two_over_max::num); + VERIFY( r1.den == two_over_max::den); + + std::ratio_add< + std::ratio, + std::ratio>::type r2; + + VERIFY( r2.num == INTMAX_MAX ); + VERIFY( r2.den == (INTMAX_MAX / 2) + 1 ); +} + +void +test02() +{ + bool test __attribute__((unused)) = true; + + std::ratio_subtract::type r1; + + VERIFY( r1.num == 0); + VERIFY( r1.den == 1); + + std::ratio_subtract< + std::ratio, + std::ratio>::type r2; + + VERIFY( r2.num == 1 ); + VERIFY( r2.den == (INTMAX_MAX / 2) + 1 ); +} + +int main() +{ + test01(); + test02(); + return 0; +} diff --git a/libstdc++-v3/testsuite/20_util/ratio/operations/ops3.cc b/libstdc++-v3/testsuite/20_util/ratio/operations/ops3.cc new file mode 100644 index 000000000..fde9fb9dd --- /dev/null +++ b/libstdc++-v3/testsuite/20_util/ratio/operations/ops3.cc @@ -0,0 +1,71 @@ +// { dg-options "-std=gnu++0x" } +// { dg-require-cstdint "" } + +// 2008-07-03 Chris Fairles + +// Copyright (C) 2008, 2009 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 +// . + +#include +#include + +void +test01() +{ + bool test __attribute__((unused)) = true; + + std::ratio_multiply< + std::ratio<2, INTMAX_MAX>, + std::ratio>::type r1; + + VERIFY( r1.num == 1 ); + VERIFY( r1.den == 1 ); + + std::ratio_multiply< + std::ratio, + 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, + std::ratio>::type r1; + + VERIFY( r1.num == 1 ); + VERIFY( r1.den == 1 ); + + std::ratio_divide< + std::ratio, + std::ratio>::type r2; + + VERIFY( r2.num == INTMAX_MAX - 1 ); + VERIFY( r2.den == INTMAX_MAX ); +} + +int main() +{ + test01(); + test02(); + return 0; +} diff --git a/libstdc++-v3/testsuite/20_util/ratio/operations/ops_overflow_neg.cc b/libstdc++-v3/testsuite/20_util/ratio/operations/ops_overflow_neg.cc new file mode 100644 index 000000000..b7076dfc5 --- /dev/null +++ b/libstdc++-v3/testsuite/20_util/ratio/operations/ops_overflow_neg.cc @@ -0,0 +1,47 @@ +// { dg-do compile } +// { dg-options "-std=gnu++0x" } +// { dg-require-cstdint "" } + +// 2008-07-03 Chris Fairles + +// Copyright (C) 2008, 2009, 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 +// . + +#include + +void +test01() +{ + std::ratio_add, std::ratio<1>>::type r1; +} + +void +test02() +{ + std::ratio_multiply, std::ratio<3, 2>>::type r1; + std::ratio_multiply, std::ratio>::type r2; +} + +// { dg-error "instantiated from here" "" { target *-*-* } 29 } +// { dg-error "instantiated from here" "" { target *-*-* } 35 } +// { dg-error "instantiated from here" "" { target *-*-* } 36 } +// { dg-error "overflow in addition" "" { target *-*-* } 132 } +// { dg-error "overflow in multiplication" "" { target *-*-* } 104 } +// { dg-error "overflow in multiplication" "" { target *-*-* } 100 } +// { dg-error "overflow in multiplication" "" { target *-*-* } 102 } +// { dg-excess-errors "In instantiation of" } +// { dg-excess-errors "out of range" } diff --git a/libstdc++-v3/testsuite/20_util/ratio/requirements/constexpr_data.cc b/libstdc++-v3/testsuite/20_util/ratio/requirements/constexpr_data.cc new file mode 100644 index 000000000..d3a1543de --- /dev/null +++ b/libstdc++-v3/testsuite/20_util/ratio/requirements/constexpr_data.cc @@ -0,0 +1,60 @@ +// { dg-do compile } +// { dg-options "-std=gnu++0x" } + +// Copyright (C) 2010 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 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 +// . + +#include +#include + +namespace __gnu_test +{ + struct constexpr_member_data + { + template + void + operator()() + { + struct _Concept + { + void __constraint() + { + constexpr intmax_t v1 __attribute__((unused)) + = _Ttesttype::num; + constexpr intmax_t v2 __attribute__((unused)) + = _Ttesttype::den; + } + }; + + _Concept c; + c.__constraint(); + } + }; +} + +int main() +{ + __gnu_test::constexpr_member_data test; + typedef std::ratio<600, 900> R1; + typedef std::ratio<700, 200> R2; + test.operator()(); + test.operator()>(); + test.operator()>(); + test.operator()>(); + test.operator()>(); + return 0; +} -- cgit v1.2.3