------- Comment #3 from pcarlini at suse dot de 2007-12-26 19:09 -------
And now I see what is really going wrong: this is a miscompilation, which
actually Richard reported to me a few days ago. Indeed, nothing in the
definition of the iterator can possibly zero the c member besides the default
constructor, which is only called once, at beginning. The issue affects DLV.
--
pcarlini at suse dot de changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |rguenther at suse dot de,
| |pcarlini at suse dot de
AssignedTo|pcarlini at suse dot de |unassigned at gcc dot gnu
| |dot org
Status|ASSIGNED |NEW
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34595
