llvm-svn: 46629

llvm-svn: 46627

llvm-svn: 46626

llvm-svn: 46624

rewriter more robust.

llvm-svn: 46622

fixes crashes where the insertion point was in a macro.  Instead of crashing, we want
to emit a warning.

llvm-svn: 46621

llvm-svn: 46620

Add a RewriteTest::ReplaceStmt method to factor the 'checking for
rewrite failed + emitting diagnostic if so' code.

llvm-svn: 46619

Moved ValueKey/ValueMap declaration to ValueState.h.

llvm-svn: 46618

Fix http://llvm.org/bugs/show_bug.cgi?id=1967.

llvm-svn: 46616

llvm-svn: 46613

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