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

llvm-svn: 45905

extern "C" in C++ mode.  Patch by Mike Stump!

llvm-svn: 45904

the inliner pass.  Patch by Robert Zeh.

llvm-svn: 45903

llvm-svn: 45902

verify that the source range corresponds to the current file, not
just the current line.  This allows us to emit:

a.c:1:44: error: invalid operands to binary expression ('double' and 'int *')
double a; int *b; void f(void) { int c = a +
                                         ~ ^

instead of:

a.c:1:44: error: invalid operands to binary expression ('double' and 'int *')
double a; int *b; void f(void) { int c = a +
~                                        ~ ^

for PR1906 (note the leading ~).

Thanks to Neil for noticing this.

llvm-svn: 45901

llvm-svn: 45900

llvm-svn: 45899

llvm-svn: 45898

ByVal arguments are passed on stack. Make sure to allocate a slot using size and alignment information on the parameter attribute.

llvm-svn: 45897

llvm-svn: 45896