llvm-svn: 72220

llvm-svn: 72218

llvm-svn: 72217

llvm-svn: 72216

redundant functionality. The result (ASTOwningVector) lives in
clang/Parse/Ownership.h and is used by both the parser and semantic
analysis. No intended functionality change.

llvm-svn: 72214

llvm-svn: 72199

passes the "isStmtExpr" flag, to suppress warnings about unused
expressions.

llvm-svn: 72190

llvm::SmallVector that owns all of the AST nodes inside of it. This
RAII class is used to ensure proper destruction of AST nodes when
template instantiation fails.

llvm-svn: 72186

temporaries are generated for some object-constructing expressions in
templates that are not type-dependent. 

Also, be sure to introduce the variable from a CXXConditionDeclExpr
into the set of instantiated local variables.

llvm-svn: 72185

due to C++ type construction of the form T(a1, a2, ..., aN).

llvm-svn: 72183

describe the construction of a value of a given type using function
syntax, e.g.,
  
  T(a1, a2, ..., aN)

when the type or any of its arguments are type-dependent. In this
case, we don't know what kind of type-construction this will be: it
might construct a temporary of type 'T' (which might be a class or
non-class type) or might perform a conversion to type 'T'. Also,
implement printing of and template instantiation for this new
expression type. Due to the change in Sema::ActOnCXXTypeConstructExpr,
our existing tests cover template instantiation of this new expression
node.

llvm-svn: 72176

need template instantiation logic. Remove one FIXME by instantiating
the callee in a non-type-dependent CXXOperatorCallExpr.

llvm-svn: 72145

llvm-svn: 72144

llvm-svn: 72143

and it isn't clear exactly what it's supposed to mean. Thanks Eli!

llvm-svn: 72142

llvm-svn: 72139

llvm-svn: 72134

llvm-svn: 72129

operator in C++, and verify that template instantiation for the
condition operator does the right thing.

llvm-svn: 72127

llvm-svn: 72126

llvm-svn: 72119

llvm-svn: 72081

easier than expected because of the limitation that subscript
operators must be member functions.

llvm-svn: 72076

llvm-svn: 72058

Implement instantiation of a few boring, simple expressions. I don't think these are testable yet, though.

llvm-svn: 71953

llvm-svn: 71936

llvm-svn: 71896

llvm-svn: 71889

llvm-svn: 71886

llvm-svn: 71872

llvm-svn: 71825

llvm-svn: 71823

llvm-svn: 71822

llvm-svn: 71818

llvm-svn: 71816

functions of class templates. Only compound statements and expression
statements are currently implemented.

llvm-svn: 71814

Introduce a stack of instantiation scopes that are used to store the mapping from variable declarations that occur within templates to their instantiated counterparts

llvm-svn: 71799

TemplateArgumentList. This avoids the need to pass around
pointer/length pairs of template arguments lists, and will eventually
make it easier to introduce member templates and variadic templates.

llvm-svn: 71517

uniqued representation that should both save some memory and make it
far easier to properly build canonical types for types involving
dependent nested-name-specifiers, e.g., "typename T::Nested::type".

This approach will greatly simplify the representation of
CXXScopeSpec. That'll be next.

llvm-svn: 67799

llvm-svn: 67660