llvm-svn: 80397

member templates.

llvm-svn: 80396

llvm-svn: 80395

llvm-svn: 80394

to a multi-level template argument list by making it explicit. The
forced auditing of callers found a bug in the instantiation of member
classes inside member templates.

I *love* static type systems.

llvm-svn: 80391

When performing template instantiation of the definitions of member
templates (or members thereof),  we build a data structure containing
the template arguments from each "level" of template
instantiation. During template instantiation, we substitute all levels
of template arguments simultaneously. 

llvm-svn: 80389

llvm-svn: 80388

objects that are not automatically garbage collected. This fixes
<rdar://problem/7174400>.

llvm-svn: 80387

llvm-svn: 80383

llvm-svn: 80382

MultiLevelTemplateArgumentList. This is a baby step toward
instantiating member templates; no intended functionality change yet.

llvm-svn: 80380

llvm-svn: 80377

llvm-svn: 80375

llvm-svn: 80374

When doing overload resolution, expressions that are value dependent but not type dependent and of integral type should not be treated as null pointer constants.

llvm-svn: 80369

llvm-svn: 80366

with class type conversion methods. WIP.

llvm-svn: 80365

declarations of same, introduce a single AST class and add appropriate bits
(encoded in the namespace) for whether a decl is "real" or not.  Much hackery
about previously-declared / not-previously-declared, but it's essentially
mandated by the standard that friends alter lookup, and this is at least
fairly non-intrusive.

Refactor the Sema methods specific to friends for cleaner flow and less nesting.

Incidentally solve a few bugs, but I remain confident that we can put them back.

llvm-svn: 80353

llvm-svn: 80333

llvm-svn: 80332

                                    Were Dropped Successfully

Patch by Geoff Keating!

llvm-svn: 80313

class template specializations (when possible) and look into base
classes. Thanks to Eli for the test case!

FIXME -=1.

llvm-svn: 80302

endian hosts.  Fixes PR4792

llvm-svn: 80301

cause any regressions.

llvm-svn: 80277

llvm-svn: 80276

llvm-svn: 80275

llvm-svn: 80274

llvm-svn: 80273

llvm-svn: 80272

templates within class templates, producing a member function template
of a class template specialization. If you can parse that, I'm
sorry. Example:

  template<typename T>
  struct X {
    template<typename U> void f(T, U);
  };

When we instantiate X<int>, we now instantiate the declaration
X<int>::f, which looks like this:

  template<typename U> void X<int>::f(int, U);

The path this takes through
TemplateDeclInstantiator::VisitCXXMethodDecl is convoluted and
ugly, but I don't know how to improve it yet. I'm resting my hopes on
the multi-level substitution required to instantiate definitions of
nested templates, which may simplify this code as well.

More testing to come...

llvm-svn: 80252

When checking whether one declaration context encloses another, make sure to look at the primary contexts. Thanks to Eli for the test case

llvm-svn: 80212

llvm-svn: 80211

Add a BuildCXXTemporaryObjectExpr and use it so default arguments will be instantiated correctly for temporary object expressions.

llvm-svn: 80206

llvm-svn: 80189

llvm-svn: 80185

almost correct.  :-)

llvm-svn: 80181

name, e.g.,
  
  x->Base::f()

retain the qualifier (and its source range information) in a new
subclass of MemberExpr called CXXQualifiedMemberExpr. Provide
construction, transformation, profiling, printing, etc., for this new
expression type.

When a virtual function is called via a qualified name, don't emit a
virtual call. Instead, call that function directly. Mike, could you
add a CodeGen test for this, too?

llvm-svn: 80167

types or type-dependent expressions.

llvm-svn: 80143

but not yet necessarily perfectly consistent with gcc.  Also addressed
Doug and John's comments.

llvm-svn: 80137

Issue reported on cfe-dev.

Also fixed the code to use isConstant to determine whether to generate a 
constant global, to be consistent with CodeGenModule.  This probably 
needs to be refactored to deal with C++, though.

llvm-svn: 80131