261e5b9e6a
2004-05-17 Benjamin Kosnik <bkoz@redhat.com> * testsuite/testsuite_hooks.h (__gnu_test::conversion): New class. * testsuite/23_containers/deque/14340.cc: New. * testsuite/23_containers/list/14340.cc: New. * testsuite/23_containers/map/14340.cc: New. * testsuite/23_containers/multimap/14340.cc: New. * testsuite/23_containers/multiset/14340.cc: New. * testsuite/23_containers/set/14340.cc: New. * testsuite/23_containers/vector/14340.cc: New. 2004-05-17 Douglas Gregor <gregod@cs.rpi.edu> PR libstdc++/14340 * include/debug/safe_iterator.h (_Safe_iterator converting constructor): Only allow declaration to instantiate when the incoming _Safe_iterator has exactly the right iterator type. From-SVN: r81970
463 lines
12 KiB
C++
463 lines
12 KiB
C++
// -*- C++ -*-
|
|
// Utility subroutines for the C++ library testsuite.
|
|
//
|
|
// Copyright (C) 2000, 2001, 2002, 2003, 2004 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, 59 Temple Place - Suite 330, Boston, MA 02111-1307,
|
|
// USA.
|
|
//
|
|
// As a special exception, you may use this file as part of a free software
|
|
// library without restriction. Specifically, if other files instantiate
|
|
// templates or use macros or inline functions from this file, or you compile
|
|
// this file and link it with other files to produce an executable, this
|
|
// file does not by itself cause the resulting executable to be covered by
|
|
// the GNU General Public License. This exception does not however
|
|
// invalidate any other reasons why the executable file might be covered by
|
|
// the GNU General Public License.
|
|
|
|
// This file provides the following:
|
|
//
|
|
// 1) VERIFY(), via _GLIBCXX_ASSERT, from Brent Verner <brent@rcfile.org>.
|
|
// This file is included in the various testsuite programs to provide
|
|
// #define(able) assert() behavior for debugging/testing. It may be
|
|
// a suitable location for other furry woodland creatures as well.
|
|
//
|
|
// 2) set_memory_limits()
|
|
// set_memory_limits() uses setrlimit() to restrict dynamic memory
|
|
// allocation. We provide a default memory limit if none is passed by the
|
|
// calling application. The argument to set_memory_limits() is the
|
|
// limit in megabytes (a floating-point number). If _GLIBCXX_RES_LIMITS is
|
|
// not #defined before including this header, then no limiting is attempted.
|
|
//
|
|
// 3) counter
|
|
// This is a POD with a static data member, gnu_counting_struct::count,
|
|
// which starts at zero, increments on instance construction, and decrements
|
|
// on instance destruction. "assert_count(n)" can be called to VERIFY()
|
|
// that the count equals N.
|
|
//
|
|
// 4) copy_tracker, from Stephen M. Webb <stephen@bregmasoft.com>.
|
|
// A class with nontrivial ctor/dtor that provides the ability to track the
|
|
// number of copy ctors and dtors, and will throw on demand during copy.
|
|
//
|
|
// 5) pod_char, pod_int, , abstract character classes and
|
|
// char_traits specializations for testing instantiations.
|
|
|
|
#ifndef _GLIBCXX_TESTSUITE_HOOKS_H
|
|
#define _GLIBCXX_TESTSUITE_HOOKS_H
|
|
|
|
#include <bits/c++config.h>
|
|
#include <bits/functexcept.h>
|
|
#include <cstddef>
|
|
#include <locale>
|
|
#include <ext/pod_char_traits.h>
|
|
#ifdef _GLIBCXX_HAVE_SYS_STAT_H
|
|
#include <sys/stat.h>
|
|
#endif
|
|
|
|
#ifdef _GLIBCXX_ASSERT
|
|
# include <cassert>
|
|
# define VERIFY(fn) assert(fn)
|
|
#else
|
|
# define VERIFY(fn) test &= (fn)
|
|
#endif
|
|
|
|
#ifdef _GLIBCXX_HAVE_UNISTD_H
|
|
# include <unistd.h>
|
|
#else
|
|
# define unlink(x)
|
|
#endif
|
|
|
|
namespace __gnu_test
|
|
{
|
|
// All macros are defined in GLIBCXX_CONFIGURE_TESTSUITE and imported
|
|
// from c++config.h
|
|
|
|
// Set memory limits if possible, if not set to 0.
|
|
#ifndef _GLIBCXX_RES_LIMITS
|
|
# define MEMLIMIT_MB 0
|
|
#else
|
|
# ifndef MEMLIMIT_MB
|
|
# define MEMLIMIT_MB 16.0
|
|
# endif
|
|
#endif
|
|
extern void
|
|
set_memory_limits(float __size = MEMLIMIT_MB);
|
|
|
|
extern void
|
|
set_file_limit(unsigned long __size);
|
|
|
|
// Check mangled name demangles (using __cxa_demangle) as expected.
|
|
void
|
|
verify_demangle(const char* mangled, const char* wanted);
|
|
|
|
// Simple callback structure for variable numbers of tests (all with
|
|
// same signature). Assume all unit tests are of the signature
|
|
// void test01();
|
|
class func_callback
|
|
{
|
|
public:
|
|
typedef void (*test_type) (void);
|
|
|
|
private:
|
|
int _M_size;
|
|
test_type _M_tests[15];
|
|
|
|
public:
|
|
func_callback(): _M_size(0) { };
|
|
|
|
int
|
|
size() const { return _M_size; }
|
|
|
|
const test_type*
|
|
tests() const { return _M_tests; }
|
|
|
|
void
|
|
push_back(test_type test)
|
|
{
|
|
_M_tests[_M_size] = test;
|
|
++_M_size;
|
|
}
|
|
};
|
|
|
|
|
|
// Run select unit tests after setting global locale.
|
|
void
|
|
run_tests_wrapped_locale(const char*, const func_callback&);
|
|
|
|
// Run select unit tests after setting environment variables.
|
|
void
|
|
run_tests_wrapped_env(const char*, const char*, const func_callback&);
|
|
|
|
// Try to create a locale with the given name. If it fails, bail.
|
|
std::locale
|
|
try_named_locale(const char* name);
|
|
|
|
int
|
|
try_mkfifo (const char* filename, mode_t mode);
|
|
|
|
// Test data types.
|
|
struct pod_char
|
|
{
|
|
unsigned char c;
|
|
};
|
|
|
|
inline bool
|
|
operator==(const pod_char& lhs, const pod_char& rhs)
|
|
{ return lhs.c == rhs.c; }
|
|
|
|
struct pod_int
|
|
{
|
|
int i;
|
|
};
|
|
|
|
struct state
|
|
{
|
|
unsigned long l;
|
|
unsigned long l2;
|
|
};
|
|
|
|
typedef unsigned short value_type;
|
|
typedef unsigned int int_type;
|
|
typedef __gnu_cxx::character<value_type, int_type> pod_type;
|
|
|
|
|
|
// Counting.
|
|
struct counter
|
|
{
|
|
// Specifically and glaringly-obviously marked 'signed' so that when
|
|
// COUNT mistakenly goes negative, we can track the patterns of
|
|
// deletions more easily.
|
|
typedef signed int size_type;
|
|
static size_type count;
|
|
counter() { ++count; }
|
|
counter (const counter&) { ++count; }
|
|
~counter() { --count; }
|
|
};
|
|
|
|
#define assert_count(n) VERIFY(__gnu_test::counter::count == n)
|
|
|
|
// A (static) class for counting copy constructors and possibly throwing an
|
|
// exception on a desired count.
|
|
class copy_constructor
|
|
{
|
|
public:
|
|
static unsigned int
|
|
count() { return count_; }
|
|
|
|
static void
|
|
mark_call()
|
|
{
|
|
count_++;
|
|
if (count_ == throw_on_)
|
|
__throw_exception_again "copy constructor exception";
|
|
}
|
|
|
|
static void
|
|
reset()
|
|
{
|
|
count_ = 0;
|
|
throw_on_ = 0;
|
|
}
|
|
|
|
static void
|
|
throw_on(unsigned int count) { throw_on_ = count; }
|
|
|
|
private:
|
|
static unsigned int count_;
|
|
static unsigned int throw_on_;
|
|
};
|
|
|
|
// A (static) class for counting assignment operator calls and
|
|
// possibly throwing an exception on a desired count.
|
|
class assignment_operator
|
|
{
|
|
public:
|
|
static unsigned int
|
|
count() { return count_; }
|
|
|
|
static void
|
|
mark_call()
|
|
{
|
|
count_++;
|
|
if (count_ == throw_on_)
|
|
__throw_exception_again "assignment operator exception";
|
|
}
|
|
|
|
static void
|
|
reset()
|
|
{
|
|
count_ = 0;
|
|
throw_on_ = 0;
|
|
}
|
|
|
|
static void
|
|
throw_on(unsigned int count) { throw_on_ = count; }
|
|
|
|
private:
|
|
static unsigned int count_;
|
|
static unsigned int throw_on_;
|
|
};
|
|
|
|
// A (static) class for tracking calls to an object's destructor.
|
|
class destructor
|
|
{
|
|
public:
|
|
static unsigned int
|
|
count() { return _M_count; }
|
|
|
|
static void
|
|
mark_call() { _M_count++; }
|
|
|
|
static void
|
|
reset() { _M_count = 0; }
|
|
|
|
private:
|
|
static unsigned int _M_count;
|
|
};
|
|
|
|
// An class of objects that can be used for validating various
|
|
// behaviours and guarantees of containers and algorithms defined in
|
|
// the standard library.
|
|
class copy_tracker
|
|
{
|
|
public:
|
|
// Creates a copy-tracking object with the given ID number. If
|
|
// "throw_on_copy" is set, an exception will be thrown if an
|
|
// attempt is made to copy this object.
|
|
copy_tracker(int id = next_id_--, bool throw_on_copy = false)
|
|
: id_(id) , throw_on_copy_(throw_on_copy) { }
|
|
|
|
// Copy-constructs the object, marking a call to the copy
|
|
// constructor and forcing an exception if indicated.
|
|
copy_tracker(const copy_tracker& rhs)
|
|
: id_(rhs.id()), throw_on_copy_(rhs.throw_on_copy_)
|
|
{
|
|
if (throw_on_copy_)
|
|
copy_constructor::throw_on(copy_constructor::count() + 1);
|
|
copy_constructor::mark_call();
|
|
}
|
|
|
|
// Assigns the value of another object to this one, tracking the
|
|
// number of times this member function has been called and if the
|
|
// other object is supposed to throw an exception when it is
|
|
// copied, well, make it so.
|
|
copy_tracker&
|
|
operator=(const copy_tracker& rhs)
|
|
{
|
|
id_ = rhs.id();
|
|
if (rhs.throw_on_copy_)
|
|
assignment_operator::throw_on(assignment_operator::count() + 1);
|
|
assignment_operator::mark_call();
|
|
return *this;
|
|
}
|
|
|
|
~copy_tracker()
|
|
{ destructor::mark_call(); }
|
|
|
|
int
|
|
id() const { return id_; }
|
|
|
|
private:
|
|
int id_;
|
|
const bool throw_on_copy_;
|
|
|
|
public:
|
|
static void
|
|
reset()
|
|
{
|
|
copy_constructor::reset();
|
|
assignment_operator::reset();
|
|
destructor::reset();
|
|
}
|
|
|
|
// for backwards-compatibility
|
|
static int
|
|
copyCount()
|
|
{ return copy_constructor::count(); }
|
|
|
|
// for backwards-compatibility
|
|
static int
|
|
dtorCount()
|
|
{ return destructor::count(); }
|
|
|
|
private:
|
|
static int next_id_;
|
|
};
|
|
|
|
inline bool
|
|
operator==(const copy_tracker& lhs, const copy_tracker& rhs)
|
|
{ return lhs.id() == rhs.id(); }
|
|
|
|
// Class for checking required type conversions, implicit and
|
|
// explicit for given library data structures.
|
|
template<typename _Container>
|
|
struct conversion
|
|
{
|
|
typedef typename _Container::const_iterator const_iterator;
|
|
|
|
// Implicit conversion iterator to const_iterator.
|
|
static const_iterator
|
|
iterator_to_const_iterator()
|
|
{
|
|
_Container v;
|
|
const_iterator it = v.begin();
|
|
const_iterator end = v.end();
|
|
return it == end ? v.end() : it;
|
|
}
|
|
};
|
|
} // namespace __gnu_test
|
|
|
|
namespace std
|
|
{
|
|
template<class _CharT>
|
|
struct char_traits;
|
|
|
|
// char_traits specialization
|
|
template<>
|
|
struct char_traits<__gnu_test::pod_char>
|
|
{
|
|
typedef __gnu_test::pod_char char_type;
|
|
typedef __gnu_test::pod_int int_type;
|
|
typedef __gnu_test::state state_type;
|
|
typedef fpos<state_type> pos_type;
|
|
typedef streamoff off_type;
|
|
|
|
static void
|
|
assign(char_type& c1, const char_type& c2)
|
|
{ c1.c = c2.c; }
|
|
|
|
static bool
|
|
eq(const char_type& c1, const char_type& c2)
|
|
{ return c1.c == c2.c; }
|
|
|
|
static bool
|
|
lt(const char_type& c1, const char_type& c2)
|
|
{ return c1.c < c2.c; }
|
|
|
|
static int
|
|
compare(const char_type* s1, const char_type* s2, size_t n)
|
|
{ return memcmp(s1, s2, n); }
|
|
|
|
static size_t
|
|
length(const char_type* s)
|
|
{ return strlen(reinterpret_cast<const char*>(s)); }
|
|
|
|
static const char_type*
|
|
find(const char_type* s, size_t n, const char_type& a)
|
|
{ return static_cast<const char_type*>(memchr(s, a.c, n)); }
|
|
|
|
static char_type*
|
|
move(char_type* s1, const char_type* s2, size_t n)
|
|
{
|
|
memmove(s1, s2, n);
|
|
return s1;
|
|
}
|
|
|
|
static char_type*
|
|
copy(char_type* s1, const char_type* s2, size_t n)
|
|
{
|
|
memcpy(s1, s2, n);
|
|
return s1;
|
|
}
|
|
|
|
static char_type*
|
|
assign(char_type* s, size_t n, char_type a)
|
|
{
|
|
memset(s, a.c, n);
|
|
return s;
|
|
}
|
|
|
|
static char_type
|
|
to_char_type(const int_type& c)
|
|
{
|
|
char_type ret;
|
|
ret.c = static_cast<unsigned char>(c.i);
|
|
return ret;
|
|
}
|
|
|
|
static int_type
|
|
to_int_type(const char_type& c)
|
|
{
|
|
int_type ret;
|
|
ret.i = c.c;
|
|
return ret;
|
|
}
|
|
|
|
static bool
|
|
eq_int_type(const int_type& c1, const int_type& c2)
|
|
{ return c1.i == c2.i; }
|
|
|
|
static int_type
|
|
eof()
|
|
{
|
|
int_type n;
|
|
n.i = -10;
|
|
return n;
|
|
}
|
|
|
|
static int_type
|
|
not_eof(const int_type& c)
|
|
{
|
|
if (eq_int_type(c, eof()))
|
|
return int_type();
|
|
return c;
|
|
}
|
|
};
|
|
} // namespace std
|
|
|
|
#endif // _GLIBCXX_TESTSUITE_HOOKS_H
|
|
|