highlight the most nested subexpression that appears most responsible (giving
the user better diagnostic feedback).

Updated test cases to illustrate this feature.

Implements: <rdar://problem/5880443>
llvm-svn: 50647

llvm-svn: 50597

llvm-svn: 50588

basic warnings (dead stores, null dereferences) on the first pass.

llvm-svn: 50584

llvm-svn: 50579

llvm-svn: 50557

llvm-svn: 50556

llvm-svn: 50553

llvm-svn: 50549

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

llvm-svn: 50541

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

should catch this one easily.

llvm-svn: 50526

lval passed as an argument.

Fix: Inverted diagnostic messages.
llvm-svn: 50513

llvm-svn: 50512

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

llvm-svn: 50458

llvm-svn: 50453

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

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

llvm-svn: 50310

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