Added AnnotatedPath.h, GRAuditor.h, GRSimpleAPICheck.h and BasicObjCFoundationChecks.cpp to Xcode project.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48868 91177308-0d34-0410-b5e6-96231b3b80d8

Added "GRAuditor" and "GRSimpleAPICheck" interface to allow simple stateless checkers to be injected into the analyzer.
Added "AnnotatedPath" class to record an annotated path that will be useful for inspecting paths.
Added some boilerplate code for simple checks of Apple's Foundation API.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48867 91177308-0d34-0410-b5e6-96231b3b80d8

Updated Xcode project with HTMLDiagnostics.[h,cpp]

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48866 91177308-0d34-0410-b5e6-96231b3b80d8

Added "HTMLDiagnostic", a generic DiagnosticClient (that also implements PathDiagnostic)
so that all diagnostics can be piped to HTML files instead of as text diagnostics using --html-diags.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48865 91177308-0d34-0410-b5e6-96231b3b80d8

PathDiagnosticPiece no longer contains a vector of strings; just one string.
PathDiagnostic no longer contains a diagnostic ID or diagnostic level.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48864 91177308-0d34-0410-b5e6-96231b3b80d8

Fixed copy-paste error.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48863 91177308-0d34-0410-b5e6-96231b3b80d8

Added PathDiagnostic.[h,cpp] to Xcode project.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48862 91177308-0d34-0410-b5e6-96231b3b80d8

Added classes "PathDiagnosticPiece", "PathDiagnostic", and "PathDiagnosticClient", which encapsulate diagnostic reporting for paths.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48861 91177308-0d34-0410-b5e6-96231b3b80d8

In ObjCMessageExpr: getSelector() const should just return "Selector", not "const Selector&" because Selector is just a smart pointer.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48860 91177308-0d34-0410-b5e6-96231b3b80d8

Fix rewriter tests to work with new output file logic. This changes forces the output to standard out (rather than generate a .cpp file, which is the new default for the rewriter).

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48847 91177308-0d34-0410-b5e6-96231b3b80d8

