#include <tr1/type_traits>
#include <testsuite_hooks.h>
#include <testsuite_tr1.h>
void test01()
{
bool test __attribute__((unused)) = true;
using std::tr1::add_cv;
using std::tr1::is_same;
using namespace __gnu_test;
VERIFY( (is_same<add_cv<int>::type, const volatile int>::value) );
VERIFY( (is_same<add_cv<const int>::type, const volatile int>::value) );
VERIFY( (is_same<add_cv<int*>::type, int* const volatile>::value) );
VERIFY( (is_same<add_cv<int&>::type, int&>::value) );
VERIFY( (is_same<add_cv<int (int)>::type, int (int)>::value) );
VERIFY( (is_same<add_cv<const volatile int>::type,
const volatile int>::value) );
VERIFY( (is_same<add_cv<ClassType>::type, const volatile ClassType>::value) );
VERIFY( (is_same<add_cv<volatile ClassType>::type,
const volatile ClassType>::value) );
VERIFY( (is_same<add_cv<ClassType*>::type,
ClassType* const volatile>::value) );
VERIFY( (is_same<add_cv<ClassType&>::type, ClassType&>::value) );
VERIFY( (is_same<add_cv<ClassType (ClassType)>::type,
ClassType (ClassType)>::value) );
VERIFY( (is_same<add_cv<const volatile ClassType>::type,
const volatile ClassType>::value) );
}
int main()
{
test01();
return 0;
}