http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51297
--- Comment #4 from Nathan Sidwell <nathan at gcc dot gnu.org> 2011-11-24 19:08:24 UTC --- the names being entered into the array are unique, so there is a total ordering -- I think that's a red herring. I think the problem is the string read from the data file is corrupted in some way. Is that clueful enough?
