llvm-svn: 112828

llvm-svn: 112826

after regalloc.

llvm-svn: 112825

llvm-svn: 112824

complains when the element type of a C++ "delete" expression is
different from what we would expect from the pointer type. When
deleting a bool*, we end up with an i1 on one side (where we compute
the LLVM type from the Clang bool type) and i8 on the other (where we
grab the LLVM type from the LLVM pointer type). I've weakened the
assertion appropriately, and the Boost Parallel Graph Library now
passes its regression tests.

llvm-svn: 112821

llvm-svn: 112820

constructing an LLVM PointerType directly from the "bool"'s LLVM type
(i1), which resulted in unfortunate pointer type i1*. The fix is to
build the LLVM PointerType from the corresponding Clang PointerType,
so that we get i8* in the case of a bool. 

John, please review. I also left a FIXME there because we seem to be
dropping "volatile", which would be rather unfortunate.

llvm-svn: 112819

llvm-svn: 112818

llvm-svn: 112816

llvm-svn: 112815

implement ARM array cookies.  Also fix a few unfortunate bugs:
  - throwing dtors in deletes prevented the allocation from being deleted
  - adding the cookie to the new[] size was not being considered for
    overflow (and, more seriously, was screwing up the earlier checks)
  - deleting an array via a pointer to array of class type was not
    causing any destructors to be run and was passing the unadjusted
    pointer to the deallocator
  - lots of address-space problems, in case anyone wants to support
    free store in a variant address space :)

llvm-svn: 112814

in a comment.

llvm-svn: 112813

and there seems to be no reason not to.

llvm-svn: 112812

Added support for register allocators to record which intervals are spill intervals, and where the uses and defs of the original intervals were in the original code.

Spill intervals can be hidden using the "-rmf-intervals=virt-nospills*" option.

llvm-svn: 112811

I'm sure it is harmless.  Original commit message:
If PrototypeValue is erased in the middle of using the SSAUpdator
then the SSAUpdator may access freed memory.  Instead, simply pass
in the type and name explicitly, which is all that was used anyway.

llvm-svn: 112810

llvm-svn: 112809

llvm-svn: 112808

llvm-svn: 112807

llvm-svn: 112806

llvm-svn: 112805

llvm-svn: 112804

bugpoint uses it.

llvm-svn: 112803

llvm-svn: 112802

Win32 codegen emits implicit invoking __main into, to fail.

llvm-svn: 112801

function statics, file globals and static variables) that a frame contains. 
The StackFrame objects can give out ValueObjects instances for
each variable which allows us to track when a variable changes and doesn't
depend on variable names when getting value objects.

StackFrame::GetVariableList now takes a boolean to indicate if we want to
get the frame compile unit globals and static variables.

The value objects in the stack frames can now correctly track when they have
been modified. There are a few more tweaks needed to complete this work. The
biggest issue is when stepping creates partial stacks (just frame zero usually)
and causes previous stack frames not to match up with the current stack frames
because the previous frames only has frame zero. We don't really want to 
require that all previous frames be complete since stepping often must check
stack frames to complete their jobs. I will fix this issue tomorrow.

llvm-svn: 112800

llvm-svn: 112799

I don't need to implement this quite yet - and not for ConstantInt anyhow.

llvm-svn: 112798

llvm-svn: 112797

llvm-svn: 112796

llvm-svn: 112795

index constraints in this case.

llvm-svn: 112794

llvm-svn: 112793

Enhance return-stack-address check (in Sema) to handle fields that themselves are references.  (Fixes PR 7999; fix by Chandler Carruth).

llvm-svn: 112792

llvm-svn: 112791

llvm-svn: 112790

For GRExprEngine::EvalBind() (and called visitors), unifiy StoreE and AssignE.  Now StoreE (const Stmt*) represents the expression where the store took place, which is the assignment expression if it takes place in an assignment.  This removes some conceptual dissidence as well as removes an extra parameter from the Checker::PreVisitBind() visitor.  It also improves ranges and source location information in analyzer diagnostics.

llvm-svn: 112789

into the "address selection" routine and handle constant materialization
for stores.

llvm-svn: 112788

llvm-svn: 112787

Fixes a warning when compiling Clang (Sema has virtual methods but a non-virtual dtor).  Reviewed by chandlerc and nlewycky.

llvm-svn: 112786

expressions.  If an expression dereferences an
invalid pointer, there will still be a crash -
just now the crash will be in the function
___clang_valid_pointer_check().

llvm-svn: 112785