boost_1_45_0/libs/type_traits/test/promote_basic_test.cpp

// Copyright 2005 Alexander Nasonov.
// Distributed under the Boost Software License, Version 1.0. (See
// accompanying file LICENSE_1_0.txt or copy at
// http://www.boost.org/LICENSE_1_0.txt)

#include <climits>

#if !defined(BOOST_NO_CWCHAR)
#include <cwchar>
#endif

#include "promote_util.hpp"

struct Struct {};

int main()
{
    // char types

#if CHAR_MAX <= INT_MAX
    test_cv< char, int >();
#else
    // TODO: dead branch?
    test_cv< char, unsigned int >();
#endif

    test_cv< signed char, int >();

#if UCHAR_MAX <= INT_MAX
    test_cv< unsigned char, int >();
#else
    test_cv< unsigned char, unsigned int >();
#endif


    // short types

    test_cv< short int, int >();

#if USHRT_MAX <= INT_MAX
    test_cv< unsigned short, int >();
#else
    test_cv< unsigned short, unsigned int >();
#endif


    // int and long

    test_cv< int,           int           >();
    test_cv< unsigned int,  unsigned int  >();
    test_cv< long,          long          >();
    test_cv< unsigned long, unsigned long >();

    // wchar_t

#if !defined(BOOST_NO_CWCHAR) && defined(WCHAR_MAX) && defined(WCHAR_MIN)

// Version prior to VC8 didn't allow WCHAR_MAX in #if expressions
#if defined(BOOST_MSVC) && BOOST_MSVC < 1400
#  define BOOST_TT_AUX_WCHAR_MAX USHORT_MAX // force test_cv< wchar_t, int >
#elif defined(WCHAR_MAX) && !defined(__APPLE__)
#  define BOOST_TT_AUX_WCHAR_MAX WCHAR_MAX
#elif defined(__BORLANDC__) || defined(__CYGWIN__) || defined(__MINGW32__) || (defined(__BEOS__) && defined(__GNUC__))
    // No WCHAR_MIN and WCHAR_MAX, whar_t is short and unsigned:
#  define BOOST_TT_AUX_WCHAR_MAX USHORT_MAX // force test_cv< wchar_t, int >
#elif (defined(__sgi) && (!defined(__SGI_STL_PORT) || __SGI_STL_PORT < 0x400))\
    || (defined __APPLE__)\
    || (defined(__OpenBSD__) && defined(__GNUC__))\
    || (defined(__NetBSD__) && defined(__GNUC__))\
    || (defined(__FreeBSD__) && defined(__GNUC__))\
    || (defined(__DragonFly__) && defined(__GNUC__))\
    || (defined(__hpux) && defined(__GNUC__) && (__GNUC__ == 3) && !defined(__SGI_STL_PORT))
    // No WCHAR_MIN and WCHAR_MAX, wchar_t has the same range as int.
    //  - SGI MIPSpro with native library
    //  - gcc 3.x on HP-UX
    //  - Mac OS X with native library
    //  - gcc on FreeBSD, OpenBSD and NetBSD
#  define BOOST_TT_AUX_WCHAR_MAX INT_MAX // force test_cv< wchar_t, int >
#elif defined(__hpux) && defined(__GNUC__) && (__GNUC__ == 2) && !defined(__SGI_STL_PORT)
    // No WCHAR_MIN and WCHAR_MAX, wchar_t has the same range as unsigned int.
    //  - gcc 2.95.x on HP-UX
    // (also, std::numeric_limits<wchar_t> appears to return the wrong values).
#  define BOOST_TT_AUX_WCHAR_MAX UINT_MAX // force test_cv< wchar_t, int >
#endif

// For this PP-logic to work we need a valid WCHAR_MAX etc:
#if defined(BOOST_TT_AUX_WCHAR_MAX) \
   && !defined(__DECCXX) \
   && !defined(__hpux) \
   && !defined(_WIN32_WCE)

#if BOOST_TT_AUX_WCHAR_MAX <= INT_MAX
    test_cv< wchar_t, int >();
#elif WCHAR_MIN == 0 && BOOST_TT_AUX_WCHAR_MAX <= UINT_MAX
    test_cv< wchar_t, unsigned int >();
#elif BOOST_TT_AUX_WCHAR_MAX <= LONG_MAX
    test_cv< wchar_t, long >();
#else
    test_cv< wchar_t, unsigned long >();
#endif

#endif

#undef BOOST_TT_AUX_WCHAR_MAX

#endif


    // floating point promotion

    test_cv< float , double >();
    test_cv< double, double >();


    // Other types

    test_cv< Struct, Struct >();
    test_cv< void  , void   >();
    test_cv< void* , void*  >();

    // Array types

    typedef int arr[3];
    typedef int (&arr_ref)[3];
    typedef int (*arr_ptr)[3];

    test_cv< arr    , arr     >();
    test_cv< arr_ptr, arr_ptr >();

    test_no_cv<arr_ref,arr_ref>();


    // Function types

    typedef int (fun)();
    typedef int (&fun_ref)();
    typedef int (*fun_ptr)();

    test_no_cv< fun    , fun     >();
    test_no_cv< fun_ref, fun_ref >();
    test_no_cv< fun_ptr, fun_ptr >();

    // Member pointer types

    typedef int (Struct::*mem_fun_ptr)();
    typedef int Struct::*mem_ptr;

    test_no_cv< mem_ptr,     mem_ptr     >();
    test_no_cv< mem_fun_ptr, mem_fun_ptr >();

    return 0;
}