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.

llvm-svn: 48867

llvm-svn: 48866

so that all diagnostics can be piped to HTML files instead of as text diagnostics using --html-diags.

llvm-svn: 48865

PathDiagnostic no longer contains a diagnostic ID or diagnostic level.

llvm-svn: 48864

llvm-svn: 48863

llvm-svn: 48862

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

llvm-svn: 48861

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

llvm-svn: 48860

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).

llvm-svn: 48847

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

llvm-svn: 48846

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

llvm-svn: 48845

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.

llvm-svn: 48844

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

llvm-svn: 48842

llvm-svn: 48841

# this is my first commit here, so please be gentle :)

llvm-svn: 48807

will gradually get pruned down, as it doesn't need to be as functional as
'ccc'.

llvm-svn: 48806

the future, RecordTypes.

llvm-svn: 48784

llvm-svn: 48783

passing an uninitialized value to a message expresion.

llvm-svn: 48776

and message expressions with a specified receiver.

llvm-svn: 48773

and uninitialized values passed-by-value as arguments to message expressions.

llvm-svn: 48760

llvm-svn: 48757

llvm-svn: 48756

for message bubbles.

llvm-svn: 48754

llvm-svn: 48748

llvm-svn: 48745

llvm-svn: 48742

llvm-svn: 48741

by default.  Adding a %p works with this new version and is backwards
compatible, though it looks a little funny.

llvm-svn: 48698

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.

llvm-svn: 48689

llvm-svn: 48669

llvm-svn: 48668

llvm-svn: 48659

the output to make sure that the macros and comments are being treated as such.

llvm-svn: 48638

expanded token" case.

llvm-svn: 48637

required to perform this test.

llvm-svn: 48636

llvm-svn: 48621

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.

llvm-svn: 48618

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

llvm-svn: 48599

llvm-svn: 48597