http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51042
--- Comment #4 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-11-09 14:33:14 UTC --- The clean () code does not work properly for memory references it seems. We fail to prune expressions that are not available (the tricks we play with dominance tests for virtual operands are not effective once we translate them).