[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [csmith-dev] Bug in GCC LP64 targets

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;