etoile runtime, patch by David Chisnall!

llvm-svn: 48969

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

llvm-svn: 48898

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

llvm-svn: 48896

llvm-svn: 48895

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

llvm-svn: 48889

llvm-svn: 48886

llvm-svn: 48884

llvm-svn: 48869

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

PathDiagnostic no longer contains a diagnostic ID or diagnostic level.

llvm-svn: 48864

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

llvm-svn: 48861

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

llvm-svn: 48846

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

the future, RecordTypes.

llvm-svn: 48784

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

for message bubbles.

llvm-svn: 48754

llvm-svn: 48741

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: 48659

expanded token" case.

llvm-svn: 48637

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

llvm-svn: 48572

llvm-svn: 48571

llvm-svn: 48568

llvm-svn: 48563

llvm-svn: 48557

better div positioning for messages.

llvm-svn: 48555

llvm-svn: 48540

llvm-svn: 48537

llvm-svn: 48535

llvm-svn: 48534

pretty-printing of line numbers.

llvm-svn: 48533

llvm-svn: 48525