Hi Pascal, This looks similar to one we've already found and reported: http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48197But 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.
John On 04/18/2011 01:49 AM, Pascal Cuoq wrote:
#include<stdio.h> signed char g_2 = (-6L); int R; main() { R = ((g_2 ^ 0U)<= (-4L)); printf("long:%u int:%u R:%d\n", (unsigned)sizeof(long), (unsigned)sizeof(int), R); return R; }