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

llvm-svn: 68659

llvm-svn: 68652

llvm-svn: 68646

llvm-svn: 68640

llvm-svn: 68639

llvm-svn: 68635

llvm-svn: 68634

used as receiver.

llvm-svn: 68631

llvm-svn: 68630

Enhance analyzer reasoning about sending messages to nil.  A nil receiver returns 0 for scalars of size <= sizeof(void*).

llvm-svn: 68629