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

llvm-svn: 45845

llvm-svn: 45842

- Teach Expr::isConstantExpr() about InitListExpr's (and offsetof, since I noticed it was missing).
- Rename CheckInitializer() to CheckInitializerTypes().
- Removed the isStatic argument to CheckInitializerTypes() and all of it's subroutines. Checking for constant expressions is now done separately.
- Added CheckForConstantInitializer().

llvm-svn: 45840

llvm-svn: 45839

llvm-svn: 45836

llvm-svn: 45835

llvm-svn: 45834

llvm-svn: 45820

llvm-svn: 45810

llvm-svn: 45809

llvm-svn: 45808

removing them, fitting the file into 80 columns. :)

llvm-svn: 45807

Put return type of synthesize method on same line as method declaration, space after method declaration header.

llvm-svn: 45806

llvm-svn: 45802

llvm-svn: 45794

llvm-svn: 45793

Add a FIXME to commit r45784. Thanks mrs!

llvm-svn: 45790

Fix Sema::ActOnDeclarator() to call MergeFunctionDecl for function decls that aren't in scope. Since C functions are in a flat namespace, we need to give them special treatment (when compared with variables and typedefs).

llvm-svn: 45789

so that nodes can be marked as representing an infeasible program point. This
flag lets the path-sensitive solver know that no successors should be generated
for such nodes.

llvm-svn: 45788

BExpr*** and ***BExpr respectively. These edges represent program locations
between the entrance/exit of a block and Block-level Expressions.

Also added ***SExpr and SExpr*** ProgramEdges to represent the locations in the
program between the evaluation of subexpressions and block-level expressions.

llvm-svn: 45786

code restructuring.  (new files will be introduced shortly)

llvm-svn: 45785