[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:
Hi Pascal,

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
be fixed.


On 04/18/2011 01:49 AM, Pascal Cuoq wrote:

signed char g_2 = (-6L);
int R;

R = ((g_2 ^ 0U)<= (-4L));
printf("long:%u int:%u R:%d\n", (unsigned)sizeof(long),
(unsigned)sizeof(int), R);
return R;