85a16bf8b5
* builtins.def: Change SANITIZE_FLOAT_DIVIDE to SANITIZE_NONDEFAULT. * gcc.c (sanitize_spec_function): Likewise. * convert.c (convert_to_integer): Include "ubsan.h". Add floating-point to integer instrumentation. * doc/invoke.texi: Document -fsanitize=float-cast-overflow. * flag-types.h (enum sanitize_code): Add SANITIZE_FLOAT_CAST and SANITIZE_NONDEFAULT. * opts.c (common_handle_option): Handle -fsanitize=float-cast-overflow. * sanitizer.def (BUILT_IN_UBSAN_HANDLE_FLOAT_CAST_OVERFLOW, BUILT_IN_UBSAN_HANDLE_FLOAT_CAST_OVERFLOW_ABORT): Add. * ubsan.c: Include "realmpfr.h" and "dfp.h". (get_ubsan_type_info_for_type): Handle REAL_TYPEs. (ubsan_type_descriptor): Set tkind to 0xffff for types other than float/double/long double. (ubsan_instrument_float_cast): New function. * ubsan.h (ubsan_instrument_float_cast): Declare. testsuite/ * c-c++-common/ubsan/float-cast-overflow-1.c: New test. * c-c++-common/ubsan/float-cast-overflow-10.c: New test. * c-c++-common/ubsan/float-cast-overflow-2.c: New test. * c-c++-common/ubsan/float-cast-overflow-3.c: New test. * c-c++-common/ubsan/float-cast-overflow-4.c: New test. * c-c++-common/ubsan/float-cast-overflow-5.c: New test. * c-c++-common/ubsan/float-cast-overflow-6.c: New test. * c-c++-common/ubsan/float-cast-overflow-7.c: New test. * c-c++-common/ubsan/float-cast-overflow-7.h: New file. * c-c++-common/ubsan/float-cast-overflow-8.c: New test. * c-c++-common/ubsan/float-cast-overflow-9.c: New test. * c-c++-common/ubsan/float-cast.h: New file. * g++.dg/ubsan/float-cast-overflow-bf.C: New test. * gcc.dg/ubsan/float-cast-overflow-bf.c: New test. libsanitizer/ * ubsan/ubsan_value.cc (getFloatValue): Handle 96-bit floating-point types. Co-Authored-By: Jakub Jelinek <jakub@redhat.com> From-SVN: r210862
101 lines
3.1 KiB
C++
101 lines
3.1 KiB
C++
//===-- ubsan_value.cc ----------------------------------------------------===//
|
|
//
|
|
// This file is distributed under the University of Illinois Open Source
|
|
// License. See LICENSE.TXT for details.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
//
|
|
// Representation of a runtime value, as marshaled from the generated code to
|
|
// the ubsan runtime.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#include "ubsan_value.h"
|
|
#include "sanitizer_common/sanitizer_common.h"
|
|
#include "sanitizer_common/sanitizer_libc.h"
|
|
|
|
using namespace __ubsan;
|
|
|
|
SIntMax Value::getSIntValue() const {
|
|
CHECK(getType().isSignedIntegerTy());
|
|
if (isInlineInt()) {
|
|
// Val was zero-extended to ValueHandle. Sign-extend from original width
|
|
// to SIntMax.
|
|
const unsigned ExtraBits =
|
|
sizeof(SIntMax) * 8 - getType().getIntegerBitWidth();
|
|
return SIntMax(Val) << ExtraBits >> ExtraBits;
|
|
}
|
|
if (getType().getIntegerBitWidth() == 64)
|
|
return *reinterpret_cast<s64*>(Val);
|
|
#if HAVE_INT128_T
|
|
if (getType().getIntegerBitWidth() == 128)
|
|
return *reinterpret_cast<s128*>(Val);
|
|
#else
|
|
if (getType().getIntegerBitWidth() == 128)
|
|
UNREACHABLE("libclang_rt.ubsan was built without __int128 support");
|
|
#endif
|
|
UNREACHABLE("unexpected bit width");
|
|
}
|
|
|
|
UIntMax Value::getUIntValue() const {
|
|
CHECK(getType().isUnsignedIntegerTy());
|
|
if (isInlineInt())
|
|
return Val;
|
|
if (getType().getIntegerBitWidth() == 64)
|
|
return *reinterpret_cast<u64*>(Val);
|
|
#if HAVE_INT128_T
|
|
if (getType().getIntegerBitWidth() == 128)
|
|
return *reinterpret_cast<u128*>(Val);
|
|
#else
|
|
if (getType().getIntegerBitWidth() == 128)
|
|
UNREACHABLE("libclang_rt.ubsan was built without __int128 support");
|
|
#endif
|
|
UNREACHABLE("unexpected bit width");
|
|
}
|
|
|
|
UIntMax Value::getPositiveIntValue() const {
|
|
if (getType().isUnsignedIntegerTy())
|
|
return getUIntValue();
|
|
SIntMax Val = getSIntValue();
|
|
CHECK(Val >= 0);
|
|
return Val;
|
|
}
|
|
|
|
/// Get the floating-point value of this object, extended to a long double.
|
|
/// These are always passed by address (our calling convention doesn't allow
|
|
/// them to be passed in floating-point registers, so this has little cost).
|
|
FloatMax Value::getFloatValue() const {
|
|
CHECK(getType().isFloatTy());
|
|
if (isInlineFloat()) {
|
|
switch (getType().getFloatBitWidth()) {
|
|
#if 0
|
|
// FIXME: OpenCL / NEON 'half' type. LLVM can't lower the conversion
|
|
// from '__fp16' to 'long double'.
|
|
case 16: {
|
|
__fp16 Value;
|
|
internal_memcpy(&Value, &Val, 4);
|
|
return Value;
|
|
}
|
|
#endif
|
|
case 32: {
|
|
float Value;
|
|
internal_memcpy(&Value, &Val, 4);
|
|
return Value;
|
|
}
|
|
case 64: {
|
|
double Value;
|
|
internal_memcpy(&Value, &Val, 8);
|
|
return Value;
|
|
}
|
|
}
|
|
} else {
|
|
switch (getType().getFloatBitWidth()) {
|
|
case 64: return *reinterpret_cast<double*>(Val);
|
|
case 80: return *reinterpret_cast<long double*>(Val);
|
|
case 96: return *reinterpret_cast<long double*>(Val);
|
|
case 128: return *reinterpret_cast<long double*>(Val);
|
|
}
|
|
}
|
|
UNREACHABLE("unexpected floating point bit width");
|
|
}
|