------- 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

Reply via email to