Problem:

In the recently refactored VisitDeref (which processes dereferences), we
were incorrectly skipping the node just generated for the subexpression
of the dereference.  This was a horrible regression.

llvm-svn: 50176

always be taken even if it was not feasible.

llvm-svn: 50132

llvm-svn: 50119

the line we are going to.

llvm-svn: 50113

llvm-svn: 50112

llvm-svn: 50109

Added "nonlval::LValAsInteger" to represent abstract LVals casted to integers, allowing us to track lvals when they are casted back to pointers.

llvm-svn: 50108

them to not be stack-allocated.

HTMLDiagnostics now batches PathDiagnostics before emitting HTML in its dtor.
This is a workaround for a problem when we trampled the Preprocessor state
when highlighting macros (sometimes resulting in an assertion failure).

llvm-svn: 50102

llvm-svn: 50098

llvm-svn: 50091

llvm-svn: 50089

llvm-svn: 50083

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