re PR libstdc++/33128 (std::tr1::uniform_int returns value out of range)

2007-08-28  Paolo Carlini  <pcarlini@suse.de>

	PR libstdc++/33128
	* include/tr1_impl/random (uniform_int<>::_M_call): Deal with
	__urng() returning negative values.
	* testsuite/tr1/5_numerical_facilities/random/uniform_int/33128.cc:
	New.

From-SVN: r127849

diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index 1be5c507b5d1326911feac7cd94fea6db8889005..b41548f2f4dfef1d26af6cb0a7b6969c9ec2eea9 100644 (file)
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,11 @@
+2007-08-28  Paolo Carlini  <pcarlini@suse.de>
+
+       PR libstdc++/33128
+       * include/tr1_impl/random (uniform_int<>::_M_call): Deal with
+       __urng() returning negative values.
+       * testsuite/tr1/5_numerical_facilities/random/uniform_int/33128.cc:
+       New.
+
 2007-08-24  Benjamin Kosnik  <bkoz@redhat.com>
 
        * acinclude.m4: Fix duplicate variable names.

diff --git a/libstdc++-v3/include/tr1_impl/random b/libstdc++-v3/include/tr1_impl/random
index 8d2b9eed911655c536424bb90106bfb9f2841280..e855307dace7b180905bcd785bd079fdf5591396 100644 (file)
--- a/libstdc++-v3/include/tr1_impl/random
+++ b/libstdc++-v3/include/tr1_impl/random
@@ -1604,7 +1604,11 @@ _GLIBCXX_BEGIN_NAMESPACE_TR1
         result_type
         _M_call(_UniformRandomNumberGenerator& __urng,
                result_type __min, result_type __max, true_type)
-        { return result_type(__urng() % (__max - __min + 1)) + __min; }
+        {
+         typedef typename __gnu_cxx::__add_unsigned<typename
+           _UniformRandomNumberGenerator::result_type>::__type __utype;
+         return result_type(__utype(__urng()) % (__max - __min + 1)) + __min; 
+       }
 
       template<typename _UniformRandomNumberGenerator>
         result_type

diff --git a/libstdc++-v3/testsuite/tr1/5_numerical_facilities/random/uniform_int/33128.cc b/libstdc++-v3/testsuite/tr1/5_numerical_facilities/random/uniform_int/33128.cc
new file mode 100644 (file)
index 0000000..bf10edd
--- /dev/null
+++ b/libstdc++-v3/testsuite/tr1/5_numerical_facilities/random/uniform_int/33128.cc
@@ -0,0 +1,43 @@
+// Copyright (C) 2007 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.
+
+// 5.1.7.1 Class template uniform_int
+// 5.1.1 [7] Table 17
+
+#include <tr1/random>
+#include <testsuite_hooks.h>
+
+// libstdc++/33128
+int test01()
+{
+  bool test __attribute__((unused)) = true;
+
+  std::tr1::mt19937 rng;
+  std::tr1::uniform_int<> six(1,6);
+  std::tr1::variate_generator<std::tr1::mt19937, std::tr1::uniform_int<> >
+            die(rng, six);
+
+  int val = die();
+  VERIFY( val >= 1 && val <= 6 );
+}
+
+int main()
+{
+  test01();
+  return 0;
+}