BlockDeclRefExpr to PCH.

llvm-svn: 73800

C++. This logic is required to trigger implicit instantiation of
function templates and member functions of class templates, which will
be implemented separately.

This commit includes support for -Wunused-parameter, printing warnings
for named parameters that are not used within a function/Objective-C
method/block. Fixes <rdar://problem/6505209>.

llvm-svn: 73797

to not lose its 'const/volatile' qualifier.

llvm-svn: 73795

work in progress.

llvm-svn: 73782

preferring to use their replacements in GRState. This further unifies the code
paths for such logic and leads to some code reduction.

llvm-svn: 73771

llvm-svn: 73762

because the type of the symbol is used to create the default range. We need the
sign to be consistent.

llvm-svn: 73756

ElementRegion.

llvm-svn: 73754

Make changes to PCHReader to allow reading a PCH file without having a pre-initialized Preprocessor.

-Introduce 'PCHReaderListener' which is an abstract interface for getting various information from the PCHReader.
-If PCHReader is constructed without a Preprocessor, it can still load the file and invoke the callbacks of PCHReaderListener.
-If PCHReader is constructed with an initialized Preprocessor, PCHValidator is used as a PCHReaderListener to validate the contents of the PCH file against the given Preprocessor.

llvm-svn: 73741

GRState->bindXXX and friends (and constify some arguments along the way).

llvm-svn: 73740

llvm-svn: 73735

- Remove the 'isFeasible' flag from all uses of 'Assume'.
- Remove the 'Assume' methods from GRStateManager.  Now the only way to
  create a new GRState with an assumption is to use the new 'assume' methods
  in GRState.

llvm-svn: 73731

llvm-svn: 73713

llvm-svn: 73702

llvm-svn: 73700

type. 

When retrieving the region value, if we are going to create a symbol value, use
the cast-to type if possible.

llvm-svn: 73690

line, and when the pragma is at the end of a file.  In this case, the last
token consumed could pop the lexer, invalidating CurPPLexer.  Thanks to
Peter Thoman for pointing it out.

llvm-svn: 73689

llvm-svn: 73670

pretty-print a GRState object anywhere it is referenced (instead of
needing a GRStateRef of a GRStateManager handy).

llvm-svn: 73669

llvm-svn: 73667

<rdar://problem/6952203>. 

To do this, we actually remove a not-quite-correct optimization in the
C++ name lookup routines. We'll revisit this optimization for the
general case once more C++ is working.

llvm-svn: 73659

No functionality change.

llvm-svn: 73657

llvm-svn: 73655

Fixes "test/CXX/basic/basic.lookup/basic.lookup.unqual/p13.cpp" test case.

llvm-svn: 73652

llvm-svn: 73651

decls to a class.

llvm-svn: 73650

Add a type (ObjCObjectPointerType) and remove a type (ObjCQualifiedIdType).

This large/tedious patch is just a first step. Next step is to remove ObjCQualifiedInterfaceType. After that, I will remove the magic TypedefType for 'id' (installed by Sema). This work will enable various simplifications throughout clang (when dealing with ObjC types). 

No functionality change.

llvm-svn: 73649

llvm-svn: 73648

GRState object has a direct reference to its GRStateManager, making
the functionality of GRStateRef redunandant.  This will lead to some
nice API cleanup and code shrinking across libAnalysis.

llvm-svn: 73644

thereof. Patch by Anders Johnsen!

llvm-svn: 73641

llvm-svn: 73637

llvm-svn: 73626

llvm-svn: 73604

 - Turns out libstdcxx greps for this in configure.

llvm-svn: 73582

 - I think we will eventually need to support this for realz, and some build
   processes seem to depend on these options.

llvm-svn: 73581

Since integral template arguments can't have dependent types we don't need an extra pass to set the right APSInt bit width/signedness.

llvm-svn: 73580

llvm-svn: 73574

- Add "sections" to RegionStoreManager.cpp to delineate functionality.
- Add new function "CreateFieldsOnlyRegionStoreManager" that uses the new
  RegionStoreFeatures class to use a reduced set of features from
  RegionStoreManager (in this case, only field-sensitivity). This isn't
  completely hooked up yet.

llvm-svn: 73572

llvm-svn: 73556

tool chain.

llvm-svn: 73555