------- Comment #41 from amylaar at gcc dot gnu dot org 2010-07-08 12:01 ------- (In reply to comment #39) > So you say during inlining we end up generating DECL copies in a different > _order_ comparing debug vs. non-debug cases? That would be a bug as well.
Indeed we do; once that is fixed, the vrp ordering should be fixed as well. (In reply to comment #37) > This is what we have the -nouid modifier for. But this doesn't allow us to use diff to tell if the relative order is OK in one dump while messed up in the other. It hides all the ordering problems, so this option is no good at all to track down the pass where things go wrong. > > I wonder if it would be feasible to allocate new negative the uids for such Should have read: I wonder if it would be feasible to allocate new negative uids for such > > symbols when they only remain for purposes of debugging, and when we somehow > > end up merging a debug and non-debug copy, the non-debug with its positive > > decl_uid should prevail. > > ? You have lost me here again. That's a tentative idea how not only the ordering problem could be solved, but also the debug/no-debug variance of decl_uids on declarations / labels that are present in the no-debug output, to allow for meaningful diffs. I haven't tried to implement this yet, though. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44832
