llvm-svn: 50484

llvm-svn: 50467

llvm-svn: 50466

llvm-svn: 50458

llvm-svn: 50454

llvm-svn: 50453

Patch by Emerson Murhpy-Hill.

llvm-svn: 50452

This removes the failure in null-deref-ps.c (test suite).

llvm-svn: 50449

EvalStore/EvalLoad to handle all loads/stores from symbolic memory, allowing us
to do checks for null dereferences, etc., at any arbitrary load/store (these
were missed checks before). This also resulted in some major cleanups, some
conceptual, and others just in the structure of the code.

This temporarily introduces a regression in the test suite (null-deref-ps.c)
before I add a new LVal type for structure fields.

llvm-svn: 50443

llvm-svn: 50426

llvm-svn: 50396

llvm-svn: 50395

The transfer functions for the checker don't do anything special yet in GC mode.

llvm-svn: 50394

llvm-svn: 50388

Add corresponding enum in LangOptions.

llvm-svn: 50387

std::pair<CFGBlock*, CFGBlock*> that have an 8-byte alignment for use with
ProgramPoint. This fixes a bug reported by Argiris where using std::set<> on
Windows would result in a 4-byte alignment, not an 8-byte alignment.

Fixes: <rdar://problem/5892265>
llvm-svn: 50364

This is the same for functions and it's preferable to have the namespace as DeclContext during ActOnPopScope.

llvm-svn: 50322

-NamespaceDecl for the AST
-Checks for name clashes between namespaces and tag/normal declarations.

This commit doesn't implement proper name lookup for namespaces.

llvm-svn: 50321

llvm-svn: 50320

Make assertions for all addresses passed to ProgramPoint that they have at least an 8-byte alignment.

llvm-svn: 50310

llvm-svn: 50304

llvm-svn: 50299

llvm-svn: 50298

llvm-svn: 50297

empty CFGBlocks that only contained a terminator.

Added improved diagnostics for break and continue statements and default branches in switch statements.

This fixes <rdar://problem/5889244>.

llvm-svn: 50286

llvm-svn: 50283

reimplemented in Sema someday.  This is tracked in PR2236.  Until then
disabling it removes some bogus diagnostics (see 2236).

llvm-svn: 50263

comments on the ML will follow

llvm-svn: 50262

llvm-svn: 50246

llvm-svn: 50245

Don't emit empty strings for path diagnostics when taking the default branch of a switch statement that has no label.

llvm-svn: 50242

Implemented support for better localized leaks in the CF reference count checker.
Now leaks should be flagged close to where they occur.

This should implement the desired functionality in <rdar://problem/5879592>, although the diagnostics still need to be improved.

llvm-svn: 50241

llvm-svn: 50237

llvm-svn: 50234

llvm-svn: 50233

its super class. This patch is incomplete.

llvm-svn: 50228

function logic to act when symbols become dead.

llvm-svn: 50221

for the fix in r50178 (http://llvm.org/viewvc/llvm-project?rev=50178&view=rev).
This fix was for <rdar://problem/5881148>.

llvm-svn: 50220

Added test case for functionality fix in rdar://problem/5886141 (handle variadic CF Create functions).

llvm-svn: 50219

This fixes <rdar://problem/5886141>.

Part of this change resulted in creating sparser summaries.  I also added
some more comments and did some minor code cleanups.

llvm-svn: 50214