Compiler printf format checking

[Mikael Vidstedt]

I get this on Linux:

int
main(void)
{
   printf("%08p", NULL);
   return 0;
}

$ gcc -Wall -o tst tst.c
tst.c: In function âmainâ:
tst.c:6:3: warning: '0' flag used with â%pâ gnu_printf format [-Wformat]

/Mikael

On 2013-12-12 13:52, Dmitry Samersoff wrote:
> On 2013-12-12 05:14, Mikael Vidstedt wrote:
>> Are we saying the gcc format checking ignores any qualifiers on %p, yet
>> correctly treats it as a pointer format? That is, if we use something
>> like "%08p", will gcc still recognize that as a pointer format and look
>> for a pointer argument (without complaining)?
> Int arg:
>
> dooku:dms#cc test.c
> test.c: In function ‘main’:
> test.c:8:2: warning: format ‘%8p’ expects type ‘void *’, but argument 2
> has type ‘int’
>
> Pointer arg compiles silently.
>
> -Dmitry
>
>> Cheers,
>> Mikael
>>
>> On Dec 11, 2013, at 3:06 PM, John Rose <john.r.rose at oracle.com
>> <mailto:john.r.rose at oracle.com>> wrote:
>>
>>> On Dec 11, 2013, at 2:41 PM, Dmitry Samersoff
>>> <dmitry.samersoff at oracle.com <mailto:dmitry.samersoff at oracle.com>> wrote:
>>>
>>>> we can just use %p on all platforms
>>> That's clever.
>>>
>>> I do think we need to use an off-the-shelf static analyzer for the
>>> format strings.  There is only a tiny amount of room to maneuver
>>> within the confines of the language of printf format strings.
>>>
>>> There are probably several other fiddly details like this, such as
>>> "how do I format intptr_t" and "how do I format jlong" and maybe "how
>>> do I format an oop".  It may be possible to do some dodges like %p to
>>> get around those also.  (The [-+#] modifiers look tantalizing to me in
>>> this regard.)
>>>
>>> — John
>