1 //===----------------------------------------------------------------------===// 2 // 3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4 // See https://llvm.org/LICENSE.txt for license information. 5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6 // 7 //===----------------------------------------------------------------------===// 8 9 // test <cstdlib> 10 11 #include <cstdlib> 12 #include <cassert> 13 #include <type_traits> 14 #include <utility> 15 16 #include "test_macros.h" 17 18 #ifndef EXIT_FAILURE 19 #error EXIT_FAILURE not defined 20 #endif 21 22 #ifndef EXIT_SUCCESS 23 #error EXIT_SUCCESS not defined 24 #endif 25 26 #ifndef MB_CUR_MAX 27 #error MB_CUR_MAX not defined 28 #endif 29 30 #ifndef NULL 31 #error NULL not defined 32 #endif 33 34 #ifndef RAND_MAX 35 #error RAND_MAX not defined 36 #endif 37 38 template <class TestType, class IntType> 39 void test_div_struct() { 40 TestType obj; 41 static_assert(sizeof(obj) >= sizeof(IntType) * 2, ""); // >= to account for alignment. 42 static_assert((std::is_same<decltype(obj.quot), IntType>::value), ""); 43 static_assert((std::is_same<decltype(obj.rem), IntType>::value), ""); 44 ((void) obj); 45 }; 46 47 template <class T, class = decltype(std::abs(std::declval<T>()))> 48 std::true_type has_abs_imp(int); 49 template <class T> 50 std::false_type has_abs_imp(...); 51 52 template <class T> 53 struct has_abs : decltype(has_abs_imp<T>(0)) {}; 54 55 void test_abs() { 56 TEST_DIAGNOSTIC_PUSH 57 TEST_CLANG_DIAGNOSTIC_IGNORED("-Wabsolute-value") 58 static_assert((std::is_same<decltype(std::abs((float)0)), float>::value), ""); 59 static_assert((std::is_same<decltype(std::abs((double)0)), double>::value), ""); 60 static_assert( 61 (std::is_same<decltype(std::abs((long double)0)), long double>::value), ""); 62 static_assert((std::is_same<decltype(std::abs((int)0)), int>::value), ""); 63 static_assert((std::is_same<decltype(std::abs((long)0)), long>::value), ""); 64 static_assert((std::is_same<decltype(std::abs((long long)0)), long long>::value), 65 ""); 66 static_assert((std::is_same<decltype(std::abs((unsigned char)0)), int>::value), 67 ""); 68 static_assert((std::is_same<decltype(std::abs((unsigned short)0)), int>::value), 69 ""); 70 static_assert((std::is_same<decltype(std::abs((signed char)0)), int>::value), 71 ""); 72 static_assert((std::is_same<decltype(std::abs((short)0)), int>::value), 73 ""); 74 static_assert((std::is_same<decltype(std::abs((unsigned char)0)), int>::value), 75 ""); 76 static_assert((std::is_same<decltype(std::abs((char)0)), int>::value), 77 ""); 78 79 static_assert(!has_abs<unsigned>::value, ""); 80 static_assert(!has_abs<unsigned long>::value, ""); 81 static_assert(!has_abs<unsigned long long>::value, ""); 82 static_assert(!has_abs<std::size_t>::value, ""); 83 84 TEST_DIAGNOSTIC_POP 85 86 assert(std::abs(-1.) == 1); 87 } 88 89 int main(int, char**) 90 { 91 std::size_t s = 0; 92 ((void)s); 93 static_assert((std::is_same<std::size_t, decltype(sizeof(int))>::value), ""); 94 test_div_struct<std::div_t, int>(); 95 test_div_struct<std::ldiv_t, long>(); 96 test_div_struct<std::lldiv_t, long long>(); 97 char** endptr = 0; 98 static_assert((std::is_same<decltype(std::atof("")), double>::value), ""); 99 static_assert((std::is_same<decltype(std::atoi("")), int>::value), ""); 100 static_assert((std::is_same<decltype(std::atol("")), long>::value), ""); 101 static_assert((std::is_same<decltype(std::atoll("")), long long>::value), ""); 102 static_assert((std::is_same<decltype(std::getenv("")), char*>::value), ""); 103 static_assert((std::is_same<decltype(std::strtod("", endptr)), double>::value), ""); 104 static_assert((std::is_same<decltype(std::strtof("", endptr)), float>::value), ""); 105 static_assert((std::is_same<decltype(std::strtold("", endptr)), long double>::value), ""); 106 static_assert((std::is_same<decltype(std::strtol("", endptr,0)), long>::value), ""); 107 static_assert((std::is_same<decltype(std::strtoll("", endptr,0)), long long>::value), ""); 108 static_assert((std::is_same<decltype(std::strtoul("", endptr,0)), unsigned long>::value), ""); 109 static_assert((std::is_same<decltype(std::strtoull("", endptr,0)), unsigned long long>::value), ""); 110 static_assert((std::is_same<decltype(std::rand()), int>::value), ""); 111 static_assert((std::is_same<decltype(std::srand(0)), void>::value), ""); 112 113 // std::aligned_alloc tested in cstdlib.aligned_alloc.compile.pass.cpp 114 115 void* pv = 0; 116 void (*handler)() = 0; 117 int (*comp)(void const*, void const*) = 0; 118 static_assert((std::is_same<decltype(std::calloc(0,0)), void*>::value), ""); 119 static_assert((std::is_same<decltype(std::free(0)), void>::value), ""); 120 static_assert((std::is_same<decltype(std::malloc(0)), void*>::value), ""); 121 static_assert((std::is_same<decltype(std::realloc(0,0)), void*>::value), ""); 122 static_assert((std::is_same<decltype(std::abort()), void>::value), ""); 123 static_assert((std::is_same<decltype(std::atexit(handler)), int>::value), ""); 124 static_assert((std::is_same<decltype(std::exit(0)), void>::value), ""); 125 static_assert((std::is_same<decltype(std::_Exit(0)), void>::value), ""); 126 static_assert((std::is_same<decltype(std::getenv("")), char*>::value), ""); 127 static_assert((std::is_same<decltype(std::system("")), int>::value), ""); 128 static_assert((std::is_same<decltype(std::bsearch(pv,pv,0,0,comp)), void*>::value), ""); 129 static_assert((std::is_same<decltype(std::qsort(pv,0,0,comp)), void>::value), ""); 130 static_assert((std::is_same<decltype(std::abs(0)), int>::value), ""); 131 static_assert((std::is_same<decltype(std::abs((long)0)), long>::value), ""); 132 static_assert((std::is_same<decltype(std::abs((long long)0)), long long>::value), ""); 133 static_assert((std::is_same<decltype(std::labs((long)0)), long>::value), ""); 134 static_assert((std::is_same<decltype(std::llabs((long long)0)), long long>::value), ""); 135 static_assert((std::is_same<decltype(std::div(0,0)), std::div_t>::value), ""); 136 static_assert((std::is_same<decltype(std::div(0L,0L)), std::ldiv_t>::value), ""); 137 static_assert((std::is_same<decltype(std::div(0LL,0LL)), std::lldiv_t>::value), ""); 138 static_assert((std::is_same<decltype(std::ldiv(0L,0L)), std::ldiv_t>::value), ""); 139 static_assert((std::is_same<decltype(std::lldiv(0LL,0LL)), std::lldiv_t>::value), ""); 140 #ifndef TEST_HAS_NO_WIDE_CHARACTERS 141 wchar_t* pw = 0; 142 const wchar_t* pwc = 0; 143 char* pc = 0; 144 static_assert((std::is_same<decltype(std::mblen("",0)), int>::value), ""); 145 static_assert((std::is_same<decltype(std::mbtowc(pw,"",0)), int>::value), ""); 146 static_assert((std::is_same<decltype(std::wctomb(pc,L' ')), int>::value), ""); 147 static_assert((std::is_same<decltype(std::mbstowcs(pw,"",0)), std::size_t>::value), ""); 148 static_assert((std::is_same<decltype(std::wcstombs(pc,pwc,0)), std::size_t>::value), ""); 149 #endif 150 151 test_abs(); 152 153 return 0; 154 } 155