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

1. Sinking would crash when the first instruction of a block was
   sunk due to iterator problems.
2. Instructions could be sunk to their current block, causing an
   infinite loop.

This fixes PR3968

llvm-svn: 68787

llvm-svn: 68786

bad case instead of actually assert.  Bug pointed out by Jakob Stoklund 
Olesen!

llvm-svn: 68785

llvm-svn: 68784

llvm-svn: 68783

llvm-svn: 68782

llvm-svn: 68781

With this we generate

movl    %gs:0, %eax
leal    i@NTPOFF(%eax), %eax

instead of

movl    $i@NTPOFF, %eax
addl    %gs:0, %eax

llvm-svn: 68778

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

namespace llvm already.

llvm-svn: 68774

llvm-svn: 68773

llvm::PointerType::get().  Patch by Anders Johnsen!

llvm-svn: 68772

llvm-svn: 68771

llvm-svn: 68770

llvm-svn: 68769

pointers, taking into account the size of the pointed-to object.
Patch by Jeffrey Yasskin!

llvm-svn: 68768

llvm-svn: 68767

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

It turns out that there are still several problems with this, will file a bugzilla.

llvm-svn: 68749

llvm-svn: 68747

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

llvm-svn: 68745

code that uses it by using SelectionDAG::getVTList instead.

llvm-svn: 68744

real need for it to be short.

llvm-svn: 68742