Print additional info when various out-of-range conditions are detected.
authorppluzhnikov <ppluzhnikov@138bc75d-0d04-0410-961f-82ee72b054a4>
Sun, 22 Sep 2013 02:04:13 +0000 (02:04 +0000)
committerppluzhnikov <ppluzhnikov@138bc75d-0d04-0410-961f-82ee72b054a4>
Sun, 22 Sep 2013 02:04:13 +0000 (02:04 +0000)
2013-09-21  Paul Pluzhnikov  <ppluzhnikov@google.com>

* include/bits/functexcept.h (__throw_out_of_range_fmt): New.
* src/c++11/functexcept.cc (__throw_out_of_range_fmt): New.
* src/c++11/snprintf_lite.cc: New.
* src/c++11/Makefile.am: Add snprintf_lite.cc.
* src/c++11/Makefile.in: Regenerate.
* config/abi/pre/gnu.ver: Add _ZSt24__throw_out_of_range_fmtPKcz.
* include/std/array (at): Use __throw_out_of_range_fmt.
* include/debug/array (at): Likewise.
* include/profile/array (at): Likewise.
* include/std/bitset (_M_check_initial_position, _M_check): New.
(bitset::bitset): Use _M_check_initial_position.
(set, reset, flip, test): Use _M_check.
* include/ext/vstring.h (_M_check, at): Use __throw_out_of_range_fmt.
* include/bits/stl_vector.h (_M_range_check): Likewise.
* include/bits/stl_bvector.h (_M_range_check): Likewise.
* include/bits/stl_deque.h (_M_range_check): Likewise.
* include/bits/basic_string.h (_M_check, at): Likewise.
* testsuite/23_containers/vector/requirements/dr438/assign_neg.cc: Adjust.
* testsuite/23_containers/vector/requirements/dr438/insert_neg.cc: Likewise.
* testsuite/23_containers/vector/requirements/dr438/constructor_1_neg.cc:
Likewise.
* testsuite/23_containers/vector/requirements/dr438/constructor_2_neg.cc:
Likewise.
* testsuite/23_containers/deque/requirements/dr438/assign_neg.cc: Likewise.
* testsuite/23_containers/deque/requirements/dr438/insert_neg.cc: Likewise.
* testsuite/23_containers/deque/requirements/dr438/constructor_1_neg.cc:
Likewise.
* testsuite/23_containers/deque/requirements/dr438/constructor_2_neg.cc:
Likewise.
* testsuite/23_containers/array/tuple_interface/tuple_element_neg.cc: Likewise.
* testsuite/23_containers/array/tuple_interface/tuple_element_debug_neg.cc:
Likewise.
* testsuite/23_containers/array/tuple_interface/get_neg.cc: Likewise.
* testsuite/23_containers/array/tuple_interface/get_debug_neg.cc: Likewise.
* testsuite/util/exception/safety.h (generate): Use __throw_out_of_range_fmt.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@202818 138bc75d-0d04-0410-961f-82ee72b054a4

29 files changed:
libstdc++-v3/ChangeLog
libstdc++-v3/config/abi/pre/gnu.ver
libstdc++-v3/include/bits/basic_string.h
libstdc++-v3/include/bits/functexcept.h
libstdc++-v3/include/bits/stl_bvector.h
libstdc++-v3/include/bits/stl_deque.h
libstdc++-v3/include/bits/stl_vector.h
libstdc++-v3/include/debug/array
libstdc++-v3/include/ext/vstring.h
libstdc++-v3/include/profile/array
libstdc++-v3/include/std/array
libstdc++-v3/include/std/bitset
libstdc++-v3/src/c++11/Makefile.am
libstdc++-v3/src/c++11/Makefile.in
libstdc++-v3/src/c++11/functexcept.cc
libstdc++-v3/src/c++11/snprintf_lite.cc [new file with mode: 0644]
libstdc++-v3/testsuite/23_containers/array/tuple_interface/get_debug_neg.cc
libstdc++-v3/testsuite/23_containers/array/tuple_interface/get_neg.cc
libstdc++-v3/testsuite/23_containers/array/tuple_interface/tuple_element_debug_neg.cc
libstdc++-v3/testsuite/23_containers/array/tuple_interface/tuple_element_neg.cc
libstdc++-v3/testsuite/23_containers/deque/requirements/dr438/assign_neg.cc
libstdc++-v3/testsuite/23_containers/deque/requirements/dr438/constructor_1_neg.cc
libstdc++-v3/testsuite/23_containers/deque/requirements/dr438/constructor_2_neg.cc
libstdc++-v3/testsuite/23_containers/deque/requirements/dr438/insert_neg.cc
libstdc++-v3/testsuite/23_containers/vector/requirements/dr438/assign_neg.cc
libstdc++-v3/testsuite/23_containers/vector/requirements/dr438/constructor_1_neg.cc
libstdc++-v3/testsuite/23_containers/vector/requirements/dr438/constructor_2_neg.cc
libstdc++-v3/testsuite/23_containers/vector/requirements/dr438/insert_neg.cc
libstdc++-v3/testsuite/util/exception/safety.h

