however, can still be manipulated through the returned Stmt*.

llvm-svn: 45990

Make sure Sema::GetTypeForDeclarator() deals with abstract declarators when diagnosing incorrect code.

Bug submitted by Eli.

llvm-svn: 45989

llvm-svn: 45986

of a block.

llvm-svn: 45984

llvm-svn: 45977

Bug submitted by Eli.

llvm-svn: 45976

Fix crasher when redefining functions. Not 100% pleased with this solution, but it is clearly an improvement. Will discuss with Chris later.

llvm-svn: 45975

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

#include<iostream>.

Patch provided by Sam Bishop.

llvm-svn: 45962

Revert r45951, Chris says it violates the C99 spec.

llvm-svn: 45961

llvm-svn: 45957

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

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

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: 45915

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

Eli Friedman!

llvm-svn: 45906

llvm-svn: 45905

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

llvm-svn: 45904

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

Do not use std::cerr; use llvm::cerr instead.

Patch provided by Sam Bishop!

llvm-svn: 45880

of ProgramPoint.

llvm-svn: 45866

llvm-svn: 45847

to have a much simpler, cleaner interpretation of what is a "location"
in a function (as encoded by a CFG).

llvm-svn: 45846