On Wed, Jan 04, 2012 at 10:33:50AM +0100, Richard Guenther wrote: > > My previous patch apparently wasn't enough. If at add_mem_* > > time mem_elt is still its own canonical cselib_val, but only afterwards > > new_elt_loc_list adds a new canonical cselib_val to it (and moves > > Hm, shouldn't an existing cselib_val be always the canonical one?
Canonical is the one with lower uid. If cselib_add_permanent_equiv is called with two existing cselib_vals, just one of them will be canonical. Jakub