Zaffanella, with tweaks from Abramo Bagnara.

llvm-svn: 76576

llvm-svn: 76547

llvm-svn: 76546

llvm-svn: 76539

struct foo {
  static bool value;
};
bool (foo::value); // crash because of parens

llvm-svn: 76538

llvm-svn: 76534

llvm-svn: 76532

llvm-svn: 76531

llvm-svn: 76530

llvm-svn: 76529

llvm-svn: 76522

llvm-svn: 76518

-refactor logic for retrieving bindings from VarDecls into
 RegionStoreManager::RetrieveVar()
- improve RegionStoreManager::CastRetrievedVal() and SimpleSValuate::EvalCastNL
  to better handle casts of values of the same canonical type as well as
  casts of LocAsInteger values.

llvm-svn: 76516

Entity can now refer to declarations that are not visible outside the translation unit.
It is a wrapper of a pointer union, it's either a Decl* for declarations that don't
"cross" translation units, or an EntityImpl* which is associated with the specific "visible" Decl.

Included is a test case for handling fields across translation units.

llvm-svn: 76515

llvm-svn: 76514

llvm-svn: 76513

If it's in an ObjCContainerDecl, its "redeclaration" is the method definition in the corresponding ObjCImplDecl.
If it's in an ObjCImplDecl, its "redeclaration" is the method in the interface.

llvm-svn: 76512

llvm-svn: 76511

Use ObjCInterfaceDecl::getCategoryClassMethod() and ObjCInterfaceDecl::getCategoryInstanceMethod() for the same functionality.

llvm-svn: 76510

Remove Sema::LookupObjCImplementation and replace it with just calling ObjCInterfaceDecl::getImplementation().

llvm-svn: 76509

- Introduce ASTContext::getObjCImplementation() and ASTContext::setObjCImplementation() which use a DenseMap to associate
  an interface/category with its implementation (if one exists).

- Introduce ObjCInterfaceDecl::get/setImplementation() and ObjCCategoryDecl::get/setImplementation() that use the above methods.

- Add a compiler error for when a category is reimplemented.

llvm-svn: 76508

llvm-svn: 76507

llvm-svn: 76506

llvm-svn: 76500

llvm-svn: 76498

pointers.

Enhanced RegionStoreManager::Retrieve() to handle automatic casts when the
loaded value is different from the requested value. This should be refined over
time, but essentially we should always symbolicate locations as locations, and
convert them to non-locations on demand.

These changes now cause 'misc-ps.m' to pass again.

llvm-svn: 76497

llvm-svn: 76494

llvm-svn: 76493

reducing the size of ParmVarDecl by one pointer. Also means that we'll 
properly (de-)serialize default arguments in C++ PCH files.

llvm-svn: 76487

llvm-svn: 76484

locs and vis versa.

llvm-svn: 76483

llvm-svn: 76481

llvm-svn: 76476

llvm-svn: 76473

llvm-svn: 76469

llvm-svn: 76466

don't replace the type of the field with 'int', from Enea Zaffanella!

llvm-svn: 76454

could be NULL. This allows the solver to handle optimized CFGs where branches
can be determined during CFG-construction to be infeasible.

llvm-svn: 76452

incomplete type (with a warning), from Enea Zaffanella!

llvm-svn: 76451

where the true or false CFGBlock* for a branch could be NULL. This will handle
the case where we can determine during CFG construction that a branch is
infeasible.

llvm-svn: 76450