[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [csmith-dev] Bug in GCC LP64 targets
Ok I looked more closely and it seems that Jakub believes this (or a
related issue) is fixed.
So I think it should be reported. I'm happy to do it if you don't want to.
Nice job with the testcase reduction Pascal :). How long did it take?
On 04/18/2011 12:00 PM, John Regehr wrote:
This looks similar to one we've already found and reported:
But it looks like they have already patched it? It's not marked as being
fixed, but often these bugs stay open a long time after they're believed to
On 04/18/2011 01:49 AM, Pascal Cuoq wrote:
signed char g_2 = (-6L);
R = ((g_2 ^ 0U)<= (-4L));
printf("long:%u int:%u R:%d\n", (unsigned)sizeof(long),