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
51 lines
1.6 KiB
C
51 lines
1.6 KiB
C
/* UndefinedBehaviorSanitizer, undefined behavior detector.
|
|
Copyright (C) 2013-2014 Free Software Foundation, Inc.
|
|
Contributed by Marek Polacek <polacek@redhat.com>
|
|
|
|
This file is part of GCC.
|
|
|
|
GCC is free software; you can redistribute it and/or modify it under
|
|
the terms of the GNU General Public License as published by the Free
|
|
Software Foundation; either version 3, or (at your option) any later
|
|
version.
|
|
|
|
GCC is distributed in the hope that it will be useful, but WITHOUT ANY
|
|
WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
|
FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
|
for more details.
|
|
|
|
You should have received a copy of the GNU General Public License
|
|
along with GCC; see the file COPYING3. If not see
|
|
<http://www.gnu.org/licenses/>. */
|
|
|
|
#ifndef GCC_UBSAN_H
|
|
#define GCC_UBSAN_H
|
|
|
|
/* The various kinds of NULL pointer checks. */
|
|
enum ubsan_null_ckind {
|
|
UBSAN_LOAD_OF,
|
|
UBSAN_STORE_OF,
|
|
UBSAN_REF_BINDING,
|
|
UBSAN_MEMBER_ACCESS,
|
|
UBSAN_MEMBER_CALL
|
|
};
|
|
|
|
/* An extra data used by ubsan pointer checking. */
|
|
struct ubsan_mismatch_data {
|
|
tree align;
|
|
tree ckind;
|
|
};
|
|
|
|
extern void ubsan_expand_null_ifn (gimple_stmt_iterator);
|
|
extern tree ubsan_instrument_unreachable (location_t);
|
|
extern tree ubsan_create_data (const char *, const location_t *,
|
|
const struct ubsan_mismatch_data *, ...);
|
|
extern tree ubsan_type_descriptor (tree, bool);
|
|
extern tree ubsan_encode_value (tree, bool = false);
|
|
extern bool is_ubsan_builtin_p (tree);
|
|
extern tree ubsan_build_overflow_builtin (tree_code, location_t, tree, tree, tree);
|
|
extern tree ubsan_instrument_float_cast (location_t, tree, tree);
|
|
|
|
#endif /* GCC_UBSAN_H */
|
|
|