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 #ifndef EXIT_FAILURE 17 #error EXIT_FAILURE not defined 18 #endif 19 20 #ifndef EXIT_SUCCESS 21 #error EXIT_SUCCESS not defined 22 #endif 23 24 #ifndef MB_CUR_MAX 25 #error MB_CUR_MAX not defined 26 #endif 27 28 #ifndef NULL 29 #error NULL not defined 30 #endif 31 32 #ifndef RAND_MAX 33 #error RAND_MAX not defined 34 #endif 35 36 template <class TestType, class IntType> 37 void test_div_struct() { 38 TestType obj; 39 static_assert(sizeof(obj) >= sizeof(IntType) * 2, ""); // >= to account for alignment. 40 static_assert((std::is_same<decltype(obj.quot), IntType>::value), ""); 41 static_assert((std::is_same<decltype(obj.rem), IntType>::value), ""); 42 ((void) obj); 43 }; 44 45 int main() 46 { 47 std::size_t s = 0; 48 ((void)s); 49 static_assert((std::is_same<std::size_t, decltype(sizeof(int))>::value), ""); 50 test_div_struct<std::div_t, int>(); 51 test_div_struct<std::ldiv_t, long>(); 52 test_div_struct<std::lldiv_t, long long>(); 53 char** endptr = 0; 54 static_assert((std::is_same<decltype(std::atof("")), double>::value), ""); 55 static_assert((std::is_same<decltype(std::atoi("")), int>::value), ""); 56 static_assert((std::is_same<decltype(std::atol("")), long>::value), ""); 57 static_assert((std::is_same<decltype(std::atoll("")), long long>::value), ""); 58 static_assert((std::is_same<decltype(std::getenv("")), char*>::value), ""); 59 static_assert((std::is_same<decltype(std::strtod("", endptr)), double>::value), ""); 60 static_assert((std::is_same<decltype(std::strtof("", endptr)), float>::value), ""); 61 static_assert((std::is_same<decltype(std::strtold("", endptr)), long double>::value), ""); 62 static_assert((std::is_same<decltype(std::strtol("", endptr,0)), long>::value), ""); 63 static_assert((std::is_same<decltype(std::strtoll("", endptr,0)), long long>::value), ""); 64 static_assert((std::is_same<decltype(std::strtoul("", endptr,0)), unsigned long>::value), ""); 65 static_assert((std::is_same<decltype(std::strtoull("", endptr,0)), unsigned long long>::value), ""); 66 static_assert((std::is_same<decltype(std::rand()), int>::value), ""); 67 static_assert((std::is_same<decltype(std::srand(0)), void>::value), ""); 68 static_assert((std::is_same<decltype(std::calloc(0,0)), void*>::value), ""); 69 static_assert((std::is_same<decltype(std::free(0)), void>::value), ""); 70 static_assert((std::is_same<decltype(std::malloc(0)), void*>::value), ""); 71 static_assert((std::is_same<decltype(std::realloc(0,0)), void*>::value), ""); 72 static_assert((std::is_same<decltype(std::abort()), void>::value), ""); 73 static_assert((std::is_same<decltype(std::atexit(0)), int>::value), ""); 74 static_assert((std::is_same<decltype(std::exit(0)), void>::value), ""); 75 static_assert((std::is_same<decltype(std::_Exit(0)), void>::value), ""); 76 static_assert((std::is_same<decltype(std::getenv("")), char*>::value), ""); 77 static_assert((std::is_same<decltype(std::system("")), int>::value), ""); 78 static_assert((std::is_same<decltype(std::bsearch(0,0,0,0,0)), void*>::value), ""); 79 static_assert((std::is_same<decltype(std::qsort(0,0,0,0)), void>::value), ""); 80 static_assert((std::is_same<decltype(std::abs(0)), int>::value), ""); 81 static_assert((std::is_same<decltype(std::abs((long)0)), long>::value), ""); 82 static_assert((std::is_same<decltype(std::abs((long long)0)), long long>::value), ""); 83 static_assert((std::is_same<decltype(std::labs((long)0)), long>::value), ""); 84 static_assert((std::is_same<decltype(std::llabs((long long)0)), long long>::value), ""); 85 static_assert((std::is_same<decltype(std::div(0,0)), std::div_t>::value), ""); 86 static_assert((std::is_same<decltype(std::div(0L,0L)), std::ldiv_t>::value), ""); 87 static_assert((std::is_same<decltype(std::div(0LL,0LL)), std::lldiv_t>::value), ""); 88 static_assert((std::is_same<decltype(std::ldiv(0L,0L)), std::ldiv_t>::value), ""); 89 static_assert((std::is_same<decltype(std::lldiv(0LL,0LL)), std::lldiv_t>::value), ""); 90 wchar_t* pw = 0; 91 const wchar_t* pwc = 0; 92 char* pc = 0; 93 #ifndef _LIBCPP_HAS_NO_THREAD_UNSAFE_C_FUNCTIONS 94 static_assert((std::is_same<decltype(std::mblen("",0)), int>::value), ""); 95 static_assert((std::is_same<decltype(std::mbtowc(pw,"",0)), int>::value), ""); 96 static_assert((std::is_same<decltype(std::wctomb(pc,L' ')), int>::value), ""); 97 #endif 98 static_assert((std::is_same<decltype(std::mbstowcs(pw,"",0)), std::size_t>::value), ""); 99 static_assert((std::is_same<decltype(std::wcstombs(pc,pwc,0)), std::size_t>::value), ""); 100 } 101