>>>>> "Dodji" == Dodji Seketeli <do...@redhat.com> writes:

Tom> One thing to note is that there may be some code that assumes an
Tom> ordering of location values.  If you hand out ordinary and macro
Tom> locations separately (which I think is what is going on), then code
Tom> doing this may break.

[...]
Dodji> Now I think I am left with two options, I guess.  Either I find a way to
Dodji> make the two kind of locations (those mapped into macro maps and those
Dodji> mapped into ordinary maps) share the same integer space and be ordered,
Dodji> or, I spot the places in the code that assume an ordering of all
Dodji> location values and I change that.

Dodji> Is the location ordering a strong property we want to keep?

It doesn't matter to me.  I think it would probably be sufficient if
there were a "cheap-enough" comparison function.

Dodji> I haven't noticed that with my tests.  But after reading this, I have
Dodji> found one spot of the in diagnostic_report_diagnostic that does this.  I
Dodji> don't know yet if there are other places.

Too bad we can't just write operator< :-)

Dodji> But if you want, I can just move the the comments to the header file,
Dodji> no problem at all.

Yeah, please do.

Tom

Reply via email to