PRIxPTR format string causes "format specifies type 'unsigned int' but the argument has type 'uintptr_t' (aka 'unsigned long')" warning

[zhuowei]

The PRIxPTR macro, used to print uintptr_t values, seems to be incorrectly defined in wasi-sdk 3.0's headers.
To reproduce: compile this C file with wasi-sdk.

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

void printsomething() {
	uintptr_t a = 0x1234;
	printf("%" PRIxPTR "\n", a);
}

Expected: no warning occurs.
Actual:

$ bin/clang --sysroot `pwd`/share/sysroot -c test.c
test.c:7:27: warning: format specifies type 'unsigned int' but the argument has type 'uintptr_t' (aka 'unsigned long') [-Wformat]
        printf("%" PRIxPTR "\n", a);
                ~~~~~~~~~~       ^
1 warning generated.

[sunfishcode]

Thanks for the report! I've now submitted #16 to fix this.

[zhuowei]

@sunfishcode Thanks!