Bug fix: use GetRVal instead of GetLVal (were getting the value of a DeclRefExpr, not it's address).

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48846 91177308-0d34-0410-b5e6-96231b3b80d8

Added test case for static analysis to warn about passing uninitialized values as arguments (not the receiver) in message expressions.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48845 91177308-0d34-0410-b5e6-96231b3b80d8

Added test case for static analyzer to detect uses of uninitialized pointers as receivers in Objective-C message expressions.
Added test case directory "Analysis-Apple" which is only run on Apple (darwin) machines.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48844 91177308-0d34-0410-b5e6-96231b3b80d8

Bug fix in transfer function for ObjCMessageExpr: Visit the receiver expression as an ordinary expression, not using VisitLVal.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48842 91177308-0d34-0410-b5e6-96231b3b80d8

Alloc redeclaration of typedefs within ExternCSystemHeaderDir's AND SystemHeaderDir's.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48841 91177308-0d34-0410-b5e6-96231b3b80d8

allow the format attribute to be specified in function pointer prototypes
# this is my first commit here, so please be gentle :)

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48807 91177308-0d34-0410-b5e6-96231b3b80d8

Added hacked version of ccc script used to invoke the static analyzer.  This
will gradually get pruned down, as it doesn't need to be as functional as
'ccc'.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48806 91177308-0d34-0410-b5e6-96231b3b80d8

Extend QualType::getAddressSpace to do the right thing for array types, and in
the future, RecordTypes.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48784 91177308-0d34-0410-b5e6-96231b3b80d8

Add missing files

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48783 91177308-0d34-0410-b5e6-96231b3b80d8

GRSimple analysis now outputs additional diagnostic warnings about
passing an uninitialized value to a message expresion.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48776 91177308-0d34-0410-b5e6-96231b3b80d8

Tweak to transfer function for ObjCMessageExpr: handle both instance methods
and message expressions with a specified receiver.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48773 91177308-0d34-0410-b5e6-96231b3b80d8

Added logic to check for uninitialized values as the receivers for message expressions
and uninitialized values passed-by-value as arguments to message expressions.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48760 91177308-0d34-0410-b5e6-96231b3b80d8

Added initial transfer function support for ObjCMessageExpr.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48757 91177308-0d34-0410-b5e6-96231b3b80d8

Added "arg_iterators" to ObjCMessageExpr (for iterating over the arguments of a message expression)

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48756 91177308-0d34-0410-b5e6-96231b3b80d8

Minor CSS tweaking: use webkit style CSS properties for shadows/rounded edges
for message bubbles.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48754 91177308-0d34-0410-b5e6-96231b3b80d8

Add a couple files to VC++ project and cleanup an "#if 0".

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48748 91177308-0d34-0410-b5e6-96231b3b80d8

debian amd64 testing

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48745 91177308-0d34-0410-b5e6-96231b3b80d8

debian ia32 testing

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48742 91177308-0d34-0410-b5e6-96231b3b80d8

Avoid overflowing buffer, patch by Algeris Kirtzidis!

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48741 91177308-0d34-0410-b5e6-96231b3b80d8

The newest version of valgrind, 3.3.0, no longer appends PIDs to log filenames
by default.  Adding a %p works with this new version and is backwards
compatible, though it looks a little funny.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48698 91177308-0d34-0410-b5e6-96231b3b80d8

Changed merge operation for uninitialized values analysis to "intersect" (previous union).

The effect is that if a variable is uninitialized along a branch (but initialized along another), at merge points it is considered uninitialized.  Previously we had the opposite behavior.  The new behavior is more conservative, and more in line with gcc's behavior.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48689 91177308-0d34-0410-b5e6-96231b3b80d8

Teach the rewriter how to respect the -o option.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48669 91177308-0d34-0410-b5e6-96231b3b80d8

fix this test.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48668 91177308-0d34-0410-b5e6-96231b3b80d8

Rename "Nodify" to "MakeNode"

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48659 91177308-0d34-0410-b5e6-96231b3b80d8

Only invoke the preprocessor; it's the only thing being tested.  Also, check
the output to make sure that the macros and comments are being treated as such.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48638 91177308-0d34-0410-b5e6-96231b3b80d8

Plug a memory leak in the "this macro expands into a single trivially-
expanded token" case.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48637 91177308-0d34-0410-b5e6-96231b3b80d8

Use the -E option when invoking clang.  Only the preprocessor is
required to perform this test.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48636 91177308-0d34-0410-b5e6-96231b3b80d8

Add ability to run clang tests under valgrind. Patch by Sam Bishop.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48621 91177308-0d34-0410-b5e6-96231b3b80d8

LiveVariables analysis now uses intersect for the merge of block-level expression liveness information.
The rationale is that a block-level expression cannot be live in a parent block unless it is live in all of the successor blocks.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48618 91177308-0d34-0410-b5e6-96231b3b80d8

Use make's -C option to enter directories.

Also, do not try to remove build/ dir when
cleaning, this does not exist any more.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48599 91177308-0d34-0410-b5e6-96231b3b80d8

reduce chattyness of makefiles

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48597 91177308-0d34-0410-b5e6-96231b3b80d8

scan testdirs only once, patch by Mike Stump, thanks!

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48589 91177308-0d34-0410-b5e6-96231b3b80d8

Added HTML highlighting for ranges.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48572 91177308-0d34-0410-b5e6-96231b3b80d8

Fix typo.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48571 91177308-0d34-0410-b5e6-96231b3b80d8

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

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48568 91177308-0d34-0410-b5e6-96231b3b80d8

Change colors of HTML message bubble.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48563 91177308-0d34-0410-b5e6-96231b3b80d8

More CSS enhancements to HTML code printing.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48557 91177308-0d34-0410-b5e6-96231b3b80d8

Misc. cleanups to HTML printing: make code rendered using tables; add
better div positioning for messages.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48555 91177308-0d34-0410-b5e6-96231b3b80d8

Minor speed tweak per Chris's suggestion: use &S[0] instead of S.c_str().

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48544 91177308-0d34-0410-b5e6-96231b3b80d8

Integrated some of Chris's comments; check for an empty string in InsertStrXXX()
before descending into the bowels of the Rewriter.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48541 91177308-0d34-0410-b5e6-96231b3b80d8

Initial experimentation with adding boxed "annotations" to HTMLized source.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48540 91177308-0d34-0410-b5e6-96231b3b80d8

Convert tabs to spaces.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48539 91177308-0d34-0410-b5e6-96231b3b80d8

Moved generation of html header/footer with builtin CSS to the rewriter library.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48537 91177308-0d34-0410-b5e6-96231b3b80d8

simplify code by using the variadic StructType::get method.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48535 91177308-0d34-0410-b5e6-96231b3b80d8

simplify the clang codegen by using the new Builder.CreateStructGEP method.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48534 91177308-0d34-0410-b5e6-96231b3b80d8

More cleanups to the HTML rewriter (with line formatting), with better
pretty-printing of line numbers.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48533 91177308-0d34-0410-b5e6-96231b3b80d8

Added InsertStrXXX/InsertCStrXXX methods to the Rewriter to provide a simpler
interface to the rewriter when clients have NULL terminated strings or std::string.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48532 91177308-0d34-0410-b5e6-96231b3b80d8

Change "style" to "class" in HTML output.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48525 91177308-0d34-0410-b5e6-96231b3b80d8

More cleanups to HTML rewriter API: remove the InsertTag method; was too complicated
and clients can achieve a cleaner design just by inserting tags directly.  Reserve
the "html" namespace for meta-level operations (e.g., escaping text, etc.)

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48524 91177308-0d34-0410-b5e6-96231b3b80d8

More HTML rewriter cleanups.  Preliminary CSS support in code pretty-printing.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48518 91177308-0d34-0410-b5e6-96231b3b80d8

Some cleanups to the HTMLRewrite API. Added support for printing out line
numbers (more work to be done on aesthetics).

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48512 91177308-0d34-0410-b5e6-96231b3b80d8

Added HTML pretty-printer.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48507 91177308-0d34-0410-b5e6-96231b3b80d8

Modified "InsertTag" (HTML rewriter) to have an optional "OutermostTag" flag to
indicate whether or not the new tag should be the outermost tag at the specified
location (in the case that other tags have been inserted at the same spot).

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48506 91177308-0d34-0410-b5e6-96231b3b80d8

Added the beginning of a set of rewriter functions for pretty-printing source
code as HTML.  Added a new driver option "--emit-html" to dump the source
of the main input file as HTML.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48505 91177308-0d34-0410-b5e6-96231b3b80d8

Added variant of "InsertText" in the Rewriter to support inserting text both
*before* and after a specific location.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48504 91177308-0d34-0410-b5e6-96231b3b80d8

Bug fix in RewriteBuffer::getMappedOffset: potentially multiple deltas
need to be skipped over when AfterInserts == true, as multiple deltas
may share the same FileLoc.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48503 91177308-0d34-0410-b5e6-96231b3b80d8

Fix comment.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48501 91177308-0d34-0410-b5e6-96231b3b80d8

Update project files.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48500 91177308-0d34-0410-b5e6-96231b3b80d8

Test.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48499 91177308-0d34-0410-b5e6-96231b3b80d8

Added method "getSourceMgr" to class Rewriter.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48496 91177308-0d34-0410-b5e6-96231b3b80d8

add 'clean' targets, make sure that 'make test' works after 'make clean'

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48488 91177308-0d34-0410-b5e6-96231b3b80d8

let the %t magic happen, thanks Chris!

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48487 91177308-0d34-0410-b5e6-96231b3b80d8

Switch over to the parallelized makefile, but keep old serial
makefile around (just change Makefile.parallel to Makefile to
get back old functionality).

To run parallel tests, specify

    make -jN test # where N = num of CPUs * 2

to get detailed output, run

    make -jN test VERBOSE=1

to only get error descriptions *after the tests have run*, type

    make report

this gives you the extra information which was omitted in non-VERBOSE
mode.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48486 91177308-0d34-0410-b5e6-96231b3b80d8

move #include to the file that needs it.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48485 91177308-0d34-0410-b5e6-96231b3b80d8

Fix a typo

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48482 91177308-0d34-0410-b5e6-96231b3b80d8

Fix <rdar://problem/5716940> rewriter generates invalid C code when no selector found.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48479 91177308-0d34-0410-b5e6-96231b3b80d8

Wrap up __NSConstantStringImpl (the replacement for __builtin___CFStringMakeConstantString).

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48477 91177308-0d34-0410-b5e6-96231b3b80d8

Fix assertion.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48470 91177308-0d34-0410-b5e6-96231b3b80d8

Fix integer overflow bug when processing switch statements.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48469 91177308-0d34-0410-b5e6-96231b3b80d8

Properly hook up inline asm transfer function logic to the main GRExprEngine logic.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48468 91177308-0d34-0410-b5e6-96231b3b80d8

Updated VS project files to reference all libraries in the "lib" subdirectory.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48467 91177308-0d34-0410-b5e6-96231b3b80d8

Added initial transfer function support for inline asm.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48466 91177308-0d34-0410-b5e6-96231b3b80d8

Added "inputs" and "outputs" iterator (expression) for AsmStmt.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48465 91177308-0d34-0410-b5e6-96231b3b80d8

finishing touches: teminate the dots with a newline

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48462 91177308-0d34-0410-b5e6-96231b3b80d8

Check in a couple fixes for vector extensions.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48461 91177308-0d34-0410-b5e6-96231b3b80d8

Bug fix in CFG construction: VisitCompoundStmt should return the last created block.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48460 91177308-0d34-0410-b5e6-96231b3b80d8

Implemented verbose mode.
  make test VERBOSE=1
should now produce the same output like
the Makefile normally does.
Without VERBOSE only the names of failed tests
are printed.

I am pretty comfortable with this version, and
I think it is time to switch over to Makefile.parallel
to be the default.

What do you think? Did I forget some piece of feedback?

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48458 91177308-0d34-0410-b5e6-96231b3b80d8

Simplify further by creating *.testresults files
inside of the Output/ directory.
The testclean target could be removed now.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48457 91177308-0d34-0410-b5e6-96231b3b80d8

Get rid of the creation of secondary makefile "Makefile.tests".

This implements second part of
<http://lists.cs.uiuc.edu/pipermail/cfe-commits/Week-of-Mon-20080310/004727.html>.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48456 91177308-0d34-0410-b5e6-96231b3b80d8

More review feedback implemented:

Get rid of "awk" dependence by using same "make"
functionality:

<http://lists.cs.uiuc.edu/pipermail/cfe-commits/Week-of-Mon-20080310/004727.html>

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48455 91177308-0d34-0410-b5e6-96231b3b80d8

Actually expand the %t1 patterns (in RUN: lines) to a unique
filename.
This fixes (e.g.) CodeGen/struct-x86-darwin.c which
raced at writing to "%t1" with other tests when parallel
testing was specified with a high "-j XX" value.

Also gets rid of the file tools/clang/test/%t1
when doing an "svn st" after testing.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48454 91177308-0d34-0410-b5e6-96231b3b80d8

Second round of review feedback.

* print out message when tests start
* testrunner sets status now
* on failed test run print out test name

I tested these changes with the non-parallel makefile
and it did not break.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48453 91177308-0d34-0410-b5e6-96231b3b80d8

eliminate the last signed element count.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48436 91177308-0d34-0410-b5e6-96231b3b80d8

clean up iteration over propertydecls.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48435 91177308-0d34-0410-b5e6-96231b3b80d8

clean up property memory allocation to move it into the ast classes
like the rest of the classes.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48434 91177308-0d34-0410-b5e6-96231b3b80d8

make property addition work list all other "add" methods.  Do
the allocation in the class, not in sema.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48433 91177308-0d34-0410-b5e6-96231b3b80d8

add the last two Create methods for decls, woo!

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48432 91177308-0d34-0410-b5e6-96231b3b80d8

Convert more counts to be zero based instead of -1 based, make them unsigned.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48429 91177308-0d34-0410-b5e6-96231b3b80d8

add two more Create methods.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48428 91177308-0d34-0410-b5e6-96231b3b80d8

simplify the way ObjCCategoryDecl's get their referenced protocols list
specified.  Previously, the ctor would allocate memory for the list and then
it would get filled in later.  Move the allocation+filling in to be more
consistent with other stuff, e.g. the addMethods method.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@48427 91177308-0d34-0410-b5e6-96231b3b80d8