From 1a06b503a53c1054e9dfb081e713b5ff0050759e Mon Sep 17 00:00:00 2001 From: rguenth Date: Mon, 20 Aug 2012 10:26:45 +0000 Subject: [PATCH] 2012-08-20 Richard Guenther PR tree-optimization/54327 * gimple-fold.c (get_maxval_strlen): Do not walk use-def chains if the use is registered for SSA update. * gcc.dg/torture/pr54327.c: New testcase. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@190528 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ChangeLog | 6 ++++++ gcc/gimple-fold.c | 5 +++++ gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/gcc.dg/torture/pr54327.c | 15 +++++++++++++++ 4 files changed, 31 insertions(+) create mode 100644 gcc/testsuite/gcc.dg/torture/pr54327.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 04c1dfa..c33069a 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2012-08-20 Richard Guenther + + PR tree-optimization/54327 + * gimple-fold.c (get_maxval_strlen): Do not walk use-def chains + if the use is registered for SSA update. + 2012-08-20 Jakub Jelinek PR tree-optimization/54321 diff --git a/gcc/gimple-fold.c b/gcc/gimple-fold.c index d708c80..19a259e 100644 --- a/gcc/gimple-fold.c +++ b/gcc/gimple-fold.c @@ -736,6 +736,11 @@ get_maxval_strlen (tree arg, tree *length, bitmap visited, int type) return true; } + /* If ARG is registered for SSA update we cannot look at its defining + statement. */ + if (name_registered_for_update_p (arg)) + return false; + /* If we were already here, break the infinite cycle. */ if (!bitmap_set_bit (visited, SSA_NAME_VERSION (arg))) return true; diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 3ef6c94..ba0b5b2 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2012-08-20 Richard Guenther + + PR tree-optimization/54327 + * gcc.dg/torture/pr54327.c: New testcase. + 2012-08-20 Jakub Jelinek PR tree-optimization/54321 diff --git a/gcc/testsuite/gcc.dg/torture/pr54327.c b/gcc/testsuite/gcc.dg/torture/pr54327.c new file mode 100644 index 0000000..fe7499a --- /dev/null +++ b/gcc/testsuite/gcc.dg/torture/pr54327.c @@ -0,0 +1,15 @@ +/* { dg-do compile } */ + +#include +#include +void treathead () +{ + char *a = ';' == '\0' ? : 0; + if (*a == '=') + { + while (*a == (*a == 0) || *a == '\'') + a++; + if (strlen (a) < 2) + abort (); + } +} -- 2.7.4