llvm-svn: 50071

llvm-svn: 50012

llvm-svn: 49959

before.  This allows the HTMLDiagnostic object to retrieve the bug type, bug description, etc.

llvm-svn: 49939

llvm-svn: 49934

can decide the policy on how to cache related bugs.  This allows us to
properly to handle warning about multiple leaks in the same location in the
ref count checker (not yet done).

llvm-svn: 49918

compiler warning introduced by a recent patch of mine.

llvm-svn: 49917

llvm-svn: 49914

from registered BugTypes.  This helps with debugging.

Add detection of NULL values in ref count checker; this suppresses false positives.

llvm-svn: 49912

the checker-specific logic of symbolic assumptions.

llvm-svn: 49910

llvm-svn: 49907

llvm-svn: 49895

llvm-svn: 49894

llvm-svn: 49892

Shuffled around code in CFRefCount to better pair classes with implementation,
and started adding subclasses of RangedBugReport to handle better diagnostics
for reference count bugs.

llvm-svn: 49889

llvm-svn: 49887

EmitPathWarning into one method.  We now properly handle emitting warnings
without a PathDiagnosticClient when the warning does not involve a particular
statement.

llvm-svn: 49884

the exit block of the CFG.

llvm-svn: 49880

llvm-svn: 49879

involving objects that are returned but have an excessive reference count.

llvm-svn: 49861

llvm-svn: 49853

llvm-svn: 49826

llvm-svn: 49824

a node, not the state of the predecessor.

llvm-svn: 49823

Refactored LiveVariables to use getTerminatorCondition() in VisitTerminator().

Bug fix: CFG now computes Block-level expression numbers using information
from block terminators.  This fixes <rdar://problem/5868189>.

llvm-svn: 49818

represent possible stores to "Unknown."

llvm-svn: 49811

llvm-svn: 49805

llvm-svn: 49804

to the plug-in GRTransferFuncs object.

llvm-svn: 49801

are referenced by CFGBlock terminators.

llvm-svn: 49798

two worklists: for nodes whose locations are block edges with loop terminators
and another for nodes with all other locations.  We only dequeue from the loop
worklist when the other is empty.  Exploration of the graph is still in
reverse-BFS.

llvm-svn: 49791

llvm-svn: 49771

llvm-svn: 49763

llvm-svn: 49756

to start logically organizing them.

Added initial plug-in transfer function support for Objective-C message expressions.

llvm-svn: 49752

as before r49748 (where BlockVarDecl was removed).

llvm-svn: 49749

Remove FileVarDecl and BlockVarDecl. They are replaced by VarDecl::isBlockVarDecl() and VarDecl::isFileVarDecl().

This is a fairly mechanical/large change. As a result, I avoided making any changes/simplifications that weren't directly related. I did break two Analysis tests. I also have a couple FIXME's in UninitializedValues.cpp. Ted, can you take a look? If the bug isn't obvious, I am happy to dig in and fix it (since I broke it).

llvm-svn: 49748

Fix bug in terminator processing for uninitialized-values: simply ignore the terminator, don't reprocess it.

LiveVariables analysis now does a flow-insensitive analysis to determine what variables have their address taken; these variables are now always treated as being live.

The DataflowSolver now uses "SetTopValue()" when getting the initial value for the entry/exit block.

llvm-svn: 49734

llvm-svn: 49727

llvm-svn: 49711