1//===----------------------------------------------------------------------===//
2//
3//                     The LLVM Compiler Infrastructure
4//
5// This file is dual licensed under the MIT and the University of Illinois Open
6// Source Licenses. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
10// test <cstdlib>
11
12#include <cstdlib>
13#include <type_traits>
14#include <cassert>
15
16// As of 1/10/2015 clang emits a -Wnonnull warnings even if the warning occurs
17// in an unevaluated context. For this reason we manually suppress the warning.
18#if defined(__clang__)
19#pragma clang diagnostic ignored "-Wnonnull"
20#endif
21
22#ifndef EXIT_FAILURE
23#error EXIT_FAILURE not defined
24#endif
25
26#ifndef EXIT_SUCCESS
27#error EXIT_SUCCESS not defined
28#endif
29
30#ifndef MB_CUR_MAX
31#error MB_CUR_MAX not defined
32#endif
33
34#ifndef NULL
35#error NULL not defined
36#endif
37
38#ifndef RAND_MAX
39#error RAND_MAX not defined
40#endif
41
42template <class TestType, class IntType>
43void test_div_struct() {
44    TestType obj;
45    static_assert(sizeof(obj) >= sizeof(IntType) * 2, ""); // >= to account for alignment.
46    static_assert((std::is_same<decltype(obj.quot), IntType>::value), "");
47    static_assert((std::is_same<decltype(obj.rem), IntType>::value), "");
48    ((void) obj);
49};
50
51int main()
52{
53    std::size_t s = 0;
54    ((void)s);
55    static_assert((std::is_same<std::size_t, decltype(sizeof(int))>::value), "");
56    test_div_struct<std::div_t, int>();
57    test_div_struct<std::ldiv_t, long>();
58    test_div_struct<std::lldiv_t, long long>();
59    char** endptr = 0;
60    static_assert((std::is_same<decltype(std::atof("")), double>::value), "");
61    static_assert((std::is_same<decltype(std::atoi("")), int>::value), "");
62    static_assert((std::is_same<decltype(std::atol("")), long>::value), "");
63    static_assert((std::is_same<decltype(std::atoll("")), long long>::value), "");
64    static_assert((std::is_same<decltype(std::getenv("")), char*>::value), "");
65    static_assert((std::is_same<decltype(std::strtod("", endptr)), double>::value), "");
66    static_assert((std::is_same<decltype(std::strtof("", endptr)), float>::value), "");
67    static_assert((std::is_same<decltype(std::strtold("", endptr)), long double>::value), "");
68    static_assert((std::is_same<decltype(std::strtol("", endptr,0)), long>::value), "");
69    static_assert((std::is_same<decltype(std::strtoll("", endptr,0)), long long>::value), "");
70    static_assert((std::is_same<decltype(std::strtoul("", endptr,0)), unsigned long>::value), "");
71    static_assert((std::is_same<decltype(std::strtoull("", endptr,0)), unsigned long long>::value), "");
72    static_assert((std::is_same<decltype(std::rand()), int>::value), "");
73    static_assert((std::is_same<decltype(std::srand(0)), void>::value), "");
74    static_assert((std::is_same<decltype(std::calloc(0,0)), void*>::value), "");
75    static_assert((std::is_same<decltype(std::free(0)), void>::value), "");
76    static_assert((std::is_same<decltype(std::malloc(0)), void*>::value), "");
77    static_assert((std::is_same<decltype(std::realloc(0,0)), void*>::value), "");
78    static_assert((std::is_same<decltype(std::abort()), void>::value), "");
79    static_assert((std::is_same<decltype(std::atexit(0)), int>::value), "");
80    static_assert((std::is_same<decltype(std::exit(0)), void>::value), "");
81    static_assert((std::is_same<decltype(std::_Exit(0)), void>::value), "");
82    static_assert((std::is_same<decltype(std::getenv("")), char*>::value), "");
83    static_assert((std::is_same<decltype(std::system("")), int>::value), "");
84    static_assert((std::is_same<decltype(std::bsearch(0,0,0,0,0)), void*>::value), "");
85    static_assert((std::is_same<decltype(std::qsort(0,0,0,0)), void>::value), "");
86    static_assert((std::is_same<decltype(std::abs(0)), int>::value), "");
87    static_assert((std::is_same<decltype(std::abs((long)0)), long>::value), "");
88    static_assert((std::is_same<decltype(std::abs((long long)0)), long long>::value), "");
89    static_assert((std::is_same<decltype(std::labs((long)0)), long>::value), "");
90    static_assert((std::is_same<decltype(std::llabs((long long)0)), long long>::value), "");
91    static_assert((std::is_same<decltype(std::div(0,0)), std::div_t>::value), "");
92    static_assert((std::is_same<decltype(std::div(0L,0L)), std::ldiv_t>::value), "");
93    static_assert((std::is_same<decltype(std::div(0LL,0LL)), std::lldiv_t>::value), "");
94    static_assert((std::is_same<decltype(std::ldiv(0L,0L)), std::ldiv_t>::value), "");
95    static_assert((std::is_same<decltype(std::lldiv(0LL,0LL)), std::lldiv_t>::value), "");
96    wchar_t* pw = 0;
97    const wchar_t* pwc = 0;
98    char* pc = 0;
99    static_assert((std::is_same<decltype(std::mblen("",0)), int>::value), "");
100    static_assert((std::is_same<decltype(std::mbtowc(pw,"",0)), int>::value), "");
101    static_assert((std::is_same<decltype(std::wctomb(pc,L' ')), int>::value), "");
102    static_assert((std::is_same<decltype(std::mbstowcs(pw,"",0)), std::size_t>::value), "");
103    static_assert((std::is_same<decltype(std::wcstombs(pc,pwc,0)), std::size_t>::value), "");
104}
105