diff options
author | Jakub Jelinek <jakub@redhat.com> | 2014-12-17 10:26:49 +0100 |
---|---|---|
committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2014-12-17 10:26:49 +0100 |
commit | 8f94a8c4cc27e04b3c8ef2f8b650263aab6ff4db (patch) | |
tree | 3e4f830105b96d05efc3b91b0cae82022f8bb826 /gcc/c | |
parent | e16a69a8f22a2b86f216e917be5578fa4d21d7b8 (diff) | |
download | gcc-8f94a8c4cc27e04b3c8ef2f8b650263aab6ff4db.zip gcc-8f94a8c4cc27e04b3c8ef2f8b650263aab6ff4db.tar.gz gcc-8f94a8c4cc27e04b3c8ef2f8b650263aab6ff4db.tar.bz2 |
re PR sanitizer/64289 (ICE with -fsanitize=float-cast-overflow)
PR sanitizer/64289
* c-convert.c: Include ubsan.h.
(convert): For real -> integral casts and
-fsanitize=float-cast-overflow don't call convert_to_integer, but
instead instrument the float cast directly.
* c-c++-common/ubsan/pr64289.c: New test.
From-SVN: r218811
Diffstat (limited to 'gcc/c')
-rw-r--r-- | gcc/c/ChangeLog | 8 | ||||
-rw-r--r-- | gcc/c/c-convert.c | 15 |
2 files changed, 23 insertions, 0 deletions
diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog index cef3aa1..ad9b8bc 100644 --- a/gcc/c/ChangeLog +++ b/gcc/c/ChangeLog @@ -1,3 +1,11 @@ +2014-12-17 Jakub Jelinek <jakub@redhat.com> + + PR sanitizer/64289 + * c-convert.c: Include ubsan.h. + (convert): For real -> integral casts and + -fsanitize=float-cast-overflow don't call convert_to_integer, but + instead instrument the float cast directly. + 2014-11-29 Jakub Jelinek <jakub@redhat.com> * c-typeck.c (convert_lvalue_to_rvalue, build_atomic_assign, diff --git a/gcc/c/c-convert.c b/gcc/c/c-convert.c index 95be453..ba565da 100644 --- a/gcc/c/c-convert.c +++ b/gcc/c/c-convert.c @@ -34,6 +34,7 @@ along with GCC; see the file COPYING3. If not see #include "c-tree.h" #include "langhooks.h" #include "target.h" +#include "ubsan.h" /* Change of width--truncation and extension of integers or reals-- is represented with NOP_EXPR. Proper functioning of many things @@ -109,6 +110,20 @@ convert (tree type, tree expr) case INTEGER_TYPE: case ENUMERAL_TYPE: + if (flag_sanitize & SANITIZE_FLOAT_CAST + && TREE_CODE (TREE_TYPE (expr)) == REAL_TYPE + && COMPLETE_TYPE_P (type) + && current_function_decl != NULL_TREE + && !lookup_attribute ("no_sanitize_undefined", + DECL_ATTRIBUTES (current_function_decl))) + { + expr = c_save_expr (expr); + tree check = ubsan_instrument_float_cast (loc, type, expr); + expr = fold_build1 (FIX_TRUNC_EXPR, type, expr); + if (check == NULL) + return expr; + return fold_build2 (COMPOUND_EXPR, TREE_TYPE (expr), check, expr); + } ret = convert_to_integer (type, e); goto maybe_fold; |