160 lines · cpp
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-exception6//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 is13// 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_FAILURE24#error EXIT_FAILURE not defined25#endif26 27#ifndef EXIT_SUCCESS28#error EXIT_SUCCESS not defined29#endif30 31#ifndef MB_CUR_MAX32#error MB_CUR_MAX not defined33#endif34 35#ifndef NULL36#error NULL not defined37#endif38 39#ifndef RAND_MAX40#error RAND_MAX not defined41#endif42 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_PUSH62 TEST_CLANG_DIAGNOSTIC_IGNORED("-Wabsolute-value")63 static_assert((std::is_same<decltype(std::abs((float)0)), float>::value), "");64 static_assert((std::is_same<decltype(std::abs((double)0)), double>::value), "");65 static_assert(66 (std::is_same<decltype(std::abs((long double)0)), long double>::value), "");67 static_assert((std::is_same<decltype(std::abs((int)0)), int>::value), "");68 static_assert((std::is_same<decltype(std::abs((long)0)), long>::value), "");69 static_assert((std::is_same<decltype(std::abs((long long)0)), long long>::value),70 "");71 static_assert((std::is_same<decltype(std::abs((unsigned char)0)), int>::value),72 "");73 static_assert((std::is_same<decltype(std::abs((unsigned short)0)), int>::value),74 "");75 static_assert((std::is_same<decltype(std::abs((signed char)0)), int>::value),76 "");77 static_assert((std::is_same<decltype(std::abs((short)0)), int>::value),78 "");79 static_assert((std::is_same<decltype(std::abs((unsigned char)0)), int>::value),80 "");81 static_assert((std::is_same<decltype(std::abs((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_POP90 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("")), double>::value), "");104 static_assert((std::is_same<decltype(std::atoi("")), int>::value), "");105 static_assert((std::is_same<decltype(std::atol("")), long>::value), "");106 static_assert((std::is_same<decltype(std::atoll("")), long long>::value), "");107 static_assert((std::is_same<decltype(std::getenv("")), char*>::value), "");108 static_assert((std::is_same<decltype(std::strtod("", endptr)), double>::value), "");109 static_assert((std::is_same<decltype(std::strtof("", endptr)), float>::value), "");110 static_assert((std::is_same<decltype(std::strtold("", endptr)), long double>::value), "");111 static_assert((std::is_same<decltype(std::strtol("", endptr,0)), long>::value), "");112 static_assert((std::is_same<decltype(std::strtoll("", endptr,0)), long long>::value), "");113 static_assert((std::is_same<decltype(std::strtoul("", endptr,0)), unsigned long>::value), "");114 static_assert((std::is_same<decltype(std::strtoull("", endptr,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(0)), void>::value), "");117 118 // std::aligned_alloc tested in cstdlib.aligned_alloc.compile.pass.cpp119 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(0,0)), void*>::value), "");124 static_assert((std::is_same<decltype(std::free(0)), void>::value), "");125 static_assert((std::is_same<decltype(std::malloc(0)), void*>::value), "");126 static_assert((std::is_same<decltype(std::realloc(0,0)), void*>::value), "");127 static_assert((std::is_same<decltype(std::abort()), void>::value), "");128 static_assert((std::is_same<decltype(std::atexit(handler)), int>::value), "");129 static_assert((std::is_same<decltype(std::exit(0)), void>::value), "");130 static_assert((std::is_same<decltype(std::_Exit(0)), void>::value), "");131 static_assert((std::is_same<decltype(std::getenv("")), char*>::value), "");132 static_assert((std::is_same<decltype(std::system("")), int>::value), "");133 static_assert((std::is_same<decltype(std::bsearch(pv,pv,0,0,comp)), void*>::value), "");134 static_assert((std::is_same<decltype(std::qsort(pv,0,0,comp)), void>::value), "");135 static_assert((std::is_same<decltype(std::abs(0)), int>::value), "");136 static_assert((std::is_same<decltype(std::abs((long)0)), long>::value), "");137 static_assert((std::is_same<decltype(std::abs((long long)0)), long long>::value), "");138 static_assert((std::is_same<decltype(std::labs((long)0)), long>::value), "");139 static_assert((std::is_same<decltype(std::llabs((long long)0)), long long>::value), "");140 static_assert((std::is_same<decltype(std::div(0,0)), std::div_t>::value), "");141 static_assert((std::is_same<decltype(std::div(0L,0L)), std::ldiv_t>::value), "");142 static_assert((std::is_same<decltype(std::div(0LL,0LL)), std::lldiv_t>::value), "");143 static_assert((std::is_same<decltype(std::ldiv(0L,0L)), std::ldiv_t>::value), "");144 static_assert((std::is_same<decltype(std::lldiv(0LL,0LL)), std::lldiv_t>::value), "");145#ifndef TEST_HAS_NO_WIDE_CHARACTERS146 wchar_t* pw = 0;147 const wchar_t* pwc = 0;148 char* pc = 0;149 static_assert((std::is_same<decltype(std::mblen("",0)), int>::value), "");150 static_assert((std::is_same<decltype(std::mbtowc(pw,"",0)), int>::value), "");151 static_assert((std::is_same<decltype(std::wctomb(pc,L' ')), int>::value), "");152 static_assert((std::is_same<decltype(std::mbstowcs(pw,"",0)), std::size_t>::value), "");153 static_assert((std::is_same<decltype(std::wcstombs(pc,pwc,0)), std::size_t>::value), "");154#endif155 156 test_abs();157 158 return 0;159}160