From: jakub Date: Fri, 16 Aug 2013 09:05:52 +0000 (+0000) Subject: PR tree-optimization/58164 X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=f0ddb2439aaee51ef69527b7d937e1d0a7768b5d;p=thirdparty%2Fgcc.git PR tree-optimization/58164 * gimple.c (walk_stmt_load_store_addr_ops): For visit_addr walk gimple_goto_dest of GIMPLE_GOTO. * gcc.c-torture/compile/pr58164.c: New test. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@201782 138bc75d-0d04-0410-961f-82ee72b054a4 --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 810b8a552881..004dfb44999e 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,9 @@ 2013-08-16 Jakub Jelinek + PR tree-optimization/58164 + * gimple.c (walk_stmt_load_store_addr_ops): For visit_addr + walk gimple_goto_dest of GIMPLE_GOTO. + PR tree-optimization/58165 * tree-call-cdce.c (shrink_wrap_one_built_in_call): If bi_call must be the last stmt in a bb, don't split_block, instead diff --git a/gcc/gimple.c b/gcc/gimple.c index f5074199381b..ae9fca716cac 100644 --- a/gcc/gimple.c +++ b/gcc/gimple.c @@ -4049,6 +4049,13 @@ walk_stmt_load_store_addr_ops (gimple stmt, void *data, ret |= visit_addr (stmt, TREE_OPERAND (op, 0), data); } } + else if (visit_addr + && gimple_code (stmt) == GIMPLE_GOTO) + { + tree op = gimple_goto_dest (stmt); + if (TREE_CODE (op) == ADDR_EXPR) + ret |= visit_addr (stmt, TREE_OPERAND (op, 0), data); + } return ret; } diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 84679bbbb655..4d41fad6bd1a 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,8 @@ 2013-08-16 Jakub Jelinek + PR tree-optimization/58164 + * gcc.c-torture/compile/pr58164.c: New test. + PR tree-optimization/58165 * g++.dg/opt/pr58165.C: New test. diff --git a/gcc/testsuite/gcc.c-torture/compile/pr58164.c b/gcc/testsuite/gcc.c-torture/compile/pr58164.c new file mode 100644 index 000000000000..7fe24fa439f1 --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/compile/pr58164.c @@ -0,0 +1,8 @@ +/* PR tree-optimization/58164 */ + +int +foo (void) +{ + int x = 0; + goto *&x; +}