index 7f8cae5..069bd40 100644 (file)
@@ -1,3 +1,41 @@
+2013-09-21  Paul Pluzhnikov  <ppluzhnikov@google.com>
+
+       * include/bits/functexcept.h (__throw_out_of_range_fmt): New.
+       * src/c++11/functexcept.cc (__throw_out_of_range_fmt): New.
+       * src/c++11/snprintf_lite.cc: New.
+       * src/c++11/Makefile.am: Add snprintf_lite.cc.
+       * src/c++11/Makefile.in: Regenerate.
+       * config/abi/pre/gnu.ver: Add _ZSt24__throw_out_of_range_fmtPKcz.
+       * include/std/array (at): Use __throw_out_of_range_fmt.
+       * include/debug/array (at): Likewise.
+       * include/profile/array (at): Likewise.
+       * include/std/bitset (_M_check_initial_position, _M_check): New.
+       (bitset::bitset): Use _M_check_initial_position.
+       (set, reset, flip, test): Use _M_check.
+       * include/ext/vstring.h (_M_check, at): Use __throw_out_of_range_fmt.
+       * include/bits/stl_vector.h (_M_range_check): Likewise.
+       * include/bits/stl_bvector.h (_M_range_check): Likewise.
+       * include/bits/stl_deque.h (_M_range_check): Likewise.
+       * include/bits/basic_string.h (_M_check, at): Likewise.
+       * testsuite/23_containers/vector/requirements/dr438/assign_neg.cc: Adjust.
+       * testsuite/23_containers/vector/requirements/dr438/insert_neg.cc: Likewise.
+       * testsuite/23_containers/vector/requirements/dr438/constructor_1_neg.cc:
+       Likewise.
+       * testsuite/23_containers/vector/requirements/dr438/constructor_2_neg.cc:
+       Likewise.
+       * testsuite/23_containers/deque/requirements/dr438/assign_neg.cc: Likewise.
+       * testsuite/23_containers/deque/requirements/dr438/insert_neg.cc: Likewise.
+       * testsuite/23_containers/deque/requirements/dr438/constructor_1_neg.cc:
+       Likewise.
+       * testsuite/23_containers/deque/requirements/dr438/constructor_2_neg.cc:
+       Likewise.
+       * testsuite/23_containers/array/tuple_interface/tuple_element_neg.cc: Likewise.
+       * testsuite/23_containers/array/tuple_interface/tuple_element_debug_neg.cc:
+       Likewise.
+       * testsuite/23_containers/array/tuple_interface/get_neg.cc: Likewise.
+       * testsuite/23_containers/array/tuple_interface/get_debug_neg.cc: Likewise.
+       * testsuite/util/exception/safety.h (generate): Use __throw_out_of_range_fmt.
+
 2013-09-20  Jakub Jelinek  <jakub@redhat.com>
 
        PR testsuite/57605
index 8972fcf..d3c399f 100644 (file)
@@ -1365,6 +1365,9 @@ GLIBCXX_3.4.20 {
     # std::get_unexpected()
     _ZSt14get_unexpectedv;
 
+    # std::__throw_out_of_range_fmt(char const*, ...)
+    _ZSt24__throw_out_of_range_fmtPKcz;
+
 } GLIBCXX_3.4.19;
 
 # Symbols in the support library (libsupc++) have their own tag.
index 4890428..566186f 100644 (file)
@@ -321,7 +321,9 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION
       _M_check(size_type __pos, const char* __s) const
       {
        if (__pos > this->size())
-         __throw_out_of_range(__N(__s));
+         __throw_out_of_range_fmt(__N("%s: __pos (which is %zu) > "
+                                      "this->size() (which is %zu)"),
+                                  __s, __pos, this->size());
        return __pos;
       }
 
