------- Comment #3 from pinskia at gcc dot gnu dot org 2006-02-15 23:09 ------- Fixed.
dist_v and init_v are GC pointers so they don't really need to be freed
manually.
--
pinskia at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Keywords| |memory-hog
Resolution| |FIXED
Target Milestone|--- |4.2.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=26147
