obtained gcc-4.6.4.tar.bz2 from upstream website;upstream

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.

12 files changed, 759 insertions, 0 deletions

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
+// <http://www.gnu.org/licenses/>.
+
+#include <ratio>
+#include <testsuite_hooks.h>
+
+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<std::ratio<-1,3>, std::ratio<-1,4>>::value == 1) );
+  VERIFY( (std::ratio_less<std::ratio<0,4>, std::ratio<0,3>>::value == 0) );
+  VERIFY( (std::ratio_less<std::ratio<1,3>, std::ratio<0,3>>::value == 0) );
+  VERIFY( (std::ratio_less<std::ratio<0,3>, std::ratio<-1,4>>::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) );
+}
+
+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
+// <http://www.gnu.org/licenses/>.
+
+#include <ratio>
+#include <testsuite_hooks.h>
+
+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<M - 2, M>,
+           std::ratio<M - 1, M>>::value == 1) );
+  
+  VERIFY( (std::ratio_less<std::ratio<M - 1, M>,
+           std::ratio<M - 2, M>>::value == 0) );
+     
+  // No overflow if signs differ
+  VERIFY( (std::ratio_less<std::ratio<-M, M - 1>,
+           std::ratio<M - 1, M - 2>>::value == 1) );
+  
+  VERIFY( (std::ratio_less<std::ratio<M - 1, M - 2>,
+           std::ratio<-M, M - 1>>::value == 0) );
+
+  // No overflow
+  VERIFY( (std::ratio_less<std::ratio<M, M - 1>,
+           std::ratio<M, M - 2>>::value == 1) );
+
+  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()
+{
+  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  <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;
+}
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 <chris.fairles@gmail.com>
+
+// 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
+// <http://www.gnu.org/licenses/>.
+
+#include <ratio>
+#include <testsuite_hooks.h>
+
+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
+// <http://www.gnu.org/licenses/>.
+
+#include <ratio>
+
+void
+test01()
+{
+  std::ratio<INTMAX_MAX, INTMAX_MAX> r1 __attribute__((unused));
+  std::ratio<-INTMAX_MAX, INTMAX_MAX> r2 __attribute__((unused));
+}
+
+void
+test02()
+{
+  std::ratio<INTMAX_MIN, 1> 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  <paolo.carlini@oracle.com>
+
+// 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
+// <http://www.gnu.org/licenses/>.
+
+#include <ratio>
+#include <testsuite_hooks.h>
+
+// 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<r_type1, r_type2> 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<r_type1, r_type2> 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<r_type1, r_type2> 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<r_type1, r_type2> 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
+// <http://www.gnu.org/licenses/>.
+
+#include <ratio>
+#include <testsuite_hooks.h>
+
+// 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 - 1) * (m - 2)>,
+                    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 <chris.fairles@gmail.com>
+
+// 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
+// <http://www.gnu.org/licenses/>.
+
+#include <ratio>
+#include <testsuite_hooks.h>
+
+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 );
+}
+
+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 <chris.fairles@gmail.com>
+
+// 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
+// <http://www.gnu.org/licenses/>.
+
+#include <ratio>
+#include <testsuite_hooks.h>
+
+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 );
+}
+
+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 <chris.fairles@gmail.com>
+
+// 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
+// <http://www.gnu.org/licenses/>.
+
+#include <ratio>
+#include <testsuite_hooks.h>
+
+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 );
+}
+
+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 <chris.fairles@gmail.com>
+
+// 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
+// <http://www.gnu.org/licenses/>.
+
+#include <ratio>
+
+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 *-*-* } 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
+// <http://www.gnu.org/licenses/>.
+
+#include <ratio>
+#include <testsuite_common_types.h>
+
+namespace __gnu_test
+{
+  struct constexpr_member_data
+  {
+    template<typename _Ttesttype>
+      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()<R1>();
+  test.operator()<std::ratio_add<R1, R2>>();
+  test.operator()<std::ratio_subtract<R1, R2>>();
+  test.operator()<std::ratio_multiply<R1, R2>>();
+  test.operator()<std::ratio_divide<R1, R2>>();
+  return 0;
+}