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: 80346

llvm-svn: 80337

llvm-svn: 80333

llvm-svn: 80332

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

FIXME -=1.

llvm-svn: 80302

cause any regressions.

llvm-svn: 80277

llvm-svn: 80273

llvm-svn: 80272

llvm-svn: 80261

llvm-svn: 80260

llvm-svn: 80258

llvm-svn: 80256

llvm-svn: 80255

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

Add a OverloadResolutionFlags and start converting some of the overload methods over to using it instead of bools arguments.

llvm-svn: 80248

llvm-svn: 80211

llvm-svn: 80209

llvm-svn: 80207

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

llvm-svn: 80206

In ActOnCXXTypeConstructExpr, check that the type is complete and non-abstract before creating any expressions. This assures that any templates are instantiated if necessary.

llvm-svn: 80200

llvm-svn: 80183

llvm-svn: 80182

llvm-svn: 80178

Make sure to bump the reference count of the last element in the ParenListExpr representing the direct initializer of a declaration

llvm-svn: 80177

llvm-svn: 80175

llvm-svn: 80174

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

Add a RequireCompleteType variant that takes a PartialDiagnostic. The old RequireCompleteType now creates a PartialDiagnostic and calls the new function.

llvm-svn: 80165

llvm-svn: 80163

types or type-dependent expressions.

llvm-svn: 80143

llvm-svn: 80135

llvm-svn: 80129

type convesions of class objects [class.conv]. WIP.

llvm-svn: 80127

Make sure to compare primary declaration contexts when determining whether a declaration is in scope

llvm-svn: 80126

TypenameType if getTypeName is looking at a member of an unknown
specialization. This allows us to properly parse class templates that
derived from type that could only otherwise be described by a typename type, 
e.g.,

  template<class T> struct X {};
  template<typename T> struct Y : public X<T>::X { }; 

Fixes PR4381.

llvm-svn: 80123

llvm-svn: 80122

llvm-svn: 80114

conversions, from Sylvere Teissier!

llvm-svn: 80112

llvm-svn: 80097