printf() doesn't seem to handle the format specifiers for 64-bit types correctly. It appears as though it retrieves 4-bytes of junk from the stack and formats that in place of the actual variable. Interestingly, attempting to print two 64-bit variables yields the correct value for the low-order 4 bytes of the first variable in place of the second format specifier. In this case, the second variable being printed gets missed altogether.
Some example code:
unsigned long long int bigint = 0x00000005FFFFFFFF;
printf("bigint: %llu\r\n", bigint);
printf("bigint: %llu, %llu\r\n", bigint, bigint);
printf("bigint-32: %lu\r\n", (unsigned long int)bigint);
printf("bigint-hex: %#llx, %#llx\r\n", bigint, bigint);
printf("bigint-hex32: %#lx\r\n", (uint32_t)bigint);
Which yields the following:
bigint: 1
bigint: 1, 4294967295
bigint-32: 4294967295
bigint-hex: 0x1, 0xffffffff
bigint-hex32: 0xffffffff
Where one would expect:
bigint: 25769803775
bigint: 25769803775, 25769803775
bigint-32: 4294967295
bigint-hex: 0x5ffffffff, 0x5ffffffff
bigint-hex32: 0xffffffff
I should note that I'm using WICED v2.4.1.
Cheers!
