Fix PR 7475 by enhancing the static analyzer to also invalidate bindings for non-static global variables
when calling a function/method whose impact on global variables we cannot accurately estimate.
This change introduces two new MemSpaceRegions that divide up the memory space of globals, and causes
RegionStore and BasicStore to consult a binding to the NonStaticGlobalsMemSpaceRegion when lazily
determining the value of a global.

llvm-svn: 107423

Add an ivar to SymbolReaper for the current statement, and then stop passing the current statement around everywhere. Preparation for symbolic extents.

llvm-svn: 107422

llvm-svn: 107421

make it more aggressive in cases where both pointers are known to live
in the same function.

llvm-svn: 107420

an expression, adding code to put the value of the
last expression (if there is one) into a variable
and write the address of that variable to a global
pointer.

llvm-svn: 107419

Spencer!

llvm-svn: 107418

llvm-svn: 107417

such a way that debug info for symbols preserved even if symbols are
optimized away by the optimizer. 

Add new special pass to remove debug info for such symbols.

llvm-svn: 107416

method. No functionality change.

llvm-svn: 107415

llvm-svn: 107414

llvm-svn: 107413

llvm-svn: 107412

and multi-dimensional array fields. Fixes several bugs found by
inspection.

llvm-svn: 107411

llvm-svn: 107410

llvm-svn: 107409

Correction to previous commit which mistakenly included older versions of some files; now includes the correct LLVM license header

llvm-svn: 107408

separate function. Aside from making the loops infinitely faster, no
functionality change.

llvm-svn: 107407

copy-assignment operator.

llvm-svn: 107406

Add AVX SSE3 packed horizontal and & sub instructions

llvm-svn: 107405

llvm-svn: 107404

Did a bit of code formatting and cleanup.

llvm-svn: 107403

into a separate routine. No functionality change.

llvm-svn: 107402

llvm-svn: 107400

llvm-svn: 107399

llvm-svn: 107398

to update their code to high-level interfaces

If you get compile errors in your project
please update your code according to the
comments.

llvm-svn: 107396

llvm-svn: 107395

CXXRecordDecl::getDestructor(); no functionality change.

llvm-svn: 107394

llvm-svn: 107393

reformulate CallSiteBase::getCallee to adapt to CallInst::ArgOffset, and make it work even if CallInst::op_* are private

llvm-svn: 107392

reformulate CallSite::getCallee to adapt to CallInst::ArgOffset, and make it work even if CallInst::op_* are private

llvm-svn: 107390

llvm-svn: 107388

llvm-svn: 107387

Left some and added some print statements for debugging purpose.

llvm-svn: 107386

aren't dropping all exception specifications on destructors, the
exception specifications on implicitly-declared destructors were
detected as being wrong (which they were). 

Introduce logic to provide a proper exception-specification for
implicitly-declared destructors. This also fixes PR6972.

Note that the other implicitly-declared special member functions also
need to get exception-specifications. I'll deal with that in a
subsequent commit.

llvm-svn: 107385

doing the work manually.

llvm-svn: 107384

from a Value to a Type, because it doesn't actually care about
the Value.

llvm-svn: 107383

llvm-svn: 107382

llvm-svn: 107381

available in a register. This is pretty primitive, but it reduces the
number of instructions in common testcases by 4%.

llvm-svn: 107380