Re: [PATCH] gas value truncation warning reports truncated values, doesn't look at signedness.

[Alan Modra]

On Mon, Jan 12, 2004 at 02:20:25AM +0100, Bart Samwel wrote:
> In 64-bit, ~0x80000000 is 0xffffffff7fffffff.

True if int is 64 bits.  Note that most (all?) 64 bit gcc targets
have a 32 bit int.  I'm harping on about this because it's a common
error to think ~0x80000000 is something other than 0x7fffffff when
writing C for a 64 bit target.  Try this:

#include <stdio.h>
int main (void)
{
  long long x = ~0x80000000;
  printf ("%llx\n", x);
  return 0;
}

-- 
Alan Modra
IBM OzLabs - Linux Technology Centre