@@ -869,7 +871,10 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION
       at(size_type __n) const
       {
        if (__n >= this->size())
-         __throw_out_of_range(__N("basic_string::at"));
+         __throw_out_of_range_fmt(__N("basic_string::at: __n "
+                                      "(which is %zu) >= this->size() "
+                                      "(which is %zu)"),
+                                  __n, this->size());
        return _M_data()[__n];
       }
 
@@ -888,7 +893,10 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION
       at(size_type __n)
       {
        if (__n >= size())
-         __throw_out_of_range(__N("basic_string::at"));
+         __throw_out_of_range_fmt(__N("basic_string::at: __n "
+                                      "(which is %zu) >= this->size() "
+                                      "(which is %zu)"),
+                                  __n, this->size());
        _M_leak();
        return _M_data()[__n];
       }
index 1614058..03e2040 100644 (file)
@@ -75,6 +75,10 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION
   __throw_out_of_range(const char*) __attribute__((__noreturn__));
 
   void
+  __throw_out_of_range_fmt(const char*, ...) __attribute__((__noreturn__))
+    __attribute__((__format__(__printf__, 1, 2)));
+
+  void
   __throw_runtime_error(const char*) __attribute__((__noreturn__));
 
   void
index 468fad0..8e4b023 100644 (file)
@@ -785,7 +785,10 @@ template<typename _Alloc>
     _M_range_check(size_type __n) const
     {
       if (__n >= this->size())
-        __throw_out_of_range(__N("vector<bool>::_M_range_check"));
+       __throw_out_of_range_fmt(__N("vector<bool>::_M_range_check: __n "
+                                    "(which is %zu) >= this->size() "
+                                    "(which is %zu)"),
+                                __n, this->size());
     }
 
   public:
index 98556f5..ca9e417 100644 (file)
@@ -1264,7 +1264,10 @@ _GLIBCXX_BEGIN_NAMESPACE_CONTAINER
       _M_range_check(size_type __n) const
       {
        if (__n >= this->size())
-         __throw_out_of_range(__N("deque::_M_range_check"));
+         __throw_out_of_range_fmt(__N("deque::_M_range_check: __n "
+                                      "(which is %zu)>= this->size() "
+                                      "(which is %zu)"),
+                                  __n, this->size());
       }
 
     public:
index 03850b5..376f39a 100644 (file)
@@ -785,7 +785,10 @@ _GLIBCXX_BEGIN_NAMESPACE_CONTAINER
       _M_range_check(size_type __n) const
       {
        if (__n >= this->size())
-         __throw_out_of_range(__N("vector::_M_range_check"));
+         __throw_out_of_range_fmt(__N("vector::_M_range_check: __n "
+                                      "(which is %zu) >= this->size() "
+                                      "(which is %zu)"),
+                                  __n, this->size());
       }
 
     public:
index d3eea85..6ee2384 100644 (file)
@@ -165,7 +165,10 @@ namespace __debug
       at(size_type __n)
       {
        if (__n >= _Nm)
-         std::__throw_out_of_range(__N("array::at"));
+         std::__throw_out_of_range_fmt(__N("array::at: __n "
+                                           "(which is %zu) >= _Nm "
+                                           "(which is %zu)"),
+                                       __n, _Nm);
        return _AT_Type::_S_ref(_M_elems, __n);
       }
 
@@ -175,7 +178,9 @@ namespace __debug
        // Result of conditional expression must be an lvalue so use
        // boolean ? lvalue : (throw-expr, lvalue)
        return __n < _Nm ? _AT_Type::_S_ref(_M_elems, __n)
-         : (std::__throw_out_of_range(__N("array::at")),
+         : (std::__throw_out_of_range_fmt(__N("array::at: __n (which is %zu) "
+                                              ">= _Nm (which is %zu)"),
+                                          __n, _Nm),
             _AT_Type::_S_ref(_M_elems, 0));
       }
 
index bd93c80..8eb8597 100644 (file)
@@ -85,7 +85,9 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION
       _M_check(size_type __pos, const char* __s) const
       {
        if (__pos > this->size())
-         std::__throw_out_of_range(__N(__s));
+         std::__throw_out_of_range_fmt(__N("%s: __pos (which is %zu) > "
+                                           "this->size() (which is %zu)"),
+                                       __s, __pos, this->size());
        return __pos;
       }
 
