llvm-svn: 45972

llvm-svn: 45971

llvm-svn: 45970

llvm-svn: 45969

serializing the subexpression (Init), as this results in a more efficient
encoding in the bitstream.

llvm-svn: 45967

Record if a compound literal expression is @ file scope. This allows us to implement C99 6.5.2.5p6. This could have been done without modifying the AST (by checking the decl type and passing the info down to isContextExpr), however we concluded this is more desirable.

Bug/patch by Eli Friedman!

llvm-svn: 45966

llvm-svn: 45965

llvm-svn: 45964

#include<iostream>.

Patch provided by Sam Bishop.

llvm-svn: 45962

Revert r45951, Chris says it violates the C99 spec.

llvm-svn: 45961

llvm-svn: 45960

types with no size.

llvm-svn: 45959

llvm-svn: 45957

llvm-svn: 45956

an instruction kills a register or not.  This is cheap and 
easy to do now that instructions record this on their flags,
and this eliminates the second pass of LiveVariables from the
x86 backend.  This speeds up a release llc by ~2.5%.

llvm-svn: 45955

llvm-svn: 45954

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