From 3c545f7491b642339fbdd451caaf5a4efae18a61 Mon Sep 17 00:00:00 2001 From: Jakub Jelinek Date: Thu, 14 Feb 2019 10:25:01 +0100 Subject: [PATCH] re PR tree-optimization/89314 (ICE in wide_int_to_tree_1, at tree.c:1561) PR tree-optimization/89314 * fold-const.c (fold_binary_loc): Cast strlen argument to const char * before dereferencing it. Formatting fixes. * gcc.dg/pr89314.c: New test. From-SVN: r268868 --- gcc/ChangeLog | 4 ++++ gcc/fold-const.c | 16 ++++++++++------ gcc/testsuite/ChangeLog | 3 +++ gcc/testsuite/gcc.dg/pr89314.c | 13 +++++++++++++ 4 files changed, 30 insertions(+), 6 deletions(-) create mode 100644 gcc/testsuite/gcc.dg/pr89314.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index b0cea85e47a..c800ee18da3 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,9 @@ 2019-02-14 Jakub Jelinek + PR tree-optimization/89314 + * fold-const.c (fold_binary_loc): Cast strlen argument to + const char * before dereferencing it. Formatting fixes. + PR middle-end/89284 * passes.def: Swap pass_ubsan and pass_early_warn_uninitialized. diff --git a/gcc/fold-const.c b/gcc/fold-const.c index 640a6ece44e..fcc1c450129 100644 --- a/gcc/fold-const.c +++ b/gcc/fold-const.c @@ -10740,20 +10740,24 @@ fold_binary_loc (location_t loc, enum tree_code code, tree type, strlen(ptr) != 0 => *ptr != 0 Other cases should reduce to one of these two (or a constant) due to the return value of strlen being unsigned. */ - if (TREE_CODE (arg0) == CALL_EXPR - && integer_zerop (arg1)) + if (TREE_CODE (arg0) == CALL_EXPR && integer_zerop (arg1)) { tree fndecl = get_callee_fndecl (arg0); if (fndecl && fndecl_built_in_p (fndecl, BUILT_IN_STRLEN) && call_expr_nargs (arg0) == 1 - && TREE_CODE (TREE_TYPE (CALL_EXPR_ARG (arg0, 0))) == POINTER_TYPE) + && (TREE_CODE (TREE_TYPE (CALL_EXPR_ARG (arg0, 0))) + == POINTER_TYPE)) { - tree iref = build_fold_indirect_ref_loc (loc, - CALL_EXPR_ARG (arg0, 0)); + tree ptrtype + = build_pointer_type (build_qualified_type (char_type_node, + TYPE_QUAL_CONST)); + tree ptr = fold_convert_loc (loc, ptrtype, + CALL_EXPR_ARG (arg0, 0)); + tree iref = build_fold_indirect_ref_loc (loc, ptr); return fold_build2_loc (loc, code, type, iref, - build_int_cst (TREE_TYPE (iref), 0)); + build_int_cst (TREE_TYPE (iref), 0)); } } diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index c082cddf4a0..7c2b71bb010 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,8 @@ 2019-02-14 Jakub Jelinek + PR tree-optimization/89314 + * gcc.dg/pr89314.c: New test. + PR middle-end/89284 * gcc.dg/ubsan/pr89284.c: New test. diff --git a/gcc/testsuite/gcc.dg/pr89314.c b/gcc/testsuite/gcc.dg/pr89314.c new file mode 100644 index 00000000000..e35dd8c81e1 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr89314.c @@ -0,0 +1,13 @@ +/* PR tree-optimization/89314 */ +/* { dg-do compile } */ +/* { dg-options "-O2 -Wbuiltin-declaration-mismatch -Wextra" } */ + +extern __SIZE_TYPE__ strlen (const float *); /* { dg-warning "mismatch in argument 1 type of built-in function" } */ +void bar (void); + +void +foo (float *s) +{ + if (strlen (s) > 0) + bar (); +} -- 2.30.2