remaining open issues I've communicated to him:

1) self can be assigned to, and his patch didn't handle it correctly.
2) CollectObjCIvarTypes is N^2 (because each subclass reprocesses
   all parent class ivars) and flattens classes.  If A derives from B, 
   and both have an int, I'd expect to get { {i32}, i32}, not { i32, i32}.

David, please review.

llvm-svn: 48970

etoile runtime, patch by David Chisnall!

llvm-svn: 48969

llvm-svn: 48926

llvm-svn: 48924

Added skeleton checking for NSString's method initWithFormat: (do not pass nil).  This won't be useful in most cases right now
because the analyzer isn't tracking expected types for an object, and [NSString alloc] just runs "id".

llvm-svn: 48917

Fix a couple bozo bugs in the rewriter.

llvm-svn: 48903

llvm-svn: 48899

llvm-svn: 48898

Added test case to test warning about passing 'nil' to NSString's compare: method.

llvm-svn: 48896

llvm-svn: 48895

llvm-svn: 48891

Bug fix in EscapeText (for std::string) where spaces were not properly emitted.

llvm-svn: 48889

For HTMLDiagnostics, when emitting the name of the directory, substitute the current working directory for "."

llvm-svn: 48888

llvm-svn: 48887

llvm-svn: 48886

llvm-svn: 48885

llvm-svn: 48884

llvm-svn: 48882

llvm-svn: 48870

llvm-svn: 48869

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

llvm-svn: 48868

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