This fixes a crash reported by Seo Sanghyeon

llvm-svn: 45778

llvm-svn: 45777

llvm-svn: 45776

llvm-svn: 45771

llvm-svn: 45769

llvm-svn: 45767

Teach Expr::isConstantExpr() about CompoundLiterals.

llvm-svn: 45764

llvm-svn: 45763

llvm-svn: 45760

llvm-svn: 45750

llvm-svn: 45749

constant propagation analysis.

llvm-svn: 45747

llvm-svn: 45735

Fix Sema::CheckConditionalOperands(). The null pointer constant checks need to precede the check for two pointer operands. 

llvm-svn: 45732

llvm-svn: 45730

llvm-svn: 45729

llvm-svn: 45728

llvm-svn: 45724

creates the initial root node from the constructor of ReachabilityEngine to
ReachabilityEngine::ExecuteWorklist.

llvm-svn: 45722

llvm-svn: 45721

are canonical. Asst in interfaceTypesAreCompatible if they are not.

llvm-svn: 45717

incorrectly apply the multiple include optimization to files with 
guards like:

#if !defined(x) MACRO

where MACRO could expand to different things in different contexts.
Thanks Neil!

llvm-svn: 45716

some naming inconsistencies in the names of classes pertaining to Objective-C
support in clang.

llvm-svn: 45715

llvm-svn: 45713

  ExplodedNode, ExplodedGraph  (to match the vocabulary in the RHS paper)
  ReachabilityEngine
  
The implementation of the core of the path-sensitive dataflow solver has
been de-templatized and places in ReachabilityEngine.cpp.

The solver is still incomplete.

llvm-svn: 45711

are now emitted in a batch, which reduces the metadata overhead in the
serialized bitcode.

llvm-svn: 45710

objc object type.

llvm-svn: 45709

llvm-svn: 45708

llvm-svn: 45706

llvm-svn: 45682

llvm-svn: 45666

llvm-svn: 45665

pretty print the type name for void.

llvm-svn: 45664

in a foreach-statement which is illegal (but not yet caught) .

llvm-svn: 45615

with the rest of the Objective-C serialization code.

llvm-svn: 45609

llvm-svn: 45604

llvm-svn: 45602

llvm-svn: 45601

it explicitly for vectors.  This allows us to unnest some code.

llvm-svn: 45600

stripping down to canonical types early.

llvm-svn: 45599