Is this a compiler bug?

[Steve Kargl]

#include <stdio.h>
#include <stdint.h>

int
main(void)
{
	uint16_t i;
	i = 0x3ff0+63; printf("%x\n", i);
	i = 0x3ff1+63; printf("%x\n", i);
	i = 0x3ff2+63; printf("%x\n", i);
	i = 0x3ff3+63; printf("%x\n", i);
	i = 0x3ff4+63; printf("%x\n", i);
	i = 0x3ff4+63; printf("%x\n", i);
	i = 0x3ff6+63; printf("%x\n", i);
	i = 0x3ff7+63; printf("%x\n", i);
	i = 0x3ff8+63; printf("%x\n", i);
	i = 0x3ff9+63; printf("%x\n", i);
	i = 0x3ffa+63; printf("%x\n", i);
	i = 0x3ffb+63; printf("%x\n", i);
	i = 0x3ffc+63; printf("%x\n", i);
	i = 0x3ffd+63; printf("%x\n", i);
	i = 0x3ffe+63; printf("%x\n", i);
	i = 0x3fff+63; printf("%x\n", i);
	return 0;
}

-- 
Steve