test/std/language.support/support.runtime/cstdlib.pass.cpp

   1 //===----------------------------------------------------------------------===//
   2 //
   3 //                     The LLVM Compiler Infrastructure
   4 //
   5 // This file is dual licensed under the MIT and the University of Illinois Open
   6 // Source Licenses. See LICENSE.TXT for details.
   7 //
   8 //===----------------------------------------------------------------------===//
   9
  10 // test <cstdlib>
  11
  12 #include <cstdlib>
  13 #include <type_traits>
  14 #include <cassert>
  15
  16 // As of 1/10/2015 clang emits a -Wnonnull warnings even if the warning occurs
  17 // in an unevaluated context. For this reason we manually suppress the warning.
  18 #if defined(__clang__)
  19 #pragma clang diagnostic ignored "-Wnonnull"
  20 #endif
  21
  22 #ifndef EXIT_FAILURE
  23 #error EXIT_FAILURE not defined
  24 #endif
  25
  26 #ifndef EXIT_SUCCESS
  27 #error EXIT_SUCCESS not defined
  28 #endif
  29
  30 #ifndef MB_CUR_MAX
  31 #error MB_CUR_MAX not defined
  32 #endif
  33
  34 #ifndef NULL
  35 #error NULL not defined
  36 #endif
  37
  38 #ifndef RAND_MAX
  39 #error RAND_MAX not defined
  40 #endif
  41
  42 template <class TestType, class IntType>
  43 void test_div_struct() {
  44     TestType obj;
  45     static_assert(sizeof(obj) >= sizeof(IntType) * 2, ""); // >= to account for alignment.
  46     static_assert((std::is_same<decltype(obj.quot), IntType>::value), "");
  47     static_assert((std::is_same<decltype(obj.rem), IntType>::value), "");
  48     ((void) obj);
  49 };
  50
  51 int main()
  52 {
  53     std::size_t s = 0;
  54     ((void)s);
  55     static_assert((std::is_same<std::size_t, decltype(sizeof(int))>::value), "");
  56     test_div_struct<std::div_t, int>();
  57     test_div_struct<std::ldiv_t, long>();
  58     test_div_struct<std::lldiv_t, long long>();
  59     char** endptr = 0;
  60     static_assert((std::is_same<decltype(std::atof("")), double>::value), "");
  61     static_assert((std::is_same<decltype(std::atoi("")), int>::value), "");
  62     static_assert((std::is_same<decltype(std::atol("")), long>::value), "");
  63     static_assert((std::is_same<decltype(std::atoll("")), long long>::value), "");
  64     static_assert((std::is_same<decltype(std::getenv("")), char*>::value), "");
  65     static_assert((std::is_same<decltype(std::strtod("", endptr)), double>::value), "");
  66     static_assert((std::is_same<decltype(std::strtof("", endptr)), float>::value), "");
  67     static_assert((std::is_same<decltype(std::strtold("", endptr)), long double>::value), "");
  68     static_assert((std::is_same<decltype(std::strtol("", endptr,0)), long>::value), "");
  69     static_assert((std::is_same<decltype(std::strtoll("", endptr,0)), long long>::value), "");
  70     static_assert((std::is_same<decltype(std::strtoul("", endptr,0)), unsigned long>::value), "");
  71     static_assert((std::is_same<decltype(std::strtoull("", endptr,0)), unsigned long long>::value), "");
  72     static_assert((std::is_same<decltype(std::rand()), int>::value), "");
  73     static_assert((std::is_same<decltype(std::srand(0)), void>::value), "");
  74     static_assert((std::is_same<decltype(std::calloc(0,0)), void*>::value), "");
  75     static_assert((std::is_same<decltype(std::free(0)), void>::value), "");
  76     static_assert((std::is_same<decltype(std::malloc(0)), void*>::value), "");
  77     static_assert((std::is_same<decltype(std::realloc(0,0)), void*>::value), "");
  78     static_assert((std::is_same<decltype(std::abort()), void>::value), "");
  79     static_assert((std::is_same<decltype(std::atexit(0)), int>::value), "");
  80     static_assert((std::is_same<decltype(std::exit(0)), void>::value), "");
  81     static_assert((std::is_same<decltype(std::_Exit(0)), void>::value), "");
  82     static_assert((std::is_same<decltype(std::getenv("")), char*>::value), "");
  83     static_assert((std::is_same<decltype(std::system("")), int>::value), "");
  84     static_assert((std::is_same<decltype(std::bsearch(0,0,0,0,0)), void*>::value), "");
  85     static_assert((std::is_same<decltype(std::qsort(0,0,0,0)), void>::value), "");
  86     static_assert((std::is_same<decltype(std::abs(0)), int>::value), "");
  87     static_assert((std::is_same<decltype(std::abs((long)0)), long>::value), "");
  88     static_assert((std::is_same<decltype(std::abs((long long)0)), long long>::value), "");
  89     static_assert((std::is_same<decltype(std::labs((long)0)), long>::value), "");
  90     static_assert((std::is_same<decltype(std::llabs((long long)0)), long long>::value), "");
  91     static_assert((std::is_same<decltype(std::div(0,0)), std::div_t>::value), "");
  92     static_assert((std::is_same<decltype(std::div(0L,0L)), std::ldiv_t>::value), "");
  93     static_assert((std::is_same<decltype(std::div(0LL,0LL)), std::lldiv_t>::value), "");
  94     static_assert((std::is_same<decltype(std::ldiv(0L,0L)), std::ldiv_t>::value), "");
  95     static_assert((std::is_same<decltype(std::lldiv(0LL,0LL)), std::lldiv_t>::value), "");
  96     wchar_t* pw = 0;
  97     const wchar_t* pwc = 0;
  98     char* pc = 0;
  99     static_assert((std::is_same<decltype(std::mblen("",0)), int>::value), "");
 100     static_assert((std::is_same<decltype(std::mbtowc(pw,"",0)), int>::value), "");
 101     static_assert((std::is_same<decltype(std::wctomb(pc,L' ')), int>::value), "");
 102     static_assert((std::is_same<decltype(std::mbstowcs(pw,"",0)), std::size_t>::value), "");
 103     static_assert((std::is_same<decltype(std::wcstombs(pc,pwc,0)), std::size_t>::value), "");
 104 }