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

llvm-svn: 68769

llvm-svn: 68764

llvm-svn: 68763

llvm-svn: 68762

llvm-svn: 68761

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

- Pull SVal::GetConjuredSymbol() and friends into ValueManager. This greatly
simplifies the calling interface to clients.

llvm-svn: 68731

llvm-svn: 68729

No functionality change (really).

llvm-svn: 68726

llvm-svn: 68725

StoredDeclsMap, instead of using the it's-an-array-or-its-a-map
trick. I'll verify that performance isn't impacted later; for now, I
need the common representation.

llvm-svn: 68715

llvm-svn: 68711

"manager of symbolic values", wrapping BasicValueFactory, SymbolManager, and
MemRegionManager. While these individual managers nicely separate functionality
in the analyzer, constructing symbolic values can sometimes be cumbersome
because it requires using multiple managers at once. The goal of this class is
to create some factory methods to create SVals that require the use of these
different managers, thus (hopefully) simplifying the analyzer API for clients.

llvm-svn: 68709

llvm-svn: 68703

llvm-svn: 68701

llvm-svn: 68700

llvm-svn: 68699

llvm-svn: 68698

llvm-svn: 68697

llvm-svn: 68696

llvm-svn: 68695

llvm-svn: 68694

llvm-svn: 68693

type of the expression where we create the symbol.

llvm-svn: 68692

llvm-svn: 68691

llvm-svn: 68687

sending a message to a nil receiver.

llvm-svn: 68686

to eliminate the use of loc::SymbolVal.

llvm-svn: 68685

of messages sent to nil.

llvm-svn: 68683

llvm-svn: 68680

nil receivers in message expressions.

llvm-svn: 68672

llvm-svn: 68661

up adding them twice when running with -no-integrated-cpp or
-save-temps.
 - <rdar://problem/6766636> -save-temps falls over with prefix headers

llvm-svn: 68660