Hi Pascal,
This looks similar to one we've already found and reported:
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48197
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.
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;
}