Cleanup previous patch (based on feedback from Ted).

Since this behavior is useful for most classes, we might consider adding a simple 3 method class that implements the behavior. Ted said that Boost has such a class.

llvm-svn: 46654

Make sure SourceManager/HeaderSearch don't support default copy constructors (since they result in bad runtime behavior).

I'm sure there are other classes that might need this "guard", however I was bitten by these 2 recently (so I thought I'd fix them).

llvm-svn: 46653

llvm-svn: 46652

llvm-svn: 46651

Rename diagnostic to reflect it's role...

llvm-svn: 46650

Minor API cleanup...

llvm-svn: 46649

Remove temporary workaround (thanks to Ted for fixing ObjCAtCatchStmt so quickly:-).

llvm-svn: 46648

and put the the next ObjcAtCatchStmt* as part of SubExprs.  This fixes a bug with
iterating over the children of ObjcAtCatch, where the next @catch was not
properly being iterated over as a child.

Altered serialization of ObjCAtCatchStmt to reflect this new layout of
its subexpressions, and fixed an ownership issue with the next @catch not
being serialized as an owned pointer.

llvm-svn: 46647

Fix two rewriter bugs with @catch.

- Support @catch(...), rather than crash:-)
- Make sure all catch bodies get rewritten. This "fix" is really a workaround until the iterator for the "try" AST is fixed. Will fix this in a separate commit.

llvm-svn: 46644

llvm-svn: 46640

llvm-svn: 46639

llvm-svn: 46638

It is allowed to get the address of an array subscript, even if the array has the register qualifier, if the array is really a pointer.

llvm-svn: 46634

Fix Sema::ActOnInstanceMessage to correctly do things in terms of canonical 
types, fixing bogus errors like:

NSDistantObject.m:10383:120: error: bad receiver type 'typeof((id<NSMutableCopying>)self)'
    id mess = ({ id __inv__ = ((void *)0); id __mb__ = _NSMessageBuilder((id <NSMutableCopying>)self, &__inv__); (void)[(__typeof__((id <NSMutableCopying>)self))__mb__ mutableCopyWithZone:((void *)0)]; if (!objc_collecting_enabled()) object_dispose(__mb__); __inv__; });

llvm-svn: 46633

here I fix just one.  The loop that rips through pointers should use
getAsPointerType() not static_cast<PointerType*> to get the pointee.  This
fixes a crash on a large testcase.

llvm-svn: 46632

llvm-svn: 46631

Implemented '==' and '!=' for ConcreteIntLValue.

llvm-svn: 46630

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