disclaim: I know nothing about Python, so apologies in advance if I break something

llvm-svn: 75368

Handle insidious corner case exposed by RegionStoreManager when handling void* values that are bound
to symbolic regions and then treated like integers.

llvm-svn: 75356

llvm-svn: 75329

llvm-svn: 75327

llvm-svn: 75324

Implement more of C++0x 'auto'. A variable with an auto type specifier must have an initializer. Also, move some tests around to match the C++0x draft better.

llvm-svn: 75322

llvm-svn: 75318

llvm-svn: 75316

The idea is to segregate Objective-C "object" pointers from general C pointers (utilizing the recently added ObjCObjectPointerType). The fun starts in Sema::GetTypeForDeclarator(), where "SomeInterface *" is now represented by a single AST node (rather than a PointerType whose Pointee is an ObjCInterfaceType). Since a significant amount of code assumed ObjC object pointers where based on C pointers/structs, this patch is very tedious. It should also explain why it is hard to accomplish this in smaller, self-contained patches.

This patch does most of the "heavy lifting" related to moving from PointerType->ObjCObjectPointerType. It doesn't include all potential "cleanups". The good news is additional cleanups can be done later (some are noted in the code). This patch is so large that I didn't want to include any changes that are purely aesthetic.

By making the ObjC types truly built-in, they are much easier to work with (and require fewer "hacks"). For example, there is no need for ASTContext::isObjCIdStructType() or ASTContext::isObjCClassStructType()! We believe this change (and the follow-up cleanups) will pay dividends over time. 

Given the amount of code change, I do expect some fallout from this change (though it does pass all of the clang tests). If you notice any problems, please let us know asap! Thanks.

llvm-svn: 75314

llvm-svn: 75303

llvm-svn: 75297

llvm-svn: 75296

llvm-svn: 75295

move this case to 'test/Analysis/misc-ps.m' to test with both BasicStoreManager
and RegionStoreManager.

llvm-svn: 75294

llvm-svn: 75291

CodeTextRegions can only be casted to FunctionPointer or BlockPointerTypes. This
simply isn't true. We can handle bogus operations on CodeTextRegions (e.g, an
array access) elsewhere.

llvm-svn: 75285

void**, void***, etc.  Such casts should just pass the region through.

llvm-svn: 75281

in their order of construction for each class and use it 
to to check on propery order of base class construction 
under -Wreorder option.

llvm-svn: 75270

by Jonathan Gray and Krister Walfridsson.

llvm-svn: 75268

and replace the 'clang-cc' option '-analyzer-store=basic-new-cast' with
'-analyzer-store=basic-old-cast'. We'll keep the old CastRegion implementation
around for a little while for regression testing.

llvm-svn: 75209

llvm-svn: 75178

llvm-svn: 75175

class object's base and members under -Wreorder flag.

llvm-svn: 75168

llvm-svn: 75152

llvm-svn: 75151

llvm-svn: 75150

Add test for C++ [over.over.]p1, the contexts in which one can take the address of an overloaded function.

llvm-svn: 75146

Store the isAddressOfOperand in the UnresolvedDeclRefExpr, so that we can pass it when instantiating the expr. Fixes another member pointer bug.

llvm-svn: 75075

address of an overloaded function (which may involve both functions
and function templates). 

llvm-svn: 75069

Fix: <rdar://problem/7034511> ValueManager::makeIntVal(uint64_t X, QualType T) should return a 'Loc' when 'T' is a pointer

llvm-svn: 75062

It's not allowed to form member pointers to members that have reference type. Add a test for this and the rest of [dcl.mptr]p3.

llvm-svn: 75054

function template. Most of the change here is in factoring out the
common bits used for template argument deduction from a function call
and when taking the address of a function template.

llvm-svn: 75044

gc'able structs in the Next runtime and adds missing
PCH info.

llvm-svn: 75014

llvm-svn: 74999

namespaces based on the template arguments of a class template
specialization type.

llvm-svn: 74993

Also, enable them in sema so that they are tested, and now that the x86 backend
has stablized.

llvm-svn: 74983

llvm-svn: 74971

implement C++ [temp.deduct.call]p3b3, which allows a template-id
parameter to match a derived class of the argument, while deducing
template arguments.

llvm-svn: 74965

llvm-svn: 74943

llvm-svn: 74937