@@ -575,7 +577,10 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION
       at(size_type __n) const
       {
        if (__n >= this->size())
-         std::__throw_out_of_range(__N("__versa_string::at"));
+         std::__throw_out_of_range_fmt(__N("__versa_string::at: __n "
+                                           "(which is %zu) >= this->size() "
+                                           "(which is %zu)"),
+                                       __n, this->size());
        return this->_M_data()[__n];
       }
 
@@ -594,7 +599,10 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION
       at(size_type __n)
       {
        if (__n >= this->size())
-         std::__throw_out_of_range(__N("__versa_string::at"));
+         std::__throw_out_of_range_fmt(__N("__versa_string::at: __n "
+                                           "(which is %zu) >= this->size() "
+                                           "(which is %zu)"),
+                                       __n, this->size());
        this->_M_leak();
        return this->_M_data()[__n];
       }
index 33bdc95..138ad31 100644 (file)
@@ -138,7 +138,10 @@ namespace __profile
       at(size_type __n)
       {
        if (__n >= _Nm)
-         std::__throw_out_of_range(__N("array::at"));
+         std::__throw_out_of_range_fmt(__N("array::at: __n "
+                                           "(which is %zu) >= _Nm "
+                                           "(which is %zu)"),
+                                       __n, _Nm);
        return _AT_Type::_S_ref(_M_elems, __n);
       }
 
@@ -148,7 +151,9 @@ namespace __profile
        // Result of conditional expression must be an lvalue so use
        // boolean ? lvalue : (throw-expr, lvalue)
        return __n < _Nm ? _AT_Type::_S_ref(_M_elems, __n)
-         : (std::__throw_out_of_range(__N("array::at")),
+         : (std::__throw_out_of_range_fmt(__N("array::at: __n (which is %zu) "
+                                              ">= _Nm (which is %zu)"),
+                                          __n, _Nm),
             _AT_Type::_S_ref(_M_elems, 0));
       }
 
index 86e8aee..673d0e4 100644 (file)
@@ -180,7 +180,9 @@ _GLIBCXX_BEGIN_NAMESPACE_CONTAINER
       at(size_type __n)
       {
        if (__n >= _Nm)
-         std::__throw_out_of_range(__N("array::at"));
+         std::__throw_out_of_range_fmt(__N("array::at: __n (which is %zu) "
+                                           ">= _Nm (which is %zu)"),
+                                       __n, _Nm);
        return _AT_Type::_S_ref(_M_elems, __n);
       }
 
@@ -190,7 +192,9 @@ _GLIBCXX_BEGIN_NAMESPACE_CONTAINER
        // Result of conditional expression must be an lvalue so use
        // boolean ? lvalue : (throw-expr, lvalue)
        return __n < _Nm ? _AT_Type::_S_ref(_M_elems, __n)
-         : (std::__throw_out_of_range(__N("array::at")),
+         : (std::__throw_out_of_range_fmt(__N("array::at: __n (which is %zu) "
+                                              ">= _Nm (which is %zu)"),
+                                          __n, _Nm),
             _AT_Type::_S_ref(_M_elems, 0));
       }
 
index 1da6baf..708a434 100644 (file)
@@ -752,6 +752,26 @@ _GLIBCXX_BEGIN_NAMESPACE_CONTAINER
       typedef _Base_bitset<_GLIBCXX_BITSET_WORDS(_Nb)> _Base;
       typedef unsigned long _WordT;
 
