------- Comment #7 from rguenth at gcc dot gnu dot org 2009-02-04 21:18 ------- Following do_ds_constraint shows
*na_2 = x_1 nl <- *na_2 = derefaddrtmp.7 nl <- NULL *na_2 = x_1 NULL <- ESCAPED NONLOCAL *na_2 = derefaddrtmp.7 NULL <- NULL where on the lhs of <- we show DELTA and on the rhs we show the rhs solution. The problem is obviously that DELTA doesn't include nl anymore when the rhs solution includes NONLOCAL. We do have a cycle here, can we really do DELTA processing there? Note that the constraint graph looks funny to me (but I never looked at them until now) -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39100
