http://gcc.gnu.org/bugzilla/show_bug.cgi?id=26854
--- Comment #125 from Daniel Berlin <dberlin at gcc dot gnu.org> 2011-01-18 15:18:25 UTC --- > > --- Comment #124 from Jan Hubicka <hubicka at ucw dot cz> 2011-01-18 15:15:01 > UTC --- >> >> This looks suspiciously like it's not using the DFS numbers > It seems that they are used, just we do a lot of queries from > register_new_assert_for > according to my ^C GDB profiling. > Interesting, i wonder why et_splay shows up at all then.