+      template<class _CharT, class _Traits, class _Alloc>
+      void
+      _M_check_initial_position(const std::basic_string<_CharT, _Traits, _Alloc>& __s,
+                               size_t __position) const
+      {
+       if (__position > __s.size())
+         __throw_out_of_range_fmt(__N("bitset::bitset: __position "
+                                      "(which is %zu) > __s.size() "
+                                      "(which is %zu)"),
+                                  __position, __s.size());
+      }
+
+      void _M_check(size_t __position, const char *__s) const
+      {
+       if (__position >= _Nb)
+         __throw_out_of_range_fmt(__N("%s: __position (which is %zu) "
+                                      ">= _Nb (which is %zu)"),
+                                  __s, __position, _Nb);
+      }
+
       void
       _M_do_sanitize() _GLIBCXX_NOEXCEPT
       { 
@@ -867,9 +887,7 @@ _GLIBCXX_BEGIN_NAMESPACE_CONTAINER
               size_t __position = 0)
        : _Base()
        {
-         if (__position > __s.size())
-           __throw_out_of_range(__N("bitset::bitset initial position "
-                                    "not valid"));
+         _M_check_initial_position(__s, __position);
          _M_copy_from_string(__s, __position,
                              std::basic_string<_CharT, _Traits, _Alloc>::npos,
                              _CharT('0'), _CharT('1'));
@@ -890,9 +908,7 @@ _GLIBCXX_BEGIN_NAMESPACE_CONTAINER
               size_t __position, size_t __n)
        : _Base()
        {
-         if (__position > __s.size())
-           __throw_out_of_range(__N("bitset::bitset initial position "
-                                    "not valid"));
+         _M_check_initial_position(__s, __position);
          _M_copy_from_string(__s, __position, __n, _CharT('0'), _CharT('1'));
        }
 
@@ -904,9 +920,7 @@ _GLIBCXX_BEGIN_NAMESPACE_CONTAINER
               _CharT __zero, _CharT __one = _CharT('1'))
        : _Base()
        {
-         if (__position > __s.size())
-           __throw_out_of_range(__N("bitset::bitset initial position "
-                                    "not valid"));
+         _M_check_initial_position(__s, __position);
          _M_copy_from_string(__s, __position, __n, __zero, __one);
        }
 
@@ -1067,8 +1081,7 @@ _GLIBCXX_BEGIN_NAMESPACE_CONTAINER
       bitset<_Nb>&
       set(size_t __position, bool __val = true)
       {
-       if (__position >= _Nb)
-         __throw_out_of_range(__N("bitset::set"));
+       this->_M_check(__position, __N("bitset::set"));
        return _Unchecked_set(__position, __val);
       }
 
@@ -1092,8 +1105,7 @@ _GLIBCXX_BEGIN_NAMESPACE_CONTAINER
       bitset<_Nb>&
       reset(size_t __position)
       {
-       if (__position >= _Nb)
-         __throw_out_of_range(__N("bitset::reset"));
+       this->_M_check(__position, __N("bitset::reset"));
        return _Unchecked_reset(__position);
       }
       
@@ -1116,8 +1128,7 @@ _GLIBCXX_BEGIN_NAMESPACE_CONTAINER
       bitset<_Nb>&
       flip(size_t __position)
       {
-       if (__position >= _Nb)
-         __throw_out_of_range(__N("bitset::flip"));
+       this->_M_check(__position, __N("bitset::flip"));
        return _Unchecked_flip(__position);
       }
       
@@ -1302,8 +1313,7 @@ _GLIBCXX_BEGIN_NAMESPACE_CONTAINER
       bool
       test(size_t __position) const
       {
-       if (__position >= _Nb)
-         __throw_out_of_range(__N("bitset::test"));
+       this->_M_check(__position, __N("bitset::test"));
        return _Unchecked_test(__position);
       }
 
index 58d3025..7dda948 100644 (file)
@@ -42,6 +42,7 @@ sources = \
        random.cc \
        regex.cc  \
        shared_ptr.cc \
+       snprintf_lite.cc \
        system_error.cc \
        thread.cc
 
index 5daae3e..83b7bd1 100644 (file)
@@ -70,7 +70,8 @@ libc__11convenience_la_LIBADD =
 am__objects_1 = chrono.lo condition_variable.lo debug.lo \
        functexcept.lo functional.lo future.lo hash_c++0x.lo \
        hashtable_c++0x.lo limits.lo mutex.lo placeholders.lo \
-       random.lo regex.lo shared_ptr.lo system_error.lo thread.lo
+       random.lo regex.lo shared_ptr.lo snprintf_lite.lo \
+       system_error.lo thread.lo
 @ENABLE_EXTERN_TEMPLATE_TRUE@am__objects_2 = fstream-inst.lo \
 @ENABLE_EXTERN_TEMPLATE_TRUE@  string-inst.lo wstring-inst.lo
 am_libc__11convenience_la_OBJECTS = $(am__objects_1) $(am__objects_2)
@@ -324,6 +325,7 @@ sources = \
        random.cc \
        regex.cc  \
        shared_ptr.cc \
+       snprintf_lite.cc \
        system_error.cc \
        thread.cc
 
