------- Comment #30 from steven at gcc dot gnu dot org 2008-01-12 00:25 -------
After playing with dbgcounts to see what happens, I indeed found the same as
what Eric notes in comment #27. The proposed fix makes perfect sense.
I won't be fixing this, I think Eric has already proposed the correct fix.
--
steven at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
AssignedTo|steven at gcc dot gnu dot |unassigned at gcc dot gnu
|org |dot org
Status|ASSIGNED |NEW
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31944
