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

bugzilla-daemon at llvm.org bugzilla-daemon at llvm.org
Wed Jun 16 14:25:00 PDT 2010


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.

More information about the llvm-bugs mailing list