------- Comment #6 from hubicka at gcc dot gnu dot org 2007-01-27 15:57 ------- update_inlined_to_pointers is obviously no longer needed and can be safely removed now. Thanks for noticing it ;)
Honza -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=4076