index b0c1804..b18f8ad 100644 (file)
@@ -31,6 +31,7 @@
 #include <future>
 #include <functional>
 #include <bits/regex_error.h>
+#include <stdarg.h>
 
 #ifdef _GLIBCXX_USE_NLS
 # include <libintl.h>
 # define _(msgid)   (msgid)
 #endif
 
+namespace __gnu_cxx
+{
+  int __snprintf_lite(char *__buf, size_t __bufsize, const char *__fmt,
+                     va_list __ap);
+}
+
 namespace std _GLIBCXX_VISIBILITY(default)
 {
 _GLIBCXX_BEGIN_NAMESPACE_VERSION
@@ -80,6 +87,22 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION
   { _GLIBCXX_THROW_OR_ABORT(out_of_range(_(__s))); }
 
   void
+  __throw_out_of_range_fmt(const char* __fmt, ...)
+  {
+    const size_t __len = __builtin_strlen(__fmt);
+    // We expect at most 2 numbers, and 1 short string. The additional
+    // 512 bytes should provide more than enough space for expansion.
+    const size_t __alloca_size = __len + 512;
+    char *const __s = static_cast<char*>(__builtin_alloca(__alloca_size));
+    va_list __ap;
+
+    va_start(__ap, __fmt);
+    __gnu_cxx::__snprintf_lite(__s, __alloca_size, __fmt, __ap);
+    _GLIBCXX_THROW_OR_ABORT(out_of_range(_(__s)));
+    va_end(__ap);  // Not reached.
+  }
+
+  void
   __throw_runtime_error(const char* __s __attribute__((unused)))
   { _GLIBCXX_THROW_OR_ABORT(runtime_error(_(__s))); }
 
diff --git a/libstdc++-v3/src/c++11/snprintf_lite.cc b/libstdc++-v3/src/c++11/snprintf_lite.cc
new file mode 100644 (file)
index 0000000..9509c42
--- /dev/null
@@ -0,0 +1,152 @@
+// Debugging support -*- C++ -*-
+
+// Copyright (C) 2013 Free Software Foundation, Inc.
+//
+// This file is part of GCC.
+//
+// GCC 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.
+//
+// GCC 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.
+//
+// Under Section 7 of GPL version 3, you are granted additional
+// permissions described in the GCC Runtime Library Exception, version
+// 3.1, as published by the Free Software Foundation.
+
+// You should have received a copy of the GNU General Public License and
+// a copy of the GCC Runtime Library Exception along with this program;
+// see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see
+// <http://www.gnu.org/licenses/>.
+
+#include <stdarg.h>
+#include <bits/functexcept.h>
+#include <bits/locale_facets.h>
+
+namespace std {
+  template<typename _CharT, typename _ValueT>
+  int
+  __int_to_char(_CharT* __bufend, _ValueT __v, const _CharT* __lit,
+                ios_base::fmtflags __flags, bool __dec);
+}
+
+namespace __gnu_cxx {
+
+  // Private helper to throw logic error if snprintf_lite runs out
+  // of space (which is not expected to ever happen).
+  // NUL-terminates __buf.
+  void
+  __throw_insufficient_space(const char *__buf, const char *__bufend)
+    __attribute__((__noreturn__));
+
+  void
+  __throw_insufficient_space(const char *__buf, const char *__bufend)
+  {
+    // Include space for trailing NUL.
+    const size_t __len = __bufend - __buf + 1;
+
+    const char __err[] = "not enough space for format expansion "
+      "(Please submit full bug report at http://gcc.gnu.org/bugs.html):\n    ";
+    const size_t __errlen = sizeof(__err) - 1;
+
+    char *const __e
+      = static_cast<char*>(__builtin_alloca(__errlen + __len));
+
+    __builtin_memcpy(__e, __err, __errlen);
+    __builtin_memcpy(__e + __errlen, __buf, __len - 1);
+    __e[__errlen + __len - 1] = '\0';
+    std::__throw_logic_error(__e);
+  }
+
+
+  // Private routine to append decimal representation of VAL to the given
+  // BUFFER, but not more than BUFSIZE characters.
+  // Does not NUL-terminate the output buffer.
+  // Returns number of characters appended, or -1 if BUFSIZE is too small.
+  int __concat_size_t(char *__buf, size_t __bufsize, size_t __val)
+  {
+    // Long enough for decimal representation.
+    int __ilen = 3 * sizeof(__val);
+    char *__cs = static_cast<char*>(__builtin_alloca(__ilen));
+    size_t __len = std::__int_to_char(__cs + __ilen, __val,
+                                     std::__num_base::_S_atoms_out,
+                                     std::ios_base::dec, true);
+    if (__bufsize < __len)
+      return -1;
+
+    __builtin_memcpy(__buf, __cs + __ilen - __len, __len);
+    return __len;
+  }
+
+
+  // Private routine to print into __buf arguments according to format,
+  // not to exceed __bufsize.
+  // Only '%%', '%s' and '%zu' format specifiers are understood.
+  // Returns number of characters printed (excluding terminating NUL).
+  // Always NUL-terminates __buf.
+  // Throws logic_error on insufficient space.
+  int __snprintf_lite(char *__buf, size_t __bufsize, const char *__fmt,
+                     va_list __ap)
+  {
+    char *__d = __buf;
+    const char *__s = __fmt;
+    const char *const __limit = __d + __bufsize - 1;  // Leave space for NUL.
+
+    while (__s[0] != '\0' && __d < __limit)
+      {
+       if (__s[0] == '%')
+         switch (__s[1])
+           {
+           default:  // Stray '%'. Just print it.
+             break;
+           case '%':  // '%%'
+             __s += 1;
+             break;
+           case 's':  // '%s'.
+             {
+               const char *__v = va_arg(__ap, const char *);
+
+               while (__v[0] != '\0' && __d < __limit)
+                 *__d++ = *__v++;
+
+               if (__v[0] != '\0')
+                 // Not enough space for __fmt expansion.
+                 __throw_insufficient_space(__buf, __d);
+
+               __s += 2;  // Step over %s.
+               continue;
+             }
+             break;
+           case 'z':
+             if (__s[2] == 'u')  // '%zu' -- expand next size_t arg.
+               {
+                 const int __len = __concat_size_t(__d, __limit - __d,
+                                                   va_arg(__ap, size_t));
+                 if (__len > 0)
+                   __d += __len;
+                 else
+                   // Not enough space for __fmt expansion.
+                   __throw_insufficient_space(__buf, __d);
+
+                 __s += 3;  // Step over %zu
+                 continue;
+               }
+             // Stray '%zX'. Just print it.
+             break;
+           }
+       *__d++ = *__s++;
+      }
+
+    if (__s[0] != '\0')
+      // Not enough space for __fmt expansion.
+      __throw_insufficient_space(__buf, __d);
+
+    *__d = '\0';
+    return __d - __buf;
+  }
+
+}  // __gnu_cxx
index 353577f..6667629 100644 (file)
@@ -28,6 +28,6 @@ int n1 = std::get<1>(a);
 int n2 = std::get<1>(std::move(a));
 int n3 = std::get<1>(ca);
 
-// { dg-error "static assertion failed" "" { target *-*-* } 266 }
-// { dg-error "static assertion failed" "" { target *-*-* } 275 }
-// { dg-error "static assertion failed" "" { target *-*-* } 283 }
+// { dg-error "static assertion failed" "" { target *-*-* } 271 }
+// { dg-error "static assertion failed" "" { target *-*-* } 280 }
+// { dg-error "static assertion failed" "" { target *-*-* } 288 }
index d465cd2..ca6f9f8 100644 (file)
@@ -28,6 +28,6 @@ int n1 = std::get<1>(a);
 int n2 = std::get<1>(std::move(a));
 int n3 = std::get<1>(ca);
 
-// { dg-error "static assertion failed" "" { target *-*-* } 270 }
-// { dg-error "static assertion failed" "" { target *-*-* } 279 }
-// { dg-error "static assertion failed" "" { target *-*-* } 287 }
+// { dg-error "static assertion failed" "" { target *-*-* } 274 }
+// { dg-error "static assertion failed" "" { target *-*-* } 283 }
+// { dg-error "static assertion failed" "" { target *-*-* } 291 }
index 76ea230..a8e0624 100644 (file)
@@ -23,4 +23,4 @@
 
 typedef std::tuple_element<1, std::array<int, 1>>::type type;
 
-// { dg-error "static assertion failed" "" { target *-*-* } 300 }
+// { dg-error "static assertion failed" "" { target *-*-* } 305 }
index 3a52607..0648bc1 100644 (file)
@@ -23,4 +23,4 @@
 
 typedef std::tuple_element<1, std::array<int, 1>>::type type;
 
-// { dg-error "static assertion failed" "" { target *-*-* } 316 }
+// { dg-error "static assertion failed" "" { target *-*-* } 320 }
index a0bdcdb..e5917b8 100644 (file)
@@ -18,7 +18,7 @@
 // <http://www.gnu.org/licenses/>.
 
 // { dg-do compile }
-// { dg-error "no matching" "" { target *-*-* } 1755 }
+// { dg-error "no matching" "" { target *-*-* } 1758 }
 
 #include <deque>
 
index 86d7016..fd83c0e 100644 (file)
@@ -18,7 +18,7 @@
 // <http://www.gnu.org/licenses/>.
 
 // { dg-do compile }
-// { dg-error "no matching" "" { target *-*-* } 1688 }
+// { dg-error "no matching" "" { target *-*-* } 1691 }
 
 #include <deque>
 
index 84be8eb..4dc6e8d 100644 (file)
@@ -18,7 +18,7 @@
 // <http://www.gnu.org/licenses/>.
 
 // { dg-do compile }
-// { dg-error "no matching" "" { target *-*-* } 1688 }
+// { dg-error "no matching" "" { target *-*-* } 1691 }
 
 #include <deque>
 #include <utility>
index 26e5c29..dbbfbaa 100644 (file)
@@ -18,7 +18,7 @@
 // <http://www.gnu.org/licenses/>.
 
 // { dg-do compile }
-// { dg-error "no matching" "" { target *-*-* } 1839 }
+// { dg-error "no matching" "" { target *-*-* } 1842 }
 
 #include <deque>
 
@@ -32,4 +32,3 @@ void f()
   std::deque<A> d;
   d.insert(d.begin(), 10, 1);
 }
