llvm-svn: 72504

llvm-svn: 72503

parser. Rather than placing all of the delayed member function
declarations and inline definitions into a single bucket corresponding
to the top-level class, we instead mirror the nesting structure of the
nested classes and place the delayed member functions into their
appropriate place. Then, when we actually parse the delayed member
function declarations, set up the scope stack the same way as it was
when we originally saw the declaration, so that we can find, e.g.,
template parameters that are in scope.

llvm-svn: 72502

section.

llvm-svn: 72501

reflect that.

llvm-svn: 72500

behavior is more likely to be confusing than useful.

llvm-svn: 72499

Reintroduce the home for exception specs, and make Sema fill it. However, keep the spec out of the canonical type this time. Net effect is currently nothing, because the spec isn't checked anywhere.

llvm-svn: 72498

llvm-svn: 72497

llvm-svn: 72492

llvm-svn: 72491

Add a big test case for I-C-Es in C++, and a fix to make it work. The fix might not be the right way to do it.

llvm-svn: 72490

llvm-svn: 72489

declaration references. The key realization is that dependent Decls,
which actually require instantiation, can only refer to the current
instantiation or members thereof. And, since the current context
during instantiation contains all of those members of the current
instantiation, we can simply find the real instantiate that matches up
with the "current instantiation" template.

llvm-svn: 72486

improve some error recovery with explicit template instantiation.

llvm-svn: 72484

within a template now have a link back to the enumeration from which
they were instantiated. This means that we can now find the
instantiation of an anonymous enumeration.

llvm-svn: 72482

references. There are several smallish fixes here:

  - Make sure we look through template parameter scope when
    determining whether we're parsing a nested class (or nested class
    *template*). This makes sure that we delay parsing the bodies of
    inline member functions until after we're out of the outermost
    class (template) scope.
  - Since the bodies of member functions are always parsed
    "out-of-line", even when they were declared in-line, teach
    unqualified name lookup to look into the (semantic) parents.
  - Use the new InstantiateDeclRef to handle the instantiation of a
    reference to a declaration (in DeclRefExpr), which drastically
    simplifies template instantiation for DeclRefExprs.
  - When we're instantiating a ParmVarDecl, it must be in the current
    instantiation scope, so only look there.

Also, remove the #if 0's and FIXME's from the dynarray example, which
now compiles and executes thanks to Anders and Eli.

llvm-svn: 72481

llvm-svn: 72479

llvm-svn: 72478

llvm-svn: 72477

Patch by Benjamin Kramer.

llvm-svn: 72476

This allows me to remove some API that I don't want to carry over to ObjCObjectPointerType.

No functionality change.

llvm-svn: 72475

llvm-svn: 72474

of a reference correctly.

llvm-svn: 72463

llvm-svn: 72462

instantiation of a declaration from the template version (or version
that lives in a template) and a given set of template arguments. This
needs much, much more testing, but it suffices for simple examples
like

  typedef T* iterator;
  iterator begin();

llvm-svn: 72461

overloaded operator[] or overloaded postfix unary operator (++,
--). Thanks to Eli for finding this bug!

llvm-svn: 72460

type.

llvm-svn: 72459

llvm-svn: 72458

llvm-svn: 72457

llvm-svn: 72450

llvm-svn: 72449

one else is tempted to copy the style, incorrectly.

llvm-svn: 72448

llvm-svn: 72446

llvm-svn: 72444

llvm-svn: 72441

llvm-svn: 72440

llvm-svn: 72439

llvm-svn: 72437

llvm-svn: 72433

 - Just SmallVectors this time.

llvm-svn: 72432