the ABI spec, this turns out to simplify the code. We still have some annoying
code which mismatches the spec with regard to empty structures.

llvm-svn: 94796

In addition, move ParseFormatString() and FormatStringHandler() from
the clang::analyze_printf to the clang namespace.  Hopefully this will
resolve some link errors on Linux.

llvm-svn: 94794

llvm-svn: 94793

llvm-svn: 94792

llvm-svn: 94791

Yet another attempt to make the Linux buildbots happy.  Apparently there are differences on how nested namespaces are handled...

llvm-svn: 94790

definition comes after where it is needed. Fixes radar 7589385.

llvm-svn: 94788

llvm-svn: 94787

Alternate format string checking: check if the number of format specifiers exceeds the number of arguments.

llvm-svn: 94785

Move definition of FormatStringHandler::~FormatStringHandler() within namespace directives.  Hopefully this will make the Linux buildbots happy.

llvm-svn: 94784

llvm-svn: 94782

llvm-svn: 94774

llvm-svn: 94762

- Add an anonymous class 'CheckPrintfHandler' which will do the
  checking of specific format specifiers
- Add checking for using the '@' conversion specifier outside
  an ObjC string literal
- Add checking for null characters within the string

llvm-svn: 94761

llvm-svn: 94760

llvm-svn: 94758

llvm-svn: 94756

llvm-svn: 94755

llvm-svn: 94754

llvm-svn: 94753

llvm-svn: 94751

to get the access bits set properly in conversion sets.

llvm-svn: 94744

so that CIndex can report diagnostics through the normal mechanisms
even when executing Clang in a separate process. This applies both
when performing code completion and when using ASTs as an intermediary
for clang_createTranslationUnitFromSourceFile().

The serialized format is not perfect at the moment, because it does
not encapsulate macro-instantiation information. Instead, it maps all
source locations back to the instantiation location. However, it does
maintain source-range and fix-it information. To get perfect fidelity
from the serialized format would require serializing a large chunk of
the source manager; at present, it isn't clear if this code will live
long enough for that to matter.

llvm-svn: 94740

llvm-svn: 94739

Rename namespace clang::printf to clang::analyze_printf to avoid problems where the reference to 'printf' is ambiguous.

llvm-svn: 94733

mostly because we're going to want a better diagnostic for conversions.

Also this API needs to go back to sanity.

llvm-svn: 94730

llvm-svn: 94725

(Radar 7583971).

llvm-svn: 94724

This function will use the format string parsing logic in libAnalysis,
and once it is shown to be better than the current implementation it
will replace AlternateCheckPrintfString() entirely.

llvm-svn: 94721

llvm-svn: 94717

llvm-svn: 94715

llvm-svn: 94713

llvm-svn: 94712

llvm-svn: 94710

llvm-svn: 94707

llvm-svn: 94704

strings than what we currently have in Sema.  This is both an
experiment and a WIP.

The idea is simple: parse the format string incrementally,
constructing a well-structure representation of each format specifier.
Each format specifier is then handed back one-by-one to a client via a
callback.  Malformed format strings are also handled with callbacks.
The idea is to separate the parsing of the format string from the
emission of diagnostics.  Currently what we have in Sema for handling
format strings is a mongrel of both that is hard to follow and
difficult to modify (I can apply this label since I'm the original
author of that code).

This is in libAnalysis as it is reasonable generic and can potentially
be used both by libSema and libChecker.

Comments welcome.

llvm-svn: 94702

llvm-svn: 94688

llvm-svn: 94685

llvm-svn: 94682