llvm-svn: 45953

proto and function type without proto.  It would never call 
'functionTypesAreCompatible' because they have different type classes.

llvm-svn: 45952

Rewrite Expr::isNullPointerConstant() to deal with multiple levels of explicit casts.

Now, isNullPointerConstant() will return true for the following: "(void*)(double*)0"

llvm-svn: 45951

llvm-svn: 45950

byval work.  This miscompilation is due to the program indexing an array out
of range and us doing a transformation that broke this.

llvm-svn: 45949

llvm-svn: 45948

difficult to understand the invariants.

llvm-svn: 45947

easier to show that its safe.  No functionality change.

llvm-svn: 45946

a load/store of i64.  The later prevents promotion/scalarrepl of the
source and dest in many cases.

This fixes the 300% performance regression of the byval stuff on 
stepanov_v1p2.

llvm-svn: 45945

method, no functionality change.

llvm-svn: 45944

greater than memcpy alignment, and if we lower to load/store, use the best 
alignment info we have.

llvm-svn: 45943

make memmove->memcpy conversion a bit simpler.

llvm-svn: 45942

llvm-svn: 45940

a pointer to a struct.

llvm-svn: 45939

a size, not just structs.

llvm-svn: 45938

realize that ne & sgt  was a signed comparison (it was only 
looking at whether the left compare was signed).

llvm-svn: 45937

static chains.

llvm-svn: 45936

Remove diagnostics from Sema::CheckIndirectionOperand(). C89/C99 allow dereferencing an incomplete type. clang appears to be emulating some incorrect gcc behavior (see below).

void
foo (void)
{
 struct b;
 struct b* x = 0;
 struct b* y = &*x; // gcc produces an error ("dereferencing pointer to incomplete type")
}

With this patch, the above is now allowed.

Bug/Patch by Eli Friedman!

llvm-svn: 45933

llvm-svn: 45932

if this becomes a varargs call then deal correctly with any
parameter attributes on the newly vararg call arguments.

llvm-svn: 45931

parent class ExplodedGraphImpl.

llvm-svn: 45930

llvm-svn: 45929

ExplodedNodeImpl::NodeGroup from being defined inline to being defined
"out-of-line" in ExplodedGraph.cpp. This removes a dependence on including
<vector> in ExplodedGraph.h, and will hopefully result in smaller generated code
with negligible performance impact.

llvm-svn: 45928

'NodeGroup.'

llvm-svn: 45927

llvm-svn: 45926

the methods of CFGBlock.

llvm-svn: 45925

llvm-svn: 45924

llvm-svn: 45923

only be used in the context of the ExplodedGraph class.

llvm-svn: 45922

to optimize for the common case of having a single predecessor and a single
successor.

llvm-svn: 45921

llvm-svn: 45918

llvm-svn: 45917

llvm-svn: 45915

llvm-svn: 45914

llvm-svn: 45913

inlining a function if we know that the function does not write
to *any* memory.  This implements test/Transforms/Inline/byval2.ll

llvm-svn: 45912

llvm-svn: 45911

of const char, and it should error if it occurs outside a function.

Is it valid in an objc method?  If so we should handle that too.

llvm-svn: 45910

allowed on the vararg arguments of a call.

llvm-svn: 45909

Eli Friedman!

llvm-svn: 45906