mirror of
https://github.com/capstone-engine/llvm-capstone.git
synced 2025-04-05 23:02:27 +00:00
c479e0c994
- Several -Wshadow warnings - Several places where we did not initialize our base class explicitly - Unused variable warnings - Some tautological comparisons - Some places where we'd pass null arguments to functions expecting non-null (in unevaluated contexts) - Add a few pragmas to turn off spurious warnings - Fix warnings about declarations that don't declare anything - Properly disable deprecation warnings in ext/ tests (the pragmas we were using didn't work on GCC) - Disable include_as_c.sh.cpp because GCC complains about C++ flags when compiling as C. I couldn't find a way to fix this one properly, so I'm disabling the test. This isn't great, but at least we'll be able to enable warnings in the whole test suite with GCC.
165 lines
7.1 KiB
C++
165 lines
7.1 KiB
C++
//===----------------------------------------------------------------------===//
|
|
//
|
|
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
|
|
// See https://llvm.org/LICENSE.txt for license information.
|
|
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// test <cstdlib>
|
|
|
|
#include <cstdlib>
|
|
#include <type_traits>
|
|
#include <cassert>
|
|
|
|
#include "test_macros.h"
|
|
|
|
// As of 1/10/2015 clang emits a -Wnonnull warnings even if the warning occurs
|
|
// in an unevaluated context. For this reason we manually suppress the warning.
|
|
#if defined(__clang__)
|
|
#pragma clang diagnostic ignored "-Wnonnull"
|
|
#endif
|
|
|
|
#ifndef EXIT_FAILURE
|
|
#error EXIT_FAILURE not defined
|
|
#endif
|
|
|
|
#ifndef EXIT_SUCCESS
|
|
#error EXIT_SUCCESS not defined
|
|
#endif
|
|
|
|
#ifndef MB_CUR_MAX
|
|
#error MB_CUR_MAX not defined
|
|
#endif
|
|
|
|
#ifndef NULL
|
|
#error NULL not defined
|
|
#endif
|
|
|
|
#ifndef RAND_MAX
|
|
#error RAND_MAX not defined
|
|
#endif
|
|
|
|
template <class TestType, class IntType>
|
|
void test_div_struct() {
|
|
TestType obj;
|
|
static_assert(sizeof(obj) >= sizeof(IntType) * 2, ""); // >= to account for alignment.
|
|
static_assert((std::is_same<decltype(obj.quot), IntType>::value), "");
|
|
static_assert((std::is_same<decltype(obj.rem), IntType>::value), "");
|
|
((void) obj);
|
|
};
|
|
|
|
template <class T, class = decltype(std::abs(std::declval<T>()))>
|
|
std::true_type has_abs_imp(int);
|
|
template <class T>
|
|
std::false_type has_abs_imp(...);
|
|
|
|
template <class T>
|
|
struct has_abs : decltype(has_abs_imp<T>(0)) {};
|
|
|
|
void test_abs() {
|
|
#ifdef __clang__
|
|
#pragma clang diagnostic push
|
|
#pragma clang diagnostic ignored "-Wabsolute-value"
|
|
#endif
|
|
static_assert((std::is_same<decltype(std::abs((float)0)), float>::value), "");
|
|
static_assert((std::is_same<decltype(std::abs((double)0)), double>::value), "");
|
|
static_assert(
|
|
(std::is_same<decltype(std::abs((long double)0)), long double>::value), "");
|
|
static_assert((std::is_same<decltype(std::abs((int)0)), int>::value), "");
|
|
static_assert((std::is_same<decltype(std::abs((long)0)), long>::value), "");
|
|
static_assert((std::is_same<decltype(std::abs((long long)0)), long long>::value),
|
|
"");
|
|
static_assert((std::is_same<decltype(std::abs((unsigned char)0)), int>::value),
|
|
"");
|
|
static_assert((std::is_same<decltype(std::abs((unsigned short)0)), int>::value),
|
|
"");
|
|
static_assert((std::is_same<decltype(std::abs((signed char)0)), int>::value),
|
|
"");
|
|
static_assert((std::is_same<decltype(std::abs((short)0)), int>::value),
|
|
"");
|
|
static_assert((std::is_same<decltype(std::abs((unsigned char)0)), int>::value),
|
|
"");
|
|
static_assert((std::is_same<decltype(std::abs((char)0)), int>::value),
|
|
"");
|
|
|
|
static_assert(!has_abs<unsigned>::value, "");
|
|
static_assert(!has_abs<unsigned long>::value, "");
|
|
static_assert(!has_abs<unsigned long long>::value, "");
|
|
static_assert(!has_abs<size_t>::value, "");
|
|
|
|
#ifdef __clang__
|
|
#pragma clang diagnostic pop
|
|
#endif
|
|
|
|
assert(std::abs(-1.) == 1);
|
|
}
|
|
|
|
int main(int, char**)
|
|
{
|
|
std::size_t s = 0;
|
|
((void)s);
|
|
static_assert((std::is_same<std::size_t, decltype(sizeof(int))>::value), "");
|
|
test_div_struct<std::div_t, int>();
|
|
test_div_struct<std::ldiv_t, long>();
|
|
test_div_struct<std::lldiv_t, long long>();
|
|
char** endptr = 0;
|
|
static_assert((std::is_same<decltype(std::atof("")), double>::value), "");
|
|
static_assert((std::is_same<decltype(std::atoi("")), int>::value), "");
|
|
static_assert((std::is_same<decltype(std::atol("")), long>::value), "");
|
|
static_assert((std::is_same<decltype(std::atoll("")), long long>::value), "");
|
|
static_assert((std::is_same<decltype(std::getenv("")), char*>::value), "");
|
|
static_assert((std::is_same<decltype(std::strtod("", endptr)), double>::value), "");
|
|
static_assert((std::is_same<decltype(std::strtof("", endptr)), float>::value), "");
|
|
static_assert((std::is_same<decltype(std::strtold("", endptr)), long double>::value), "");
|
|
static_assert((std::is_same<decltype(std::strtol("", endptr,0)), long>::value), "");
|
|
static_assert((std::is_same<decltype(std::strtoll("", endptr,0)), long long>::value), "");
|
|
static_assert((std::is_same<decltype(std::strtoul("", endptr,0)), unsigned long>::value), "");
|
|
static_assert((std::is_same<decltype(std::strtoull("", endptr,0)), unsigned long long>::value), "");
|
|
static_assert((std::is_same<decltype(std::rand()), int>::value), "");
|
|
static_assert((std::is_same<decltype(std::srand(0)), void>::value), "");
|
|
|
|
#if TEST_STD_VER > 14 && defined(TEST_HAS_ALIGNED_ALLOC)
|
|
static_assert(
|
|
(std::is_same<decltype(std::aligned_alloc(1, 0)), void*>::value), "");
|
|
#endif
|
|
|
|
void* pv = 0;
|
|
void (*handler)() = 0;
|
|
int (*comp)(void const*, void const*) = 0;
|
|
static_assert((std::is_same<decltype(std::calloc(0,0)), void*>::value), "");
|
|
static_assert((std::is_same<decltype(std::free(0)), void>::value), "");
|
|
static_assert((std::is_same<decltype(std::malloc(0)), void*>::value), "");
|
|
static_assert((std::is_same<decltype(std::realloc(0,0)), void*>::value), "");
|
|
static_assert((std::is_same<decltype(std::abort()), void>::value), "");
|
|
static_assert((std::is_same<decltype(std::atexit(handler)), int>::value), "");
|
|
static_assert((std::is_same<decltype(std::exit(0)), void>::value), "");
|
|
static_assert((std::is_same<decltype(std::_Exit(0)), void>::value), "");
|
|
static_assert((std::is_same<decltype(std::getenv("")), char*>::value), "");
|
|
static_assert((std::is_same<decltype(std::system("")), int>::value), "");
|
|
static_assert((std::is_same<decltype(std::bsearch(pv,pv,0,0,comp)), void*>::value), "");
|
|
static_assert((std::is_same<decltype(std::qsort(pv,0,0,comp)), void>::value), "");
|
|
static_assert((std::is_same<decltype(std::abs(0)), int>::value), "");
|
|
static_assert((std::is_same<decltype(std::abs((long)0)), long>::value), "");
|
|
static_assert((std::is_same<decltype(std::abs((long long)0)), long long>::value), "");
|
|
static_assert((std::is_same<decltype(std::labs((long)0)), long>::value), "");
|
|
static_assert((std::is_same<decltype(std::llabs((long long)0)), long long>::value), "");
|
|
static_assert((std::is_same<decltype(std::div(0,0)), std::div_t>::value), "");
|
|
static_assert((std::is_same<decltype(std::div(0L,0L)), std::ldiv_t>::value), "");
|
|
static_assert((std::is_same<decltype(std::div(0LL,0LL)), std::lldiv_t>::value), "");
|
|
static_assert((std::is_same<decltype(std::ldiv(0L,0L)), std::ldiv_t>::value), "");
|
|
static_assert((std::is_same<decltype(std::lldiv(0LL,0LL)), std::lldiv_t>::value), "");
|
|
wchar_t* pw = 0;
|
|
const wchar_t* pwc = 0;
|
|
char* pc = 0;
|
|
static_assert((std::is_same<decltype(std::mblen("",0)), int>::value), "");
|
|
static_assert((std::is_same<decltype(std::mbtowc(pw,"",0)), int>::value), "");
|
|
static_assert((std::is_same<decltype(std::wctomb(pc,L' ')), int>::value), "");
|
|
static_assert((std::is_same<decltype(std::mbstowcs(pw,"",0)), std::size_t>::value), "");
|
|
static_assert((std::is_same<decltype(std::wcstombs(pc,pwc,0)), std::size_t>::value), "");
|
|
|
|
test_abs();
|
|
|
|
return 0;
|
|
}
|