attached testcase.

llvm-svn: 68712

llvm-svn: 68711

 - PR3964.

llvm-svn: 68710

"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

we're not testing out-of-date code.  This also makes "make check" and
"make unittests" work out-of-the box right after the configure step, without
requiring the user to run "make tools-only" or "make libs-only".

Tested on Linux/x86_64 and Darwin/x86.

llvm-svn: 68708

llvm-svn: 68707

Arguments to indirect calls were being passed incorrectly. They are not fixed to start after return value.

llvm-svn: 68705

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

llvm-svn: 68687

sending a message to a nil receiver.

llvm-svn: 68686

to eliminate the use of loc::SymbolVal.

llvm-svn: 68685

llvm-svn: 68684

of messages sent to nil.

llvm-svn: 68683

llvm-svn: 68680

nil receivers in message expressions.

llvm-svn: 68672

r68576 unconverd a bug in PIC16 port (Thanks to Dan Gohman) where we were custom lowering an ADD to ADDC.

llvm-svn: 68671

in addition to ZERO_EXTEND and SIGN_EXTEND. Fix a bug in the
way it checked for live-out values, and simplify the way it
find users by using SDNode::use_iterator's (relatively) new
features. Also, make it slightly more permissive on targets
with free truncates.

In SelectionDAGBuild, avoid creating ANY_EXTEND nodes that are
larger than necessary. If the target's SwitchAmountTy has
enough bits, use it. This exposes the truncate to optimization
early, enabling more optimizations.

llvm-svn: 68670

Convert TargetRegisterInfo's super-register checking to use a pre-computed hash table just like subregister checking does.

llvm-svn: 68669

llvm-svn: 68668

eagerly. This helps avoid CopyToReg nodes in some cases where they
aren't needed, and also helps subsequent optimizer heuristics
in cases where the extra nodes would cause the node to appear
to have multiple results. This doesn't have a significant impact
currently; it'll help an upcoming change.

llvm-svn: 68667

llvm-svn: 68666

 - Otherwise paths will be resolved relative to the main input file,
   which is incorrect.

 - I don't know how to make a reasonable test case for this with our
   testing infrastructure.

 - PR3395

llvm-svn: 68665

llvm-svn: 68664

llvm-svn: 68663

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