------- Comment #4 from rguenth at gcc dot gnu dot org 2008-03-16 12:23 ------- The concrete problem with allowing &foo[(int)z_4] in a PHI node argument is that we cannot cope with immediate uses in PHI nodes and thus DCE z_4 and end up with a reference to a deleted SSA_NAME during expansion (yeah, we don't go out-of-SSA for it either). So this is a non-option.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35607