llvm-svn: 57104

llvm-svn: 57103

llvm-svn: 57102

llvm-svn: 57101

 - Print size as number of elements times "sizeof(elt type)", not
   perfect but better than just printing the completely wrong type.

llvm-svn: 57100

 - vec_set_v4hi had "v4s" in place of "V4s"

llvm-svn: 57099

 - cmp instructions return int
 - storedqu had bad const qualifier
 - pmuldq128 used invalid type code

llvm-svn: 57098

llvm-svn: 57094

llvm-svn: 57093

 - This pushes us over 80% coverage of executable LOC.

llvm-svn: 57092

llvm-svn: 57090

 - Hit debug info generation.
 - Hit both ObjC runtimes.

llvm-svn: 57088

llvm-svn: 57087

llvm-svn: 57086

llvm-svn: 57085

'ParseTentative.cpp' implements the functionality needed to resolve ambiguous C++ statements, to either a declaration or an expression, by "tentatively parsing" them.

llvm-svn: 57084

Create a function, eliminating some redundancy between SynthesizeBlockInitExpr() and SynthesizeBlockLiterals().

llvm-svn: 57083

llvm-svn: 57082

 - AST printing, dumping, serialization, codegen.
 - HTML printing.
 - Parser callbacks.

Several of these are XFAIL because they trigger unimplemented code.

llvm-svn: 57081

llvm-svn: 57080

 - It would probably be better if TestRunner.sh canonicalized this.

llvm-svn: 57075

llvm-svn: 57072

 - env-include-paths.c is XFAIL as it exposed a bug.

Add test/Coverage.
 - For tests which achieve code coverage but don't validate anything.

llvm-svn: 57070

llvm-svn: 57069

llvm-svn: 57068

up.  Speculatularly hacktastic, but strangely beautiful?
Daniel, lines 20/21 are rejected, please investigate.

llvm-svn: 57067

 - Uses Action::ActOnPragmaPack
 - Test case is XFAIL pending verifier fixes.

llvm-svn: 57066

 - No functionality change.

llvm-svn: 57065

llvm-svn: 57063

This code was "lost" with my recent changes to SynthesizeBlockFunc.

llvm-svn: 57056

llvm-svn: 57055

Cut/paste error...need to use the expression "name" for member references (or other complex expressions that can embed a block pointer type)

llvm-svn: 57054

llvm-svn: 57053

Reworked control flow to:
- rewrite the block expr body "in place".
- used Chris's new rewriter hook "getRewritenText" to "lift" the text for later use.
- finally, we do the block expr text replacement.

llvm-svn: 57052

llvm-svn: 57045

This is a big patch, but the functionality change is small and the rest of the patch consists of deltas due to API changes.

This patch overhauls the "memory region" abstraction that was prototyped (but never really used) as part of the Store.h.  This patch adds MemRegion.h and MemRegion.cpp, which defines the class MemRegion and its subclasses.  This classes serve to define an abstract representation of memory, with regions being layered on other regions to to capture the relationships between fields and variables, variables and the address space they are allocated in, and so on.  

The main motivation of this patch is that key parts of the analyzer assumed that all value bindings were to VarDecls.  In the future this won't be the case, and this patch removes lval::DeclVal and replaces it with lval::MemRegionVal.  Now all pieces of the analyzer must reason about abstract memory blocks instead of just variables.

There should be no functionality change from this patch, but it opens the door for significant improvements to the analyzer such as field-sensitivity and object-sensitivity, both which were on hold until the memory abstraction got generalized.

The memory region abstraction also allows type-information to literally be affixed to a memory region.  This will allow the some now redundant logic to be removed from the retain/release checker.

llvm-svn: 57042

llvm-svn: 57041

llvm-svn: 57038

that includes any edits in the range.

llvm-svn: 57037

llvm-svn: 57036