In splint 3.0.1.6 this line produces an "unrecognized
format code" warning:
printf("sizeof(short int) %zd\n", sizeof(short int));
The z (size_t), t (ptrdiff_t), ll (long long), hh
(char), and j (intmax_t) size modifiers were added in
C99.
Logged In: YES
user_id=61835
We're still updating Splint to fully work with C99 code.
I'm making this a feature request so that we can remember to
add this support at a later date.
I would like to see this fixed. Thanks!