-
index 388e571..b8a6621 100644 (file)
@@ -18,7 +18,7 @@
 // <http://www.gnu.org/licenses/>.
 
 // { dg-do compile }
-// { dg-error "no matching" "" { target *-*-* } 1302 }
+// { dg-error "no matching" "" { target *-*-* } 1305 }
 
 #include <vector>
 
index 68cfab0..ec3aa5a 100644 (file)
@@ -18,7 +18,7 @@
 // <http://www.gnu.org/licenses/>.
 
 // { dg-do compile }
-// { dg-error "no matching" "" { target *-*-* } 1228 }
+// { dg-error "no matching" "" { target *-*-* } 1231 }
 
 #include <vector>
 
index 35c0328..5c7d436 100644 (file)
@@ -18,7 +18,7 @@
 // <http://www.gnu.org/licenses/>.
 
 // { dg-do compile }
-// { dg-error "no matching" "" { target *-*-* } 1228 }
+// { dg-error "no matching" "" { target *-*-* } 1231 }
 
 #include <vector>
 #include <utility>
index 6ab7038..2daaf52 100644 (file)
@@ -18,7 +18,7 @@
 // <http://www.gnu.org/licenses/>.
 
 // { dg-do compile }
-// { dg-error "no matching" "" { target *-*-* } 1343 }
+// { dg-error "no matching" "" { target *-*-* } 1346 }
 
 #include <vector>
 
index 5ba9b13..ca31179 100644 (file)
@@ -47,22 +47,12 @@ namespace __gnu_test
       const typename distribution_type::param_type p(0, __max_size);
       size_type random = generator(p);
       if (random < distribution.min() || random > distribution.max())
-       {
-         std::string __s("setup_base::generate");
-         __s += "\n";
-         __s += "random number generated is: ";
-         char buf[40];
-         __builtin_sprintf(buf, "%lu", (unsigned long)random);
-         __s += buf;
-         __s += " on range [";
-         __builtin_sprintf(buf, "%lu", (unsigned long)distribution.min());
-         __s += buf;
-         __s += ", ";
-         __builtin_sprintf(buf, "%lu", (unsigned long)distribution.max());
-         __s += buf;
-         __s += "]\n";
-         std::__throw_out_of_range(__s.c_str());
-       }
+       std::__throw_out_of_range_fmt(__N("setup_base::generate\n"
+                                         "random number generated is: %zu "
+                                         "out of range [%zu, %zu]\n"),
+                                     (size_t)random,
+                                     (size_t)distribution.min(),
+                                     (size_t)distribution.max());
       return random;
     }