------- Comment #10 from gerald at pfeifer dot com 2008-01-02 11:52 -------
I just tested DLV against current GCC CVS and where I had been seeing
some 400 out of some 1000 testcases failing a couple of days ago, I am
now down to 10 failures.
This doesn't mean that this very patch fixed it, but I'd claim there is
a pretty good likelyhood. :-)
The remaining 10 failures (all of which are specific to GCC 4.3) all
are of the same kind and only for one very specific kind of input (one
specific codepath). I'll try to carve out time to debug that -- it's
interesting to see that DLV still finds GCC bugs after all these years!
--
gerald at pfeifer dot com changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |gerald at pfeifer dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34595
