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