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 // ::aligned_alloc is provided by the C library, but it's marked as unavailable 12 // until macOS 10.15 13 // XFAIL: use_system_cxx_lib && target={{.+}}-apple-macosx10.{{9|10|11|12|13|14}} 14 15 // ::aligned_alloc is not implemented on Windows 16 // XFAIL: target={{.+}}-pc-windows-{{.+}} 17 18 #include <cstdlib> 19 #include <type_traits> 20 #include <cassert> 21 22 #include "test_macros.h" 23 24 // As of 1/10/2015 clang emits a -Wnonnull warnings even if the warning occurs 25 // in an unevaluated context. For this reason we manually suppress the warning. 26 #if defined(__clang__) 27 #pragma clang diagnostic ignored "-Wnonnull" 28 #endif 29 30 #ifndef EXIT_FAILURE 31 #error EXIT_FAILURE not defined 32 #endif 33 34 #ifndef EXIT_SUCCESS 35 #error EXIT_SUCCESS not defined 36 #endif 37 38 #ifndef MB_CUR_MAX 39 #error MB_CUR_MAX not defined 40 #endif 41 42 #ifndef NULL 43 #error NULL not defined 44 #endif 45 46 #ifndef RAND_MAX 47 #error RAND_MAX not defined 48 #endif 49 50 template <class TestType, class IntType> 51 void test_div_struct() { 52 TestType obj; 53 static_assert(sizeof(obj) >= sizeof(IntType) * 2, ""); // >= to account for alignment. 54 static_assert((std::is_same<decltype(obj.quot), IntType>::value), ""); 55 static_assert((std::is_same<decltype(obj.rem), IntType>::value), ""); 56 ((void) obj); 57 }; 58 59 template <class T, class = decltype(std::abs(std::declval<T>()))> 60 std::true_type has_abs_imp(int); 61 template <class T> 62 std::false_type has_abs_imp(...); 63 64 template <class T> 65 struct has_abs : decltype(has_abs_imp<T>(0)) {}; 66 67 void test_abs() { 68 #ifdef __clang__ 69 #pragma clang diagnostic push 70 #pragma clang diagnostic ignored "-Wabsolute-value" 71 #endif 72 static_assert((std::is_same<decltype(std::abs((float)0)), float>::value), ""); 73 static_assert((std::is_same<decltype(std::abs((double)0)), double>::value), ""); 74 static_assert( 75 (std::is_same<decltype(std::abs((long double)0)), long double>::value), ""); 76 static_assert((std::is_same<decltype(std::abs((int)0)), int>::value), ""); 77 static_assert((std::is_same<decltype(std::abs((long)0)), long>::value), ""); 78 static_assert((std::is_same<decltype(std::abs((long long)0)), long long>::value), 79 ""); 80 static_assert((std::is_same<decltype(std::abs((unsigned char)0)), int>::value), 81 ""); 82 static_assert((std::is_same<decltype(std::abs((unsigned short)0)), int>::value), 83 ""); 84 static_assert((std::is_same<decltype(std::abs((signed char)0)), int>::value), 85 ""); 86 static_assert((std::is_same<decltype(std::abs((short)0)), int>::value), 87 ""); 88 static_assert((std::is_same<decltype(std::abs((unsigned char)0)), int>::value), 89 ""); 90 static_assert((std::is_same<decltype(std::abs((char)0)), int>::value), 91 ""); 92 93 static_assert(!has_abs<unsigned>::value, ""); 94 static_assert(!has_abs<unsigned long>::value, ""); 95 static_assert(!has_abs<unsigned long long>::value, ""); 96 static_assert(!has_abs<size_t>::value, ""); 97 98 #ifdef __clang__ 99 #pragma clang diagnostic pop 100 #endif 101 102 assert(std::abs(-1.) == 1); 103 } 104 105 int main(int, char**) 106 { 107 std::size_t s = 0; 108 ((void)s); 109 static_assert((std::is_same<std::size_t, decltype(sizeof(int))>::value), ""); 110 test_div_struct<std::div_t, int>(); 111 test_div_struct<std::ldiv_t, long>(); 112 test_div_struct<std::lldiv_t, long long>(); 113 char** endptr = 0; 114 static_assert((std::is_same<decltype(std::atof("")), double>::value), ""); 115 static_assert((std::is_same<decltype(std::atoi("")), int>::value), ""); 116 static_assert((std::is_same<decltype(std::atol("")), long>::value), ""); 117 static_assert((std::is_same<decltype(std::atoll("")), long long>::value), ""); 118 static_assert((std::is_same<decltype(std::getenv("")), char*>::value), ""); 119 static_assert((std::is_same<decltype(std::strtod("", endptr)), double>::value), ""); 120 static_assert((std::is_same<decltype(std::strtof("", endptr)), float>::value), ""); 121 static_assert((std::is_same<decltype(std::strtold("", endptr)), long double>::value), ""); 122 static_assert((std::is_same<decltype(std::strtol("", endptr,0)), long>::value), ""); 123 static_assert((std::is_same<decltype(std::strtoll("", endptr,0)), long long>::value), ""); 124 static_assert((std::is_same<decltype(std::strtoul("", endptr,0)), unsigned long>::value), ""); 125 static_assert((std::is_same<decltype(std::strtoull("", endptr,0)), unsigned long long>::value), ""); 126 static_assert((std::is_same<decltype(std::rand()), int>::value), ""); 127 static_assert((std::is_same<decltype(std::srand(0)), void>::value), ""); 128 129 #if TEST_STD_VER > 14 130 static_assert((std::is_same<decltype(std::aligned_alloc(1, 0)), void*>::value), ""); 131 #endif 132 133 void* pv = 0; 134 void (*handler)() = 0; 135 int (*comp)(void const*, void const*) = 0; 136 static_assert((std::is_same<decltype(std::calloc(0,0)), void*>::value), ""); 137 static_assert((std::is_same<decltype(std::free(0)), void>::value), ""); 138 static_assert((std::is_same<decltype(std::malloc(0)), void*>::value), ""); 139 static_assert((std::is_same<decltype(std::realloc(0,0)), void*>::value), ""); 140 static_assert((std::is_same<decltype(std::abort()), void>::value), ""); 141 static_assert((std::is_same<decltype(std::atexit(handler)), int>::value), ""); 142 static_assert((std::is_same<decltype(std::exit(0)), void>::value), ""); 143 static_assert((std::is_same<decltype(std::_Exit(0)), void>::value), ""); 144 static_assert((std::is_same<decltype(std::getenv("")), char*>::value), ""); 145 static_assert((std::is_same<decltype(std::system("")), int>::value), ""); 146 static_assert((std::is_same<decltype(std::bsearch(pv,pv,0,0,comp)), void*>::value), ""); 147 static_assert((std::is_same<decltype(std::qsort(pv,0,0,comp)), void>::value), ""); 148 static_assert((std::is_same<decltype(std::abs(0)), int>::value), ""); 149 static_assert((std::is_same<decltype(std::abs((long)0)), long>::value), ""); 150 static_assert((std::is_same<decltype(std::abs((long long)0)), long long>::value), ""); 151 static_assert((std::is_same<decltype(std::labs((long)0)), long>::value), ""); 152 static_assert((std::is_same<decltype(std::llabs((long long)0)), long long>::value), ""); 153 static_assert((std::is_same<decltype(std::div(0,0)), std::div_t>::value), ""); 154 static_assert((std::is_same<decltype(std::div(0L,0L)), std::ldiv_t>::value), ""); 155 static_assert((std::is_same<decltype(std::div(0LL,0LL)), std::lldiv_t>::value), ""); 156 static_assert((std::is_same<decltype(std::ldiv(0L,0L)), std::ldiv_t>::value), ""); 157 static_assert((std::is_same<decltype(std::lldiv(0LL,0LL)), std::lldiv_t>::value), ""); 158 wchar_t* pw = 0; 159 const wchar_t* pwc = 0; 160 char* pc = 0; 161 static_assert((std::is_same<decltype(std::mblen("",0)), int>::value), ""); 162 static_assert((std::is_same<decltype(std::mbtowc(pw,"",0)), int>::value), ""); 163 static_assert((std::is_same<decltype(std::wctomb(pc,L' ')), int>::value), ""); 164 static_assert((std::is_same<decltype(std::mbstowcs(pw,"",0)), std::size_t>::value), ""); 165 static_assert((std::is_same<decltype(std::wcstombs(pc,pwc,0)), std::size_t>::value), ""); 166 167 test_abs(); 168 169 return 0; 170 } 171