http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58246
--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> --- Author: rguenth Date: Thu Aug 29 13:04:19 2013 New Revision: 202071 URL: http://gcc.gnu.org/viewcvs?rev=202071&root=gcc&view=rev Log: 2013-08-29 Richard Biener <rguent...@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: trunk/gcc/testsuite/gcc.dg/torture/pr58246.c Modified: trunk/gcc/ChangeLog trunk/gcc/testsuite/ChangeLog trunk/gcc/tree-ssa-dce.c