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 #include <stdlib.h>
12 #include <type_traits>
13 #include <cassert>
14
15 #include "test_macros.h"
16
17 #ifdef abs
18 #error abs is defined
19 #endif
20
21 #ifdef labs
22 #error labs is defined
23 #endif
24
25 #ifdef llabs
26 #error llabs is defined
27 #endif
28
29 #ifdef div
30 #error div is defined
31 #endif
32
33 #ifdef ldiv
34 #error ldiv is defined
35 #endif
36
37 #ifdef lldiv
38 #error lldiv is defined
39 #endif
40
41 #ifndef EXIT_FAILURE
42 #error EXIT_FAILURE not defined
43 #endif
44
45 #ifndef EXIT_SUCCESS
46 #error EXIT_SUCCESS not defined
47 #endif
48
49 #ifndef MB_CUR_MAX
50 #error MB_CUR_MAX not defined
51 #endif
52
53 #ifndef NULL
54 #error NULL not defined
55 #endif
56
57 #ifndef RAND_MAX
58 #error RAND_MAX not defined
59 #endif
60
61 template <class T, class = decltype(::abs(std::declval<T>()))>
62 std::true_type has_abs_imp(int);
63 template <class T>
64 std::false_type has_abs_imp(...);
65
66 template <class T>
67 struct has_abs : decltype(has_abs_imp<T>(0)) {};
68
test_abs()69 void test_abs() {
70 TEST_DIAGNOSTIC_PUSH
71 TEST_CLANG_DIAGNOSTIC_IGNORED("-Wabsolute-value")
72 static_assert((std::is_same<decltype(abs((float)0)), float>::value), "");
73 static_assert((std::is_same<decltype(abs((double)0)), double>::value), "");
74 static_assert(
75 (std::is_same<decltype(abs((long double)0)), long double>::value), "");
76 static_assert((std::is_same<decltype(abs((int)0)), int>::value), "");
77 static_assert((std::is_same<decltype(abs((long)0)), long>::value), "");
78 static_assert((std::is_same<decltype(abs((long long)0)), long long>::value),
79 "");
80 static_assert((std::is_same<decltype(abs((unsigned char)0)), int>::value),
81 "");
82 static_assert((std::is_same<decltype(abs((unsigned short)0)), int>::value),
83 "");
84 static_assert((std::is_same<decltype(abs((signed char)0)), int>::value),
85 "");
86 static_assert((std::is_same<decltype(abs((short)0)), int>::value),
87 "");
88 static_assert((std::is_same<decltype(abs((unsigned char)0)), int>::value),
89 "");
90 static_assert((std::is_same<decltype(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 TEST_DIAGNOSTIC_POP
99
100 assert(abs(-1.) == 1);
101 }
102
main(int,char **)103 int main(int, char**)
104 {
105 size_t s = 0; ((void)s);
106 div_t d; ((void)d);
107 ldiv_t ld; ((void)ld);
108 lldiv_t lld; ((void)lld);
109 char** endptr = 0;
110 static_assert((std::is_same<decltype(atof("")), double>::value), "");
111 static_assert((std::is_same<decltype(atoi("")), int>::value), "");
112 static_assert((std::is_same<decltype(atol("")), long>::value), "");
113 static_assert((std::is_same<decltype(atoll("")), long long>::value), "");
114 static_assert((std::is_same<decltype(getenv("")), char*>::value), "");
115 static_assert((std::is_same<decltype(strtod("", endptr)), double>::value), "");
116 static_assert((std::is_same<decltype(strtof("", endptr)), float>::value), "");
117 static_assert((std::is_same<decltype(strtold("", endptr)), long double>::value), "");
118 static_assert((std::is_same<decltype(strtol("", endptr,0)), long>::value), "");
119 static_assert((std::is_same<decltype(strtoll("", endptr,0)), long long>::value), "");
120 static_assert((std::is_same<decltype(strtoul("", endptr,0)), unsigned long>::value), "");
121 static_assert((std::is_same<decltype(strtoull("", endptr,0)), unsigned long long>::value), "");
122 static_assert((std::is_same<decltype(rand()), int>::value), "");
123 static_assert((std::is_same<decltype(srand(0)), void>::value), "");
124
125 // aligned_alloc tested in stdlib_h.aligned_alloc.compile.pass.cpp
126
127 void* pv = 0;
128 void (*handler)() = 0;
129 int (*comp)(void const*, void const*) = 0;
130 static_assert((std::is_same<decltype(calloc(0,0)), void*>::value), "");
131 static_assert((std::is_same<decltype(free(0)), void>::value), "");
132 static_assert((std::is_same<decltype(malloc(0)), void*>::value), "");
133 static_assert((std::is_same<decltype(realloc(0,0)), void*>::value), "");
134 static_assert((std::is_same<decltype(abort()), void>::value), "");
135 static_assert((std::is_same<decltype(atexit(handler)), int>::value), "");
136 static_assert((std::is_same<decltype(exit(0)), void>::value), "");
137 static_assert((std::is_same<decltype(_Exit(0)), void>::value), "");
138 static_assert((std::is_same<decltype(getenv("")), char*>::value), "");
139 static_assert((std::is_same<decltype(system("")), int>::value), "");
140 static_assert((std::is_same<decltype(bsearch(pv,pv,0,0,comp)), void*>::value), "");
141 static_assert((std::is_same<decltype(qsort(pv,0,0,comp)), void>::value), "");
142 static_assert((std::is_same<decltype(abs(0)), int>::value), "");
143 static_assert((std::is_same<decltype(labs((long)0)), long>::value), "");
144 static_assert((std::is_same<decltype(llabs((long long)0)), long long>::value), "");
145 static_assert((std::is_same<decltype(div(0,0)), div_t>::value), "");
146 static_assert((std::is_same<decltype(ldiv(0L,0L)), ldiv_t>::value), "");
147 static_assert((std::is_same<decltype(lldiv(0LL,0LL)), lldiv_t>::value), "");
148 #ifndef TEST_HAS_NO_WIDE_CHARACTERS
149 wchar_t* pw = 0;
150 const wchar_t* pwc = 0;
151 char* pc = 0;
152 static_assert((std::is_same<decltype(mblen("",0)), int>::value), "");
153 static_assert((std::is_same<decltype(mbtowc(pw,"",0)), int>::value), "");
154 static_assert((std::is_same<decltype(wctomb(pc,L' ')), int>::value), "");
155 static_assert((std::is_same<decltype(mbstowcs(pw,"",0)), size_t>::value), "");
156 static_assert((std::is_same<decltype(wcstombs(pc,pwc,0)), size_t>::value), "");
157 #endif
158
159 test_abs();
160
161 return 0;
162 }
163