Jason, I introduced an warning on ODR violations (i.e. when I hot two types that are equivalent by my ODR code and have different canonical types). Unforutnately this hits a false positives on template instantiations. Here my ODR code apparently never sees the types of template parameters; just the template name itself that is same for all instances.
I suppose I need to walk those, too. Is there language independent way to get to C++ template parameters? (dwarf2out seems to use langhook) and if not, would be possible to introduce one? Also it would help if the FINAL flag on methods and classes was made language independent. Thank you, Honza