llvm-svn: 46604

type specifiers.  This required updating some (buggy) tests, and the
testcase was previously accidentally committed.

llvm-svn: 46603

llvm-svn: 46602

llvm-svn: 46601

rewritten, as in Sema/rewrite-foreach-6.m.  Fariborz/Steve,
please review this to see if it is sane.

llvm-svn: 46600

llvm-svn: 46599

(local) aliasing support.

Modified ExplodedGraph pretty-printer (for GRConstants) to also print out the
pointer value of the state associated with a node.  This way one can easily
see that two states are identical.

llvm-svn: 46595

llvm-svn: 46594

Add support for CallExpr::isBuiltinConstantExpr(). For now, this hook is used to support CFConstantStrings. Can be extended to support other built-in functions.

This allows the following code to compile without error...

#include <CoreFoundation/CoreFoundation.h>

#define CONST_STRING_DECL(S, V) const CFStringRef S = (const CFStringRef)__builtin___CFStringMakeConstantString(V);

CONST_STRING_DECL(kCFTimeZoneSystemTimeZoneDidChangeNotification, "kCFTimeZoneSystemTimeZoneDidChangeNotification")

llvm-svn: 46592

Improved pretty-printing of LValues.
Parameters whose values are pointers/references are now assigned SymbolicLValues.

llvm-svn: 46584

Hack Sema::MergeTypeDefDecl() to silently ignore duplicate typedef's in system headers files.

A bizarre, non-standard hook that many compilers appear to implement (sigh:-).

llvm-svn: 46583

worklist until the dstor of GRBranchNodeBuilderImpl. This way clients can mark
creates nodes as "sinks" before they are added to the worklist.

llvm-svn: 46582

constant integers.

llvm-svn: 46581

pretty-print a block's terminator.

When building CFGs, for IfStmts ('if'), we no longer add the ParenExpr
that is the subexpression of the IfStmt to the CFG; instead we add its
first descendant subexpression that is not a ParenExpr.

llvm-svn: 46580

Fix test case and add a FIXME.

llvm-svn: 46577

llvm-svn: 46576

llvm-svn: 46575

On an unexpected @foo keyword, return failure instead of a 'successful' null AST.  This fixes a segfault
on things like @foo.

llvm-svn: 46574

llvm-svn: 46572

llvm-svn: 46570

Abolish a bunch of Xcode inserted tabs.

llvm-svn: 46566

more cleanups with pretty-printing of analysis results.

llvm-svn: 46564

llvm-svn: 46561

one argument.  Lets stuff using pthread.h compile.

llvm-svn: 46559

llvm-svn: 46558

that causes this isn't really correct, but if we're going to accept 
this, it should come up with a consistent AST.

llvm-svn: 46557

when in a register.

llvm-svn: 46552

llvm-svn: 46551

llvm-svn: 46550

know if all of this is exactly right, but it seems like the right thing to
aim for.  Steve, please review.

llvm-svn: 46549

llvm-svn: 46547

codegen of calls to functions without a prototype and varargs functions, 
including printf.

llvm-svn: 46543

Many refinements to Sema::MergeVarDecl(). This routine still needs some re-work to fully handle tentative decls.

This includes a fix to bz1908.

llvm-svn: 46540

auto-propagation of state along a branch.

llvm-svn: 46537

we automatically generate a new successor node along an edge if the checker
did not explicitly do so (i.e., we just propagate the current state).

llvm-svn: 46536

llvm-svn: 46535

llvm-svn: 46534

Rewriting of @synchronized. This has one FIXME in it. But this should allow @sychronized to be rewritten.

llvm-svn: 46533

llvm-svn: 46532

llvm-svn: 46531