llvm-svn: 75442

llvm-svn: 75441

llvm-svn: 75439

llvm-svn: 75437

llvm-svn: 75436

llvm-svn: 75435

llvm-svn: 75432

llvm-svn: 75431

 - I think I did this commit sequence before. :)

llvm-svn: 75420

llvm-svn: 75404

llvm-svn: 75401

llvm-svn: 75400

 - These kinds of "shotgun" tests are very slow, and do not belong in the
   regression suite. If these kinds of tests are regarded to have value, they
   should be added to the LLVM test-suite.

 - I would actually like to remove all of these tests, but I left Sema/carbon.c
   and SemaObjC/cocoa.m...

llvm-svn: 75399

llvm-svn: 75396

 - I don't see any need for it to be this expensive.

llvm-svn: 75395

llvm-svn: 75390

 - Previous code was based on a misunderstanding (on my part) of the type
   representation.

llvm-svn: 75385

 - This was a latent bug exposed by the recent objc type changes.

llvm-svn: 75383

llvm-svn: 75381

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

llvm-svn: 75368

Fix breakage on Windows, cannot redeclare loop variable i in the immediate scope of loop.  Rename variable to j.

llvm-svn: 75365

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

MemRegion kinds. This allows the compiler to identify what MemRegions we don't
handle for pointer arithmetic.

llvm-svn: 75326

llvm-svn: 75325

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

  warning: ‘OPT’ may be used uninitialized in this function

Now OPT is initialized to NULL. I'm not certain if this is the correct fix;
others please review.

llvm-svn: 75321

llvm-svn: 75318

llvm-svn: 75316

llvm-svn: 75315

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

over the types of MemRegions. This allows the compiler to warn us which regions
are not handled, and also is a little faster.

llvm-svn: 75304

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