llvm-svn: 48885

llvm-svn: 48884

llvm-svn: 48882

llvm-svn: 48881

llvm-svn: 48874

llvm-svn: 48873

called LimitedSumOfUnscheduledPredsOfSuccs. It terminates the computation
after a given treshold is reached. This new function is always faster, but
brings real wins only on bigger test-cases.

The old function SumOfUnscheduledPredsOfSuccs is left in-place for now and therefore a warning about an unused static function is produced.

llvm-svn: 48872

llvm-svn: 48871

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

null.  This means that uses of invalidated iterators will explode violently
with:
ilist:143: failed assertion `NodePtr && "++'d off the end of an ilist!"'

instead of happening to work "most of the time".

llvm-svn: 48859

llvm-svn: 48858

llvm-svn: 48856

llvm-svn: 48855

llvm-svn: 48854

llvm-svn: 48853

llvm-svn: 48851

llvm-svn: 48849

be relocatable.  Describe why .set is needed better.

llvm-svn: 48848

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

llvm-svn: 48843

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

llvm-svn: 48842

llvm-svn: 48841

llvm-svn: 48840

llvm-svn: 48837

Avoid commuting a def MI in order to coalesce a copy instruction away if any use of the same val# is a copy instruction that has already been coalesced.

llvm-svn: 48833

LLVM Value/Use does and MachineRegisterInfo/MachineOperand does.
This allows constant time for all uses list maintenance operations.

The idea was suggested by Chris. Reviewed by Evan and Dan.
Patch is tested and approved by Dan.

On normal use-cases compilation speed is not affected. On very big basic
blocks there are compilation speedups in the range of 15-20% or even better. 

llvm-svn: 48822

llvm-svn: 48819