[LLVMbugs] [Bug 4468] [printf checking] Add checking for argument types with format attribute

[bugzilla-daemon at llvm.org]

http://llvm.org/bugs/show_bug.cgi?id=4468

Ted Kremenek <kremenek at apple.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED

--- Comment #12 from Ted Kremenek <kremenek at apple.com> 2010-06-16 16:25:00 CDT ---
(In reply to comment #10)
> (In reply to comment #7)
> > (In reply to comment #6)
> > > Do you have specific test cases in mind?  Both of those conversion specifiers
> > > are handled by the format string checking.
> > 
> > I can't get any warnings out of them no matter what I try. The simplest cases
> > are for example:
> > 
> >     printf("%c", "foo");
> >     printf("%p", 123);
> 
> The '%p' appears to still not be handled.

This case is now handled.

I'm marking this bug as "FIXED".  If there are still missing cases, I'd prefer
to open up specific bugs for those cases.  General type-checking for format
strings has been implemented.

-- 
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.