Howard Hinnant | bc8d3f9 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 1 | //===----------------------------------------------------------------------===// |
| 2 | // |
Howard Hinnant | f5256e1 | 2010-05-11 21:36:01 +0000 | [diff] [blame] | 3 | // The LLVM Compiler Infrastructure |
Howard Hinnant | bc8d3f9 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 4 | // |
Howard Hinnant | b64f8b0 | 2010-11-16 22:09:02 +0000 | [diff] [blame] | 5 | // This file is dual licensed under the MIT and the University of Illinois Open |
| 6 | // Source Licenses. See LICENSE.TXT for details. |
Howard Hinnant | bc8d3f9 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | |
| 10 | // test <cstdlib> |
| 11 | |
| 12 | #include <cstdlib> |
| 13 | #include <type_traits> |
Eric Fiselier | 7b86ce5 | 2015-07-18 21:17:16 +0000 | [diff] [blame] | 14 | #include <cassert> |
Howard Hinnant | bc8d3f9 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 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 | |
Eric Fiselier | 7b86ce5 | 2015-07-18 21:17:16 +0000 | [diff] [blame] | 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. |
Eric Fiselier | b47a434 | 2015-07-28 07:31:50 +0000 | [diff] [blame] | 40 | static_assert((std::is_same<decltype(obj.quot), IntType>::value), ""); |
| 41 | static_assert((std::is_same<decltype(obj.rem), IntType>::value), ""); |
Eric Fiselier | 7b86ce5 | 2015-07-18 21:17:16 +0000 | [diff] [blame] | 42 | ((void) obj); |
| 43 | }; |
| 44 | |
Howard Hinnant | bc8d3f9 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 45 | int main() |
| 46 | { |
| 47 | std::size_t s = 0; |
Eric Fiselier | 7b86ce5 | 2015-07-18 21:17:16 +0000 | [diff] [blame] | 48 | ((void)s); |
Eric Fiselier | b47a434 | 2015-07-28 07:31:50 +0000 | [diff] [blame] | 49 | static_assert((std::is_same<std::size_t, decltype(sizeof(int))>::value), ""); |
Eric Fiselier | 7b86ce5 | 2015-07-18 21:17:16 +0000 | [diff] [blame] | 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>(); |
Howard Hinnant | bc8d3f9 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 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), ""); |
Howard Hinnant | bc8d3f9 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 90 | wchar_t* pw = 0; |
| 91 | const wchar_t* pwc = 0; |
| 92 | char* pc = 0; |
Ed Schouten | 323ade3 | 2015-06-24 08:44:38 +0000 | [diff] [blame] | 93 | #ifndef _LIBCPP_HAS_NO_THREAD_UNSAFE_C_FUNCTIONS |
| 94 | static_assert((std::is_same<decltype(std::mblen("",0)), int>::value), ""); |
Howard Hinnant | bc8d3f9 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 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), ""); |
Ed Schouten | 323ade3 | 2015-06-24 08:44:38 +0000 | [diff] [blame] | 97 | #endif |
Howard Hinnant | bc8d3f9 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 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 | } |