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

This allows us to sink things like:
	cvtsi2sd	32(%esp), %xmm1
when reading from the argument area, for example.

llvm-svn: 45895

has no stores between the load and the end of block.  This works 
great and sinks hundreds of stores, but we can't turn it on because
machineinstrs don't have volatility information and we don't want to
sink volatile stores :(

llvm-svn: 45894

llvm-svn: 45893

attributes on the vararg call arguments are also dropped.

llvm-svn: 45892