llvm-svn: 78478

llvm-svn: 78474

llvm-svn: 78471

llvm-svn: 78452

to allow sharing of nodes. Simplifies some aspects of template
instantiation, and fixes both PR3444 and <rdar://problem/6757457>.

llvm-svn: 78450

llvm-svn: 78434

llvm-svn: 78429

llvm-svn: 78415

separately.  Add the framework (currently unfed) for finding friend declarations
during argument-dependent lookup.

llvm-svn: 78414

llvm-svn: 78395

llvm-svn: 78385

TransformStmt, into the tree transformer.

llvm-svn: 78347

guard its report on GNUMode.

llvm-svn: 78338

Permit a class to friend its class members in C++ 98, as long as extensions
are enabled (and even when they aren't, only give an extwarn about it).

llvm-svn: 78332

llvm-svn: 78331

don't recurs and crash.

llvm-svn: 78323

we were going to enter into the scope of a class template or class
template partial specialization, rebuild that type so that it can
refer to members of the current instantiation, as in code like

  template<typename T>
  struct X {
    typedef T* pointer;
    pointer data();
  };

  template<typename T>
  typename X<T>::pointer X<T>::data() { ... }

Without rebuilding the return type of this out-of-line definition, the
canonical return type of the out-of-line definition (a TypenameType)
will not match the canonical return type of the declaration (the
canonical type of T*).

llvm-svn: 78316

transform, then use the result for template instantiation. The generic
transformation fixes a few issues:

  - It copes better with template template parameters and member
  templates (when they're implemented). 
  - The logic used to replace template template parameters with their
  arguments is now centralized in TransformDecl, so that it will apply
  for other declaration-instantiation steps.
  - The error-recovery strategy is normalized now, so that any error
  results in a NULL TemplateName.

llvm-svn: 78292

tree transformation. Template instantiation uses this general
transformation rather than implementing its own transformation.

llvm-svn: 78286

  this->Base::foo

from James Porter!

llvm-svn: 78278

llvm-svn: 78276

llvm-svn: 78274

llvm-svn: 78230

construction of constructor calls.

llvm-svn: 78222

expressions and a test case.

llvm-svn: 78213

tighten up the static type system.

llvm-svn: 78164

llvm-svn: 78140

work in progress.

llvm-svn: 78132

general tree transformation. Also, implement template instantiation
for parameter packs.

In addition, introduce logic to enter the appropriate context for
subexpressions that are not potentially evaluated.

llvm-svn: 78114

llvm-svn: 78102

on method type mismatches per Chris's comment.

llvm-svn: 78075

transformation template (TreeTransform) that handles the
transformation and reconstruction of AST nodes. Template instantiation
for types is a (relatively small) customization of the generic tree
transformation.

llvm-svn: 78071

super class(s) and warn on any parameter
type mismatch if potentially unsafe. 

llvm-svn: 78029

implementation of '#pragma unused' by not constructing intermediate
DeclRefExprs, but instead do the name lookup directly.  The
implementation is greatly simplified.

Along the way, degrade '#pragma unused(undeclaredvariable)' to a
warning instead of being a hard error.  This implements:

<rdar://problem/6761874> [sema] allow #pragma unused to reference undefined variable (with warning)

llvm-svn: 78019

elsewhere.  Very slightly decouples DeclSpec users from knowing the exact
diagnostics to report, and makes it easier to provide different diagnostics in
some places.

llvm-svn: 77990

llvm-svn: 77985

obviously correct.

llvm-svn: 77969

llvm-svn: 77928

template partial specialization. Then, use those template arguments
when instantiating members of that class template partial
specialization. Fixes PR4607.

llvm-svn: 77925

llvm-svn: 77905