------- Comment #25 from matz at gcc dot gnu dot org 2010-07-07 11:15 ------- Due to SSA form the alias information reflects dependencies only between accesses as if it ignores back edges. Hence any transformation that transforms a back edge into a forward edge, or moves code over back edges needs to do adjustment to the alias info (effectively doing something like PHI translation, or making the alias info simply more imprecise). Hmpf.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44838