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