llvm-svn: 50549

Replace Sema::CheckInitializerListTypes() with a helper class (InitListChecker) that synthesizes implicit InitListExpr's when appropriate (see InitListExpr comments in Expr.h for more details). I also moved the code to SemaInit.cpp, to help reduce clutter in SemaDecl.cpp.

NOTE: This work is incomplete and still fails many tests (as a result, it isn't enabled yet). Nevertheless, I wanted to check it in so I can work on it from home.
llvm-svn: 50544

llvm-svn: 50542

Correctly invalidate reference count state when passing objects by reference in message expressions we don't understand.

llvm-svn: 50541

Implicitly defined functions were getting the DeclContext of the function where they appeared, causing the bug: http://llvm.org/bugs/show_bug.cgi?id=2266.
Fix it by making implicitly defined functions get the DeclContext of translation unit.

llvm-svn: 50538

Added temporary fix for Obj-C exception handling in the static analyzer: treat these as panic functions.

llvm-svn: 50535

llvm-svn: 50533

llvm-svn: 50532

llvm-svn: 50530

Use pointer swizziling to unify in ObjCMessageExpr the receiver and classname "fields".  This saves us a pointer.
Implemented serialization for ObjCMessageExpr.

llvm-svn: 50528

should catch this one easily.

llvm-svn: 50526

lval passed as an argument.

Fix: Inverted diagnostic messages.
llvm-svn: 50513

llvm-svn: 50512

Extend InitListExpr API/IMPL to support arbitrary add/remove (in support of the initializer rewrite I am doing).

llvm-svn: 50511

llvm-svn: 50508

a CF memory leak occurred with GC enabled, etc.

llvm-svn: 50507

llvm-svn: 50503

llvm-svn: 50502

llvm-svn: 50500

Provide SizeOfAlignTypeExpr workaround in the static analyzer for taking the sizeof of a ObjCInterfaceType.

llvm-svn: 50499

llvm-svn: 50498

llvm-svn: 50497

llvm-svn: 50494

llvm-svn: 50493

Add db_error as panic function.

llvm-svn: 50489

llvm-svn: 50486

llvm-svn: 50485

llvm-svn: 50484

llvm-svn: 50466

llvm-svn: 50458

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

llvm-svn: 50395

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

llvm-svn: 50394

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