https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116747
--- Comment #8 from Andrew Pinski <pinskia at gcc dot gnu.org> --- 1: dump_data_dependence_relation(stdout, ddr) = (Data Dep: #(Data Ref: # bb: 12 # stmt: d[e.0_43] = _17; # ref: d[e.0_43]; # base_object: d[e.0_43]; #) #(Data Ref: # bb: 12 # stmt: d[e.0_43] = _41; # ref: d[e.0_43]; # base_object: d[e.0_43]; #) (no dependence) ) That is wrong. This is a write after write dependency. The question now becomes why DDR_ARE_DEPENDENT is chrec_known. Even though it is obvious. So the bug is not in phiopt at all it seems but tree-data-ref.cc.