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// mblen was added in Android API 26.
12// TODO: Switch from UNSUPPORTED to XFAIL once the Android CI Docker sysroot is
13// updated.
14// UNSUPPORTED: LIBCXX-ANDROID-FIXME && target={{.+}}-android{{(eabi)?(21|22|23|24|25)}}
15
16#include <cstdlib>
17#include <cassert>
18#include <type_traits>
19#include <utility>
20
21#include "test_macros.h"
22
23#ifndef EXIT_FAILURE
24#error EXIT_FAILURE not defined
25#endif
26
27#ifndef EXIT_SUCCESS
28#error EXIT_SUCCESS not defined
29#endif
30
31#ifndef MB_CUR_MAX
32#error MB_CUR_MAX not defined
33#endif
34
35#ifndef NULL
36#error NULL not defined
37#endif
38
39#ifndef RAND_MAX
40#error RAND_MAX not defined
41#endif
42
43template <class TestType, class IntType>
44void test_div_struct() {
45 TestType obj;
46 static_assert(sizeof(obj) >= sizeof(IntType) * 2, ""); // >= to account for alignment.
47 static_assert((std::is_same<decltype(obj.quot), IntType>::value), "");
48 static_assert((std::is_same<decltype(obj.rem), IntType>::value), "");
49 ((void) obj);
50};
51
52template <class T, class = decltype(std::abs(std::declval<T>()))>
53std::true_type has_abs_imp(int);
54template <class T>
55std::false_type has_abs_imp(...);
56
57template <class T>
58struct has_abs : decltype(has_abs_imp<T>(0)) {};
59
60void test_abs() {
61 TEST_DIAGNOSTIC_PUSH
62 TEST_CLANG_DIAGNOSTIC_IGNORED("-Wabsolute-value")
63 static_assert((std::is_same<decltype(std::abs(x: (float)0)), float>::value), "");
64 static_assert((std::is_same<decltype(std::abs(x: (double)0)), double>::value), "");
65 static_assert(
66 (std::is_same<decltype(std::abs(x: (long double)0)), long double>::value), "");
67 static_assert((std::is_same<decltype(std::abs(x: (int)0)), int>::value), "");
68 static_assert((std::is_same<decltype(std::abs(i: (long)0)), long>::value), "");
69 static_assert((std::is_same<decltype(std::abs(x: (long long)0)), long long>::value),
70 "");
71 static_assert((std::is_same<decltype(std::abs(x: (unsigned char)0)), int>::value),
72 "");
73 static_assert((std::is_same<decltype(std::abs(x: (unsigned short)0)), int>::value),
74 "");
75 static_assert((std::is_same<decltype(std::abs(x: (signed char)0)), int>::value),
76 "");
77 static_assert((std::is_same<decltype(std::abs(x: (short)0)), int>::value),
78 "");
79 static_assert((std::is_same<decltype(std::abs(x: (unsigned char)0)), int>::value),
80 "");
81 static_assert((std::is_same<decltype(std::abs(x: (char)0)), int>::value),
82 "");
83
84 static_assert(!has_abs<unsigned>::value, "");
85 static_assert(!has_abs<unsigned long>::value, "");
86 static_assert(!has_abs<unsigned long long>::value, "");
87 static_assert(!has_abs<std::size_t>::value, "");
88
89 TEST_DIAGNOSTIC_POP
90
91 assert(std::abs(-1.) == 1);
92}
93
94int main(int, char**)
95{
96 std::size_t s = 0;
97 ((void)s);
98 static_assert((std::is_same<std::size_t, decltype(sizeof(int))>::value), "");
99 test_div_struct<std::div_t, int>();
100 test_div_struct<std::ldiv_t, long>();
101 test_div_struct<std::lldiv_t, long long>();
102 char** endptr = 0;
103 static_assert((std::is_same<decltype(std::atof(nptr: "")), double>::value), "");
104 static_assert((std::is_same<decltype(std::atoi(nptr: "")), int>::value), "");
105 static_assert((std::is_same<decltype(std::atol(nptr: "")), long>::value), "");
106 static_assert((std::is_same<decltype(std::atoll(nptr: "")), long long>::value), "");
107 static_assert((std::is_same<decltype(std::getenv(name: "")), char*>::value), "");
108 static_assert((std::is_same<decltype(std::strtod(nptr: "", endptr: endptr)), double>::value), "");
109 static_assert((std::is_same<decltype(std::strtof(nptr: "", endptr: endptr)), float>::value), "");
110 static_assert((std::is_same<decltype(std::strtold(nptr: "", endptr: endptr)), long double>::value), "");
111 static_assert((std::is_same<decltype(std::strtol(nptr: "", endptr: endptr,base: 0)), long>::value), "");
112 static_assert((std::is_same<decltype(std::strtoll(nptr: "", endptr: endptr,base: 0)), long long>::value), "");
113 static_assert((std::is_same<decltype(std::strtoul(nptr: "", endptr: endptr,base: 0)), unsigned long>::value), "");
114 static_assert((std::is_same<decltype(std::strtoull(nptr: "", endptr: endptr,base: 0)), unsigned long long>::value), "");
115 static_assert((std::is_same<decltype(std::rand()), int>::value), "");
116 static_assert((std::is_same<decltype(std::srand(seed: 0)), void>::value), "");
117
118 // std::aligned_alloc tested in cstdlib.aligned_alloc.compile.pass.cpp
119
120 void* pv = 0;
121 void (*handler)() = 0;
122 int (*comp)(void const*, void const*) = 0;
123 static_assert((std::is_same<decltype(std::calloc(nmemb: 0,size: 0)), void*>::value), "");
124 static_assert((std::is_same<decltype(std::free(ptr: 0)), void>::value), "");
125 static_assert((std::is_same<decltype(std::malloc(size: 0)), void*>::value), "");
126 static_assert((std::is_same<decltype(std::realloc(ptr: 0,size: 0)), void*>::value), "");
127 static_assert((std::is_same<decltype(std::abort()), void>::value), "");
128 static_assert((std::is_same<decltype(std::atexit(func: handler)), int>::value), "");
129 static_assert((std::is_same<decltype(std::exit(status: 0)), void>::value), "");
130 static_assert((std::is_same<decltype(std::_Exit(status: 0)), void>::value), "");
131 static_assert((std::is_same<decltype(std::getenv(name: "")), char*>::value), "");
132 static_assert((std::is_same<decltype(std::system(command: "")), int>::value), "");
133 static_assert((std::is_same<decltype(std::bsearch(key: pv,base: pv,nmemb: 0,size: 0,compar: comp)), void*>::value), "");
134 static_assert((std::is_same<decltype(std::qsort(base: pv,nmemb: 0,size: 0,compar: comp)), void>::value), "");
135 static_assert((std::is_same<decltype(std::abs(x: 0)), int>::value), "");
136 static_assert((std::is_same<decltype(std::abs(i: (long)0)), long>::value), "");
137 static_assert((std::is_same<decltype(std::abs(x: (long long)0)), long long>::value), "");
138 static_assert((std::is_same<decltype(std::labs(x: (long)0)), long>::value), "");
139 static_assert((std::is_same<decltype(std::llabs(x: (long long)0)), long long>::value), "");
140 static_assert((std::is_same<decltype(std::div(numer: 0,denom: 0)), std::div_t>::value), "");
141 static_assert((std::is_same<decltype(std::div(i: 0L,j: 0L)), std::ldiv_t>::value), "");
142 static_assert((std::is_same<decltype(std::div(n: 0LL,d: 0LL)), std::lldiv_t>::value), "");
143 static_assert((std::is_same<decltype(std::ldiv(numer: 0L,denom: 0L)), std::ldiv_t>::value), "");
144 static_assert((std::is_same<decltype(std::lldiv(numer: 0LL,denom: 0LL)), std::lldiv_t>::value), "");
145#ifndef TEST_HAS_NO_WIDE_CHARACTERS
146 wchar_t* pw = 0;
147 const wchar_t* pwc = 0;
148 char* pc = 0;
149 static_assert((std::is_same<decltype(std::mblen(s: "",n: 0)), int>::value), "");
150 static_assert((std::is_same<decltype(std::mbtowc(pwc: pw,s: "",n: 0)), int>::value), "");
151 static_assert((std::is_same<decltype(std::wctomb(s: pc,wchar: L' ')), int>::value), "");
152 static_assert((std::is_same<decltype(std::mbstowcs(pwcs: pw,s: "",n: 0)), std::size_t>::value), "");
153 static_assert((std::is_same<decltype(std::wcstombs(s: pc,pwcs: pwc,n: 0)), std::size_t>::value), "");
154#endif
155
156 test_abs();
157
158 return 0;
159}
160

source code of libcxx/test/std/language.support/support.runtime/cstdlib.pass.cpp