
//  (C) Copyright Daniel James 2005.
//  Use, modification and distribution are subject to 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 "./config.hpp"

#ifdef TEST_STD_INCLUDES
#  include <functional>
#else
#  include <boost/functional/hash/hash.hpp>
#endif

#define BOOST_AUTO_TEST_MAIN
#include <boost/test/auto_unit_test.hpp>

#include <boost/limits.hpp>
#include <boost/mpl/assert.hpp>
#include <boost/type_traits/is_base_and_derived.hpp>

#include "./compile_time.hpp"

void void_func1() { static int x = 1; ++x; }
void void_func2() { static int x = 2; --x; }
int int_func1(int) { return 0; }
int int_func2(int) { return 1; }

BOOST_AUTO_UNIT_TEST(function_pointer_tests)
{
    compile_time_tests((void(**)()) 0);
    compile_time_tests((int(**)(int)) 0);

    HASH_NAMESPACE::hash<void(*)()> hasher_void;
    HASH_NAMESPACE::hash<int(*)(int)> hasher_int;

    BOOST_CHECK(&void_func1 != &void_func2);
    BOOST_CHECK(&int_func1 != &int_func2);

    BOOST_CHECK(hasher_void(0) == hasher_void(0));
    BOOST_CHECK(hasher_void(&void_func1) == hasher_void(&void_func1));
    BOOST_CHECK(hasher_void(&void_func1) != hasher_void(&void_func2));
    BOOST_CHECK(hasher_void(&void_func1) != hasher_void(0));
    BOOST_CHECK(hasher_int(0) == hasher_int(0));
    BOOST_CHECK(hasher_int(&int_func1) == hasher_int(&int_func1));
    BOOST_CHECK(hasher_int(&int_func1) != hasher_int(&int_func2));
    BOOST_CHECK(hasher_int(&int_func1) != hasher_int(0));
#if defined(TEST_EXTENSIONS)
    BOOST_CHECK(hasher_void(&void_func1)
            == HASH_NAMESPACE::hash_value(&void_func1));
    BOOST_CHECK(hasher_int(&int_func1)
            == HASH_NAMESPACE::hash_value(&int_func1));

    // This isn't specified in Peter's proposal:
    BOOST_CHECK(hasher_void(0) == 0);
#endif
}
