llvm-svn: 68817

llvm-svn: 68816

 - Patch by Shantonu Sen (with a minor tweak to split out
   getDarwin{OSX,IPhoneOS}Defines)!

 - <rdar://problem/6776277> Need clang-cc/ccc-analyzer support for
   -miphoneos-version-min

llvm-svn: 68815

llvm-svn: 68814

blocks, so that the outer blocks use it as well.  Radar 6762279

llvm-svn: 68811

in @protocol expression.

llvm-svn: 68806

llvm-svn: 68805

llvm-svn: 68804

llvm-svn: 68803

llvm-svn: 68800

llvm-svn: 68799

llvm-svn: 68798

Note that we don't do anything useful with identifier infos yet
and don't emit the tokens that the macros are defined to.

llvm-svn: 68797

llvm-svn: 68794

cleanup. Aside from a minor tweak to the PCH file format, no
functionality change. 

llvm-svn: 68793

llvm-svn: 68791

llvm-svn: 68790

llvm-svn: 68789

llvm-svn: 68788

llvm-svn: 68782

llvm-svn: 68781

A CodeTextRegion wraps two kinds of data: FunctionDecl* or SymbolRef. 
The latter comes from the symbolic function pointer that are generated from
function calls or input data.

llvm-svn: 68777

llvm-svn: 68773

llvm-svn: 68771

llvm-svn: 68770

llvm-svn: 68769

llvm-svn: 68766

llvm-svn: 68765

llvm-svn: 68764

llvm-svn: 68763

llvm-svn: 68762

llvm-svn: 68761

llvm-svn: 68760

functionality specific to RangeConstraintManager).

llvm-svn: 68759

improvement, source locations read from the PCH file will properly
resolve to the source files that were used to build the PCH file
itself.

Once we have the preprocessor state stored in the PCH file, source
locations that refer to macro instantiations that occur in the PCH
file should have the appropriate instantiation information.

llvm-svn: 68758

Fix: <rdar://problem/6776949> Branch condition evaluates to an uninitialized value (argc is guaranteed to be >= 1)

The analyzer now adds the precondition that the first argument of 'main' is > 0.

llvm-svn: 68757

llvm-svn: 68756

llvm-svn: 68755

clients of the analyzer to designate custom assertion routines as "noreturn"
functions from the analyzer's perspective but not the compiler's.

llvm-svn: 68746

de-serialization of abstract syntax trees.

PCH support serializes the contents of the abstract syntax tree (AST)
to a bitstream. When the PCH file is read, declarations are serialized
as-needed. For example, a declaration of a variable "x" will be
deserialized only when its VarDecl can be found by a client, e.g.,
based on name lookup for "x" or traversing the entire contents of the
owner of "x".

This commit provides the framework for serialization and (lazy)
deserialization, along with support for variable and typedef
declarations (along with several kinds of types). More
declarations/types, along with important auxiliary structures (source
manager, preprocessor, etc.), will follow.

llvm-svn: 68732