[Bug tree-optimization/58246] [4.7 Regression] wrong code at -O1 and above

[rguenth at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58246

--- Comment #9 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Wed May  7 07:59:26 2014
New Revision: 210141

URL: http://gcc.gnu.org/viewcvs?rev=210141&root=gcc&view=rev
Log:
2014-05-07  Richard Biener  <rguenther@suse.de>

    Backport from mainline
    2013-08-29  Richard Biener  <rguenther@suse.de>

    PR tree-optimization/58246
    * tree-ssa-dce.c (mark_aliased_reaching_defs_necessary_1): Properly
    handle the dominance check inside a basic-block.

    * gcc.dg/torture/pr58246.c: New testcase.

Added:
    branches/gcc-4_7-branch/gcc/testsuite/gcc.dg/torture/pr58246.c
Modified:
    branches/gcc-4_7-branch/gcc/ChangeLog
    branches/gcc-4_7-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_7-branch/gcc/tree-ssa-dce.c