llvm-svn: 72299

call other member functions of class templates, including after
template instantiation. No functionality change.

llvm-svn: 72282

expressions. This change introduces another AST node,
CXXUnresolvedMemberExpr, that captures member references (x->m, x.m)
when the base of the expression (the "x") is type-dependent, and we
therefore cannot resolve the member reference yet.

Note that our parsing of member references for C++ is still quite
poor, e.g., we don't handle x->Base::m or x->operator int.

llvm-svn: 72281

llvm-svn: 72236

llvm-svn: 72234

can. Also, delay semantic analysis of initialization for
value-dependent as well as type-dependent expressions, since we can't
always properly type-check a value-dependent expression.

llvm-svn: 72233

llvm-svn: 72229

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