------- Comment #10 from jakub at gcc dot gnu dot org 2010-02-22 19:21 ------- The next variable is said to live in value 90 and (mem (value 54)), that's where those two are equivalenced (canonicalize_values_star). The equivalencing between value 90 and value 54 is done in val_resolve: /* Map incoming equivalences. ??? Wouldn't it be nice if we just started sharing the location lists? Maybe a circular list ending at the value itself or some such. */
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43051