ExprCXX.h revision 2577743c5650c646fb705df01403707e94f2df04
15f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//===--- ExprCXX.h - Classes for representing expressions -------*- C++ -*-===// 25f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer// 35f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer// The LLVM Compiler Infrastructure 45f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer// 50bc735ffcfb223c0186419547abaa5c84482663eChris Lattner// This file is distributed under the University of Illinois Open Source 60bc735ffcfb223c0186419547abaa5c84482663eChris Lattner// License. See LICENSE.TXT for details. 75f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer// 85f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//===----------------------------------------------------------------------===// 95f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer// 105f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer// This file defines the Expr interface and subclasses for C++ expressions. 115f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer// 125f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//===----------------------------------------------------------------------===// 135f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 145f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#ifndef LLVM_CLANG_AST_EXPRCXX_H 155f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#define LLVM_CLANG_AST_EXPRCXX_H 165f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 1764b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl#include "clang/Basic/TypeTraits.h" 185f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#include "clang/AST/Expr.h" 19eec51cf1ba5f0e62c9cdb81b5c63babdd6e649abJohn McCall#include "clang/AST/UnresolvedSet.h" 20d5532b6cfff2977e0c59fa6ead7f7973984a620dJohn McCall#include "clang/AST/TemplateBase.h" 215f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 225f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencernamespace clang { 235f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 244c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl class CXXConstructorDecl; 25c1ce477119fed070299668aab24084b17ff5f14bAnders Carlsson class CXXDestructorDecl; 26e9f42087aabfdb6b2afc35c7e38ac65da063b409Fariborz Jahanian class CXXMethodDecl; 27ff6b3d64c9f07155f1414411b8451d7bf8937c62Anders Carlsson class CXXTemporary; 28d5532b6cfff2977e0c59fa6ead7f7973984a620dJohn McCall class TemplateArgumentListInfo; 294c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 301060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek//===--------------------------------------------------------------------===// 311060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek// C++ Expressions. 321060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek//===--------------------------------------------------------------------===// 331060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek 343fd95ce225393fe4a3623e429766a8c3f487ff9dDouglas Gregor/// \brief A call to an overloaded operator written using operator 353fd95ce225393fe4a3623e429766a8c3f487ff9dDouglas Gregor/// syntax. 363fd95ce225393fe4a3623e429766a8c3f487ff9dDouglas Gregor/// 373fd95ce225393fe4a3623e429766a8c3f487ff9dDouglas Gregor/// Represents a call to an overloaded operator written using operator 383fd95ce225393fe4a3623e429766a8c3f487ff9dDouglas Gregor/// syntax, e.g., "x + y" or "*p". While semantically equivalent to a 393fd95ce225393fe4a3623e429766a8c3f487ff9dDouglas Gregor/// normal call, this AST node provides better information about the 403fd95ce225393fe4a3623e429766a8c3f487ff9dDouglas Gregor/// syntactic representation of the call. 413fd95ce225393fe4a3623e429766a8c3f487ff9dDouglas Gregor/// 423fd95ce225393fe4a3623e429766a8c3f487ff9dDouglas Gregor/// In a C++ template, this expression node kind will be used whenever 433fd95ce225393fe4a3623e429766a8c3f487ff9dDouglas Gregor/// any of the arguments are type-dependent. In this case, the 443fd95ce225393fe4a3623e429766a8c3f487ff9dDouglas Gregor/// function itself will be a (possibly empty) set of functions and 453fd95ce225393fe4a3623e429766a8c3f487ff9dDouglas Gregor/// function templates that were found by name lookup at template 463fd95ce225393fe4a3623e429766a8c3f487ff9dDouglas Gregor/// definition time. 47b4609806e9232593ece09ce08b630836e825865cDouglas Gregorclass CXXOperatorCallExpr : public CallExpr { 48063daf6e196c51f162e0485478355d8e280eef5cDouglas Gregor /// \brief The overloaded operator. 49063daf6e196c51f162e0485478355d8e280eef5cDouglas Gregor OverloadedOperatorKind Operator; 50063daf6e196c51f162e0485478355d8e280eef5cDouglas Gregor 51b4609806e9232593ece09ce08b630836e825865cDouglas Gregorpublic: 521eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump CXXOperatorCallExpr(ASTContext& C, OverloadedOperatorKind Op, Expr *fn, 531eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump Expr **args, unsigned numargs, QualType t, 54063daf6e196c51f162e0485478355d8e280eef5cDouglas Gregor SourceLocation operatorloc) 55063daf6e196c51f162e0485478355d8e280eef5cDouglas Gregor : CallExpr(C, CXXOperatorCallExprClass, fn, args, numargs, t, operatorloc), 56063daf6e196c51f162e0485478355d8e280eef5cDouglas Gregor Operator(Op) {} 571eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump explicit CXXOperatorCallExpr(ASTContext& C, EmptyShell Empty) : 58ba0a9006dbc4814e1e35f82812cb5a1dad65e8b8Argyrios Kyrtzidis CallExpr(C, CXXOperatorCallExprClass, Empty) { } 591eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 60b4609806e9232593ece09ce08b630836e825865cDouglas Gregor 61b4609806e9232593ece09ce08b630836e825865cDouglas Gregor /// getOperator - Returns the kind of overloaded operator that this 62b4609806e9232593ece09ce08b630836e825865cDouglas Gregor /// expression refers to. 63063daf6e196c51f162e0485478355d8e280eef5cDouglas Gregor OverloadedOperatorKind getOperator() const { return Operator; } 64ba0a9006dbc4814e1e35f82812cb5a1dad65e8b8Argyrios Kyrtzidis void setOperator(OverloadedOperatorKind Kind) { Operator = Kind; } 65b4609806e9232593ece09ce08b630836e825865cDouglas Gregor 66b4609806e9232593ece09ce08b630836e825865cDouglas Gregor /// getOperatorLoc - Returns the location of the operator symbol in 67b4609806e9232593ece09ce08b630836e825865cDouglas Gregor /// the expression. When @c getOperator()==OO_Call, this is the 68b4609806e9232593ece09ce08b630836e825865cDouglas Gregor /// location of the right parentheses; when @c 69b4609806e9232593ece09ce08b630836e825865cDouglas Gregor /// getOperator()==OO_Subscript, this is the location of the right 70b4609806e9232593ece09ce08b630836e825865cDouglas Gregor /// bracket. 71b4609806e9232593ece09ce08b630836e825865cDouglas Gregor SourceLocation getOperatorLoc() const { return getRParenLoc(); } 72b4609806e9232593ece09ce08b630836e825865cDouglas Gregor 73b4609806e9232593ece09ce08b630836e825865cDouglas Gregor virtual SourceRange getSourceRange() const; 741eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 751eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump static bool classof(const Stmt *T) { 761eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump return T->getStmtClass() == CXXOperatorCallExprClass; 77b4609806e9232593ece09ce08b630836e825865cDouglas Gregor } 78b4609806e9232593ece09ce08b630836e825865cDouglas Gregor static bool classof(const CXXOperatorCallExpr *) { return true; } 79b4609806e9232593ece09ce08b630836e825865cDouglas Gregor}; 80b4609806e9232593ece09ce08b630836e825865cDouglas Gregor 8188a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregor/// CXXMemberCallExpr - Represents a call to a member function that 8288a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregor/// may be written either with member call syntax (e.g., "obj.func()" 8388a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregor/// or "objptr->func()") or with normal function-call syntax 8488a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregor/// ("func()") within a member function that ends up calling a member 8588a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregor/// function. The callee in either case is a MemberExpr that contains 8688a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregor/// both the object argument and the member function, while the 8788a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregor/// arguments are the arguments within the parentheses (not including 8888a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregor/// the object argument). 8988a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregorclass CXXMemberCallExpr : public CallExpr { 9088a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregorpublic: 911817bd483b538fd3f4530649f5cb900bad9e8a76Chris Lattner CXXMemberCallExpr(ASTContext &C, Expr *fn, Expr **args, unsigned numargs, 92668bf91d31265b6ea8c3eb854ba450857701f269Ted Kremenek QualType t, SourceLocation rparenloc) 93668bf91d31265b6ea8c3eb854ba450857701f269Ted Kremenek : CallExpr(C, CXXMemberCallExprClass, fn, args, numargs, t, rparenloc) {} 9488a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregor 951817bd483b538fd3f4530649f5cb900bad9e8a76Chris Lattner CXXMemberCallExpr(ASTContext &C, EmptyShell Empty) 961817bd483b538fd3f4530649f5cb900bad9e8a76Chris Lattner : CallExpr(C, CXXMemberCallExprClass, Empty) { } 971817bd483b538fd3f4530649f5cb900bad9e8a76Chris Lattner 9888a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregor /// getImplicitObjectArgument - Retrieves the implicit object 9988a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregor /// argument for the member call. For example, in "x.f(5)", this 10088a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregor /// operation would return "x". 10188a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregor Expr *getImplicitObjectArgument(); 10288a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregor 10300b98c229ef28a5e82943bb23d09fb46d24ca381Douglas Gregor virtual SourceRange getSourceRange() const; 10400b98c229ef28a5e82943bb23d09fb46d24ca381Douglas Gregor 1051eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump static bool classof(const Stmt *T) { 10688a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregor return T->getStmtClass() == CXXMemberCallExprClass; 10788a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregor } 10888a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregor static bool classof(const CXXMemberCallExpr *) { return true; } 10988a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregor}; 11088a3514f36de96b19cdf50141c640df1a5f13f6cDouglas Gregor 11149badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// CXXNamedCastExpr - Abstract class common to all of the C++ "named" 11249badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// casts, @c static_cast, @c dynamic_cast, @c reinterpret_cast, or @c 11349badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// const_cast. 11449badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// 11549badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// This abstract class is inherited by all of the classes 11649badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// representing "named" casts, e.g., CXXStaticCastExpr, 11749badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// CXXDynamicCastExpr, CXXReinterpretCastExpr, and CXXConstCastExpr. 11849badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregorclass CXXNamedCastExpr : public ExplicitCastExpr { 1191060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenekprivate: 1201060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek SourceLocation Loc; // the location of the casting op 12149badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor 12249badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregorprotected: 123c0a2fd8f092722c8f78b566ac4506a21437040e9Anders Carlsson CXXNamedCastExpr(StmtClass SC, QualType ty, CastKind kind, Expr *op, 124f871d0cc377a1367b519a6cce26be74607566ebaJohn McCall unsigned PathSize, TypeSourceInfo *writtenTy, 12541b2dcd465f1e438502c420effc9d0c747f9db8fAnders Carlsson SourceLocation l) 126f871d0cc377a1367b519a6cce26be74607566ebaJohn McCall : ExplicitCastExpr(SC, ty, kind, op, PathSize, writtenTy), Loc(l) {} 12749badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor 128f871d0cc377a1367b519a6cce26be74607566ebaJohn McCall explicit CXXNamedCastExpr(StmtClass SC, EmptyShell Shell, unsigned PathSize) 129f871d0cc377a1367b519a6cce26be74607566ebaJohn McCall : ExplicitCastExpr(SC, Shell, PathSize) { } 130ce757a7a1ee905f87551996a69da3e95e8afeeb7Sam Weinig 1311060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenekpublic: 13249badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor const char *getCastName() const; 13349badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor 134a3a7b8eea87c90a5a257f685749222b212ddaf36Douglas Gregor /// \brief Retrieve the location of the cast operator keyword, e.g., 135a3a7b8eea87c90a5a257f685749222b212ddaf36Douglas Gregor /// "static_cast". 136a3a7b8eea87c90a5a257f685749222b212ddaf36Douglas Gregor SourceLocation getOperatorLoc() const { return Loc; } 137a3a7b8eea87c90a5a257f685749222b212ddaf36Douglas Gregor void setOperatorLoc(SourceLocation L) { Loc = L; } 138a3a7b8eea87c90a5a257f685749222b212ddaf36Douglas Gregor 1391060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek virtual SourceRange getSourceRange() const { 1401060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek return SourceRange(Loc, getSubExpr()->getSourceRange().getEnd()); 1411060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek } 1421eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump static bool classof(const Stmt *T) { 14349badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor switch (T->getStmtClass()) { 14449badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor case CXXStaticCastExprClass: 14549badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor case CXXDynamicCastExprClass: 14649badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor case CXXReinterpretCastExprClass: 14749badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor case CXXConstCastExprClass: 14849badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor return true; 14949badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor default: 15049badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor return false; 15149badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor } 1521060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek } 15349badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor static bool classof(const CXXNamedCastExpr *) { return true; } 15449badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor}; 15549badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor 15649badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// CXXStaticCastExpr - A C++ @c static_cast expression (C++ [expr.static.cast]). 1571eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump/// 15849badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// This expression node represents a C++ static cast, e.g., 15949badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// @c static_cast<int>(1.0). 16049badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregorclass CXXStaticCastExpr : public CXXNamedCastExpr { 16141b2dcd465f1e438502c420effc9d0c747f9db8fAnders Carlsson CXXStaticCastExpr(QualType ty, CastKind kind, Expr *op, 162f871d0cc377a1367b519a6cce26be74607566ebaJohn McCall unsigned pathSize, TypeSourceInfo *writtenTy, 16341b2dcd465f1e438502c420effc9d0c747f9db8fAnders Carlsson SourceLocation l) 164f871d0cc377a1367b519a6cce26be74607566ebaJohn McCall : CXXNamedCastExpr(CXXStaticCastExprClass, ty, kind, op, pathSize, 165f871d0cc377a1367b519a6cce26be74607566ebaJohn McCall writtenTy, l) {} 16649badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor 167f871d0cc377a1367b519a6cce26be74607566ebaJohn McCall explicit CXXStaticCastExpr(EmptyShell Empty, unsigned PathSize) 168f871d0cc377a1367b519a6cce26be74607566ebaJohn McCall : CXXNamedCastExpr(CXXStaticCastExprClass, Empty, PathSize) { } 169f871d0cc377a1367b519a6cce26be74607566ebaJohn McCall 170f871d0cc377a1367b519a6cce26be74607566ebaJohn McCallpublic: 171f871d0cc377a1367b519a6cce26be74607566ebaJohn McCall static CXXStaticCastExpr *Create(ASTContext &Context, QualType T, 172f871d0cc377a1367b519a6cce26be74607566ebaJohn McCall CastKind K, Expr *Op, 173f871d0cc377a1367b519a6cce26be74607566ebaJohn McCall const CXXCastPath *Path, 174f871d0cc377a1367b519a6cce26be74607566ebaJohn McCall TypeSourceInfo *Written, SourceLocation L); 175f871d0cc377a1367b519a6cce26be74607566ebaJohn McCall static CXXStaticCastExpr *CreateEmpty(ASTContext &Context, 176f871d0cc377a1367b519a6cce26be74607566ebaJohn McCall unsigned PathSize); 177ce757a7a1ee905f87551996a69da3e95e8afeeb7Sam Weinig 1781eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump static bool classof(const Stmt *T) { 17949badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor return T->getStmtClass() == CXXStaticCastExprClass; 18049badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor } 18149badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor static bool classof(const CXXStaticCastExpr *) { return true; } 18249badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor}; 18349badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor 18449badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// CXXDynamicCastExpr - A C++ @c dynamic_cast expression 1851eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump/// (C++ [expr.dynamic.cast]), which may perform a run-time check to 18649badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// determine how to perform the type cast. 1871eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump/// 18849badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// This expression node represents a dynamic cast, e.g., 18949badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// @c dynamic_cast<Derived*>(BasePtr). 19049badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregorclass CXXDynamicCastExpr : public CXXNamedCastExpr { 19141b2dcd465f1e438502c420effc9d0c747f9db8fAnders Carlsson CXXDynamicCastExpr(QualType ty, CastKind kind, Expr *op, 192f871d0cc377a1367b519a6cce26be74607566ebaJohn McCall unsigned pathSize, TypeSourceInfo *writtenTy, 19341b2dcd465f1e438502c420effc9d0c747f9db8fAnders Carlsson SourceLocation l) 194f871d0cc377a1367b519a6cce26be74607566ebaJohn McCall : CXXNamedCastExpr(CXXDynamicCastExprClass, ty, kind, op, pathSize, 19541b2dcd465f1e438502c420effc9d0c747f9db8fAnders Carlsson writtenTy, l) {} 19649badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor 197f871d0cc377a1367b519a6cce26be74607566ebaJohn McCall explicit CXXDynamicCastExpr(EmptyShell Empty, unsigned pathSize) 198f871d0cc377a1367b519a6cce26be74607566ebaJohn McCall : CXXNamedCastExpr(CXXDynamicCastExprClass, Empty, pathSize) { } 199f871d0cc377a1367b519a6cce26be74607566ebaJohn McCall 200f871d0cc377a1367b519a6cce26be74607566ebaJohn McCallpublic: 201f871d0cc377a1367b519a6cce26be74607566ebaJohn McCall static CXXDynamicCastExpr *Create(ASTContext &Context, QualType T, 202f871d0cc377a1367b519a6cce26be74607566ebaJohn McCall CastKind Kind, Expr *Op, 203f871d0cc377a1367b519a6cce26be74607566ebaJohn McCall const CXXCastPath *Path, 204f871d0cc377a1367b519a6cce26be74607566ebaJohn McCall TypeSourceInfo *Written, SourceLocation L); 205f871d0cc377a1367b519a6cce26be74607566ebaJohn McCall 206f871d0cc377a1367b519a6cce26be74607566ebaJohn McCall static CXXDynamicCastExpr *CreateEmpty(ASTContext &Context, 207f871d0cc377a1367b519a6cce26be74607566ebaJohn McCall unsigned pathSize); 208ce757a7a1ee905f87551996a69da3e95e8afeeb7Sam Weinig 2091eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump static bool classof(const Stmt *T) { 21049badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor return T->getStmtClass() == CXXDynamicCastExprClass; 21149badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor } 21249badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor static bool classof(const CXXDynamicCastExpr *) { return true; } 21349badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor}; 21449badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor 21549badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// CXXReinterpretCastExpr - A C++ @c reinterpret_cast expression (C++ 21649badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// [expr.reinterpret.cast]), which provides a differently-typed view 21749badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// of a value but performs no actual work at run time. 2181eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump/// 21949badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// This expression node represents a reinterpret cast, e.g., 22049badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// @c reinterpret_cast<int>(VoidPtr). 22149badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregorclass CXXReinterpretCastExpr : public CXXNamedCastExpr { 2227f9e646b7ed47bc8e9a60031ad0c2b55031e2077Anders Carlsson CXXReinterpretCastExpr(QualType ty, CastKind kind, Expr *op, 223f871d0cc377a1367b519a6cce26be74607566ebaJohn McCall unsigned pathSize, 2249d125033a9853f3b572a4c9e2f9e2d4e5e346973John McCall TypeSourceInfo *writtenTy, SourceLocation l) 225f871d0cc377a1367b519a6cce26be74607566ebaJohn McCall : CXXNamedCastExpr(CXXReinterpretCastExprClass, ty, kind, op, pathSize, 226cdef2b75aa60cde1ca00e0aa3f89139ac89c6ae4Anders Carlsson writtenTy, l) {} 22749badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor 228f871d0cc377a1367b519a6cce26be74607566ebaJohn McCall CXXReinterpretCastExpr(EmptyShell Empty, unsigned pathSize) 229f871d0cc377a1367b519a6cce26be74607566ebaJohn McCall : CXXNamedCastExpr(CXXReinterpretCastExprClass, Empty, pathSize) { } 230f871d0cc377a1367b519a6cce26be74607566ebaJohn McCall 231f871d0cc377a1367b519a6cce26be74607566ebaJohn McCallpublic: 232f871d0cc377a1367b519a6cce26be74607566ebaJohn McCall static CXXReinterpretCastExpr *Create(ASTContext &Context, QualType T, 233f871d0cc377a1367b519a6cce26be74607566ebaJohn McCall CastKind Kind, Expr *Op, 234f871d0cc377a1367b519a6cce26be74607566ebaJohn McCall const CXXCastPath *Path, 235f871d0cc377a1367b519a6cce26be74607566ebaJohn McCall TypeSourceInfo *WrittenTy, SourceLocation L); 236f871d0cc377a1367b519a6cce26be74607566ebaJohn McCall static CXXReinterpretCastExpr *CreateEmpty(ASTContext &Context, 237f871d0cc377a1367b519a6cce26be74607566ebaJohn McCall unsigned pathSize); 238ce757a7a1ee905f87551996a69da3e95e8afeeb7Sam Weinig 2391eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump static bool classof(const Stmt *T) { 24049badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor return T->getStmtClass() == CXXReinterpretCastExprClass; 24149badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor } 24249badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor static bool classof(const CXXReinterpretCastExpr *) { return true; } 24349badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor}; 24449badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor 24549badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// CXXConstCastExpr - A C++ @c const_cast expression (C++ [expr.const.cast]), 24649badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// which can remove type qualifiers but does not change the underlying value. 2471eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump/// 24849badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// This expression node represents a const cast, e.g., 24949badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// @c const_cast<char*>(PtrToConstChar). 25049badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregorclass CXXConstCastExpr : public CXXNamedCastExpr { 2519d125033a9853f3b572a4c9e2f9e2d4e5e346973John McCall CXXConstCastExpr(QualType ty, Expr *op, TypeSourceInfo *writtenTy, 25249badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor SourceLocation l) 25341b2dcd465f1e438502c420effc9d0c747f9db8fAnders Carlsson : CXXNamedCastExpr(CXXConstCastExprClass, ty, CK_NoOp, op, 254f871d0cc377a1367b519a6cce26be74607566ebaJohn McCall 0, writtenTy, l) {} 25549badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor 256ce757a7a1ee905f87551996a69da3e95e8afeeb7Sam Weinig explicit CXXConstCastExpr(EmptyShell Empty) 257f871d0cc377a1367b519a6cce26be74607566ebaJohn McCall : CXXNamedCastExpr(CXXConstCastExprClass, Empty, 0) { } 258f871d0cc377a1367b519a6cce26be74607566ebaJohn McCall 259f871d0cc377a1367b519a6cce26be74607566ebaJohn McCallpublic: 260f871d0cc377a1367b519a6cce26be74607566ebaJohn McCall static CXXConstCastExpr *Create(ASTContext &Context, QualType T, Expr *Op, 261f871d0cc377a1367b519a6cce26be74607566ebaJohn McCall TypeSourceInfo *WrittenTy, SourceLocation L); 262f871d0cc377a1367b519a6cce26be74607566ebaJohn McCall static CXXConstCastExpr *CreateEmpty(ASTContext &Context); 263ce757a7a1ee905f87551996a69da3e95e8afeeb7Sam Weinig 2641eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump static bool classof(const Stmt *T) { 26549badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor return T->getStmtClass() == CXXConstCastExprClass; 26649badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor } 26749badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor static bool classof(const CXXConstCastExpr *) { return true; } 2681060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek}; 2691060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek 2701060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek/// CXXBoolLiteralExpr - [C++ 2.13.5] C++ Boolean Literal. 2711eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump/// 2721060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenekclass CXXBoolLiteralExpr : public Expr { 2731060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek bool Value; 2741060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek SourceLocation Loc; 2751060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenekpublic: 2761eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump CXXBoolLiteralExpr(bool val, QualType Ty, SourceLocation l) : 2772333f7727f97018d6742e1e0938133bcfad967abEli Friedman Expr(CXXBoolLiteralExprClass, Ty, false, false), Value(val), Loc(l) {} 2788b0b475b3464b0f70b91ba7d679d23c424677d5eSebastian Redl 279eb7f96141f754150a92433286fa385910a22f494Sam Weinig explicit CXXBoolLiteralExpr(EmptyShell Empty) 280eb7f96141f754150a92433286fa385910a22f494Sam Weinig : Expr(CXXBoolLiteralExprClass, Empty) { } 281eb7f96141f754150a92433286fa385910a22f494Sam Weinig 2821060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek bool getValue() const { return Value; } 283eb7f96141f754150a92433286fa385910a22f494Sam Weinig void setValue(bool V) { Value = V; } 2845f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 2851060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek virtual SourceRange getSourceRange() const { return SourceRange(Loc); } 2861eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 287eb7f96141f754150a92433286fa385910a22f494Sam Weinig SourceLocation getLocation() const { return Loc; } 288eb7f96141f754150a92433286fa385910a22f494Sam Weinig void setLocation(SourceLocation L) { Loc = L; } 289eb7f96141f754150a92433286fa385910a22f494Sam Weinig 2901eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump static bool classof(const Stmt *T) { 2911060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek return T->getStmtClass() == CXXBoolLiteralExprClass; 2921060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek } 2931060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek static bool classof(const CXXBoolLiteralExpr *) { return true; } 2941eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 2951060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek // Iterators 2961060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek virtual child_iterator child_begin(); 2971060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek virtual child_iterator child_end(); 2981060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek}; 2991060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek 3006e8ed16ffef02b82995a90bdcf10ffff7d63839aSebastian Redl/// CXXNullPtrLiteralExpr - [C++0x 2.14.7] C++ Pointer Literal 3016e8ed16ffef02b82995a90bdcf10ffff7d63839aSebastian Redlclass CXXNullPtrLiteralExpr : public Expr { 3026e8ed16ffef02b82995a90bdcf10ffff7d63839aSebastian Redl SourceLocation Loc; 3036e8ed16ffef02b82995a90bdcf10ffff7d63839aSebastian Redlpublic: 3046e8ed16ffef02b82995a90bdcf10ffff7d63839aSebastian Redl CXXNullPtrLiteralExpr(QualType Ty, SourceLocation l) : 3052333f7727f97018d6742e1e0938133bcfad967abEli Friedman Expr(CXXNullPtrLiteralExprClass, Ty, false, false), Loc(l) {} 3066e8ed16ffef02b82995a90bdcf10ffff7d63839aSebastian Redl 307eb7f96141f754150a92433286fa385910a22f494Sam Weinig explicit CXXNullPtrLiteralExpr(EmptyShell Empty) 308eb7f96141f754150a92433286fa385910a22f494Sam Weinig : Expr(CXXNullPtrLiteralExprClass, Empty) { } 309eb7f96141f754150a92433286fa385910a22f494Sam Weinig 3106e8ed16ffef02b82995a90bdcf10ffff7d63839aSebastian Redl virtual SourceRange getSourceRange() const { return SourceRange(Loc); } 3116e8ed16ffef02b82995a90bdcf10ffff7d63839aSebastian Redl 312eb7f96141f754150a92433286fa385910a22f494Sam Weinig SourceLocation getLocation() const { return Loc; } 313eb7f96141f754150a92433286fa385910a22f494Sam Weinig void setLocation(SourceLocation L) { Loc = L; } 314eb7f96141f754150a92433286fa385910a22f494Sam Weinig 3156e8ed16ffef02b82995a90bdcf10ffff7d63839aSebastian Redl static bool classof(const Stmt *T) { 3166e8ed16ffef02b82995a90bdcf10ffff7d63839aSebastian Redl return T->getStmtClass() == CXXNullPtrLiteralExprClass; 3176e8ed16ffef02b82995a90bdcf10ffff7d63839aSebastian Redl } 3186e8ed16ffef02b82995a90bdcf10ffff7d63839aSebastian Redl static bool classof(const CXXNullPtrLiteralExpr *) { return true; } 3196e8ed16ffef02b82995a90bdcf10ffff7d63839aSebastian Redl 3206e8ed16ffef02b82995a90bdcf10ffff7d63839aSebastian Redl virtual child_iterator child_begin(); 3216e8ed16ffef02b82995a90bdcf10ffff7d63839aSebastian Redl virtual child_iterator child_end(); 3226e8ed16ffef02b82995a90bdcf10ffff7d63839aSebastian Redl}; 3236e8ed16ffef02b82995a90bdcf10ffff7d63839aSebastian Redl 324c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl/// CXXTypeidExpr - A C++ @c typeid expression (C++ [expr.typeid]), which gets 325c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl/// the type_info that corresponds to the supplied type, or the (possibly 326c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl/// dynamic) type of the supplied expression. 327c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl/// 328c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl/// This represents code like @c typeid(int) or @c typeid(*objPtr) 329c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redlclass CXXTypeidExpr : public Expr { 330c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redlprivate: 33157fdc8a4382164955c7b30d09f4ce46fc7e67659Douglas Gregor llvm::PointerUnion<Stmt *, TypeSourceInfo *> Operand; 332c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl SourceRange Range; 333c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl 334c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redlpublic: 33557fdc8a4382164955c7b30d09f4ce46fc7e67659Douglas Gregor CXXTypeidExpr(QualType Ty, TypeSourceInfo *Operand, SourceRange R) 33657fdc8a4382164955c7b30d09f4ce46fc7e67659Douglas Gregor : Expr(CXXTypeidExprClass, Ty, 33757fdc8a4382164955c7b30d09f4ce46fc7e67659Douglas Gregor // typeid is never type-dependent (C++ [temp.dep.expr]p4) 33857fdc8a4382164955c7b30d09f4ce46fc7e67659Douglas Gregor false, 33957fdc8a4382164955c7b30d09f4ce46fc7e67659Douglas Gregor // typeid is value-dependent if the type or expression are dependent 34057fdc8a4382164955c7b30d09f4ce46fc7e67659Douglas Gregor Operand->getType()->isDependentType()), 34157fdc8a4382164955c7b30d09f4ce46fc7e67659Douglas Gregor Operand(Operand), Range(R) { } 34257fdc8a4382164955c7b30d09f4ce46fc7e67659Douglas Gregor 34357fdc8a4382164955c7b30d09f4ce46fc7e67659Douglas Gregor CXXTypeidExpr(QualType Ty, Expr *Operand, SourceRange R) 34457fdc8a4382164955c7b30d09f4ce46fc7e67659Douglas Gregor : Expr(CXXTypeidExprClass, Ty, 3452850784bda09416fc7e9d57f5baa36c9351c757cSebastian Redl // typeid is never type-dependent (C++ [temp.dep.expr]p4) 3462850784bda09416fc7e9d57f5baa36c9351c757cSebastian Redl false, 3472850784bda09416fc7e9d57f5baa36c9351c757cSebastian Redl // typeid is value-dependent if the type or expression are dependent 34857fdc8a4382164955c7b30d09f4ce46fc7e67659Douglas Gregor Operand->isTypeDependent() || Operand->isValueDependent()), 34957fdc8a4382164955c7b30d09f4ce46fc7e67659Douglas Gregor Operand(Operand), Range(R) { } 350c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl 35114ab24f01e36d495fce183aa67b41e45cdd54f39Chris Lattner CXXTypeidExpr(EmptyShell Empty, bool isExpr) 35214ab24f01e36d495fce183aa67b41e45cdd54f39Chris Lattner : Expr(CXXTypeidExprClass, Empty) { 35314ab24f01e36d495fce183aa67b41e45cdd54f39Chris Lattner if (isExpr) 35414ab24f01e36d495fce183aa67b41e45cdd54f39Chris Lattner Operand = (Expr*)0; 35514ab24f01e36d495fce183aa67b41e45cdd54f39Chris Lattner else 35614ab24f01e36d495fce183aa67b41e45cdd54f39Chris Lattner Operand = (TypeSourceInfo*)0; 35714ab24f01e36d495fce183aa67b41e45cdd54f39Chris Lattner } 35814ab24f01e36d495fce183aa67b41e45cdd54f39Chris Lattner 35957fdc8a4382164955c7b30d09f4ce46fc7e67659Douglas Gregor bool isTypeOperand() const { return Operand.is<TypeSourceInfo *>(); } 36057fdc8a4382164955c7b30d09f4ce46fc7e67659Douglas Gregor 36157fdc8a4382164955c7b30d09f4ce46fc7e67659Douglas Gregor /// \brief Retrieves the type operand of this typeid() expression after 36257fdc8a4382164955c7b30d09f4ce46fc7e67659Douglas Gregor /// various required adjustments (removing reference types, cv-qualifiers). 36357fdc8a4382164955c7b30d09f4ce46fc7e67659Douglas Gregor QualType getTypeOperand() const; 36457fdc8a4382164955c7b30d09f4ce46fc7e67659Douglas Gregor 36557fdc8a4382164955c7b30d09f4ce46fc7e67659Douglas Gregor /// \brief Retrieve source information for the type operand. 36657fdc8a4382164955c7b30d09f4ce46fc7e67659Douglas Gregor TypeSourceInfo *getTypeOperandSourceInfo() const { 367c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl assert(isTypeOperand() && "Cannot call getTypeOperand for typeid(expr)"); 36857fdc8a4382164955c7b30d09f4ce46fc7e67659Douglas Gregor return Operand.get<TypeSourceInfo *>(); 369c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl } 37014ab24f01e36d495fce183aa67b41e45cdd54f39Chris Lattner 37114ab24f01e36d495fce183aa67b41e45cdd54f39Chris Lattner void setTypeOperandSourceInfo(TypeSourceInfo *TSI) { 37214ab24f01e36d495fce183aa67b41e45cdd54f39Chris Lattner assert(isTypeOperand() && "Cannot call getTypeOperand for typeid(expr)"); 37314ab24f01e36d495fce183aa67b41e45cdd54f39Chris Lattner Operand = TSI; 37414ab24f01e36d495fce183aa67b41e45cdd54f39Chris Lattner } 37557fdc8a4382164955c7b30d09f4ce46fc7e67659Douglas Gregor 37614ab24f01e36d495fce183aa67b41e45cdd54f39Chris Lattner Expr *getExprOperand() const { 377c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl assert(!isTypeOperand() && "Cannot call getExprOperand for typeid(type)"); 37857fdc8a4382164955c7b30d09f4ce46fc7e67659Douglas Gregor return static_cast<Expr*>(Operand.get<Stmt *>()); 379c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl } 38014ab24f01e36d495fce183aa67b41e45cdd54f39Chris Lattner 381030854b95f7bfd86aaa8afd9ae1aff9768a37e9aChris Lattner void setExprOperand(Expr *E) { 382030854b95f7bfd86aaa8afd9ae1aff9768a37e9aChris Lattner assert(!isTypeOperand() && "Cannot call getExprOperand for typeid(type)"); 383030854b95f7bfd86aaa8afd9ae1aff9768a37e9aChris Lattner Operand = E; 384030854b95f7bfd86aaa8afd9ae1aff9768a37e9aChris Lattner } 385030854b95f7bfd86aaa8afd9ae1aff9768a37e9aChris Lattner 38614ab24f01e36d495fce183aa67b41e45cdd54f39Chris Lattner virtual SourceRange getSourceRange() const { return Range; } 38714ab24f01e36d495fce183aa67b41e45cdd54f39Chris Lattner void setSourceRange(SourceRange R) { Range = R; } 38814ab24f01e36d495fce183aa67b41e45cdd54f39Chris Lattner 389c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl static bool classof(const Stmt *T) { 390c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl return T->getStmtClass() == CXXTypeidExprClass; 391c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl } 392c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl static bool classof(const CXXTypeidExpr *) { return true; } 393c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl 394c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl // Iterators 395c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl virtual child_iterator child_begin(); 396c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl virtual child_iterator child_end(); 397c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl}; 398c42e1183846228a7fa5143ad76507d6d60f5c6f3Sebastian Redl 399796da18402f286b897782a298ae3b20c459c102eDouglas Gregor/// CXXThisExpr - Represents the "this" expression in C++, which is a 400796da18402f286b897782a298ae3b20c459c102eDouglas Gregor/// pointer to the object on which the current member function is 401796da18402f286b897782a298ae3b20c459c102eDouglas Gregor/// executing (C++ [expr.prim]p3). Example: 402796da18402f286b897782a298ae3b20c459c102eDouglas Gregor/// 403796da18402f286b897782a298ae3b20c459c102eDouglas Gregor/// @code 404796da18402f286b897782a298ae3b20c459c102eDouglas Gregor/// class Foo { 405796da18402f286b897782a298ae3b20c459c102eDouglas Gregor/// public: 406796da18402f286b897782a298ae3b20c459c102eDouglas Gregor/// void bar(); 407796da18402f286b897782a298ae3b20c459c102eDouglas Gregor/// void test() { this->bar(); } 408796da18402f286b897782a298ae3b20c459c102eDouglas Gregor/// }; 409796da18402f286b897782a298ae3b20c459c102eDouglas Gregor/// @endcode 410796da18402f286b897782a298ae3b20c459c102eDouglas Gregorclass CXXThisExpr : public Expr { 411796da18402f286b897782a298ae3b20c459c102eDouglas Gregor SourceLocation Loc; 412828a197317288e3333b0ce6f5cedadd036e3531fDouglas Gregor bool Implicit : 1; 413828a197317288e3333b0ce6f5cedadd036e3531fDouglas Gregor 414796da18402f286b897782a298ae3b20c459c102eDouglas Gregorpublic: 415828a197317288e3333b0ce6f5cedadd036e3531fDouglas Gregor CXXThisExpr(SourceLocation L, QualType Type, bool isImplicit) 4162850784bda09416fc7e9d57f5baa36c9351c757cSebastian Redl : Expr(CXXThisExprClass, Type, 4172850784bda09416fc7e9d57f5baa36c9351c757cSebastian Redl // 'this' is type-dependent if the class type of the enclosing 4182850784bda09416fc7e9d57f5baa36c9351c757cSebastian Redl // member function is dependent (C++ [temp.dep.expr]p2) 4192850784bda09416fc7e9d57f5baa36c9351c757cSebastian Redl Type->isDependentType(), Type->isDependentType()), 420828a197317288e3333b0ce6f5cedadd036e3531fDouglas Gregor Loc(L), Implicit(isImplicit) { } 421796da18402f286b897782a298ae3b20c459c102eDouglas Gregor 4222fbdfcdf3bbf7b941853d38b123930755e837437Chris Lattner CXXThisExpr(EmptyShell Empty) : Expr(CXXThisExprClass, Empty) {} 4232fbdfcdf3bbf7b941853d38b123930755e837437Chris Lattner 4242fbdfcdf3bbf7b941853d38b123930755e837437Chris Lattner SourceLocation getLocation() const { return Loc; } 4252fbdfcdf3bbf7b941853d38b123930755e837437Chris Lattner void setLocation(SourceLocation L) { Loc = L; } 4262fbdfcdf3bbf7b941853d38b123930755e837437Chris Lattner 427796da18402f286b897782a298ae3b20c459c102eDouglas Gregor virtual SourceRange getSourceRange() const { return SourceRange(Loc); } 428796da18402f286b897782a298ae3b20c459c102eDouglas Gregor 429828a197317288e3333b0ce6f5cedadd036e3531fDouglas Gregor bool isImplicit() const { return Implicit; } 430828a197317288e3333b0ce6f5cedadd036e3531fDouglas Gregor void setImplicit(bool I) { Implicit = I; } 431828a197317288e3333b0ce6f5cedadd036e3531fDouglas Gregor 4321eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump static bool classof(const Stmt *T) { 433796da18402f286b897782a298ae3b20c459c102eDouglas Gregor return T->getStmtClass() == CXXThisExprClass; 434796da18402f286b897782a298ae3b20c459c102eDouglas Gregor } 435796da18402f286b897782a298ae3b20c459c102eDouglas Gregor static bool classof(const CXXThisExpr *) { return true; } 436796da18402f286b897782a298ae3b20c459c102eDouglas Gregor 437796da18402f286b897782a298ae3b20c459c102eDouglas Gregor // Iterators 438796da18402f286b897782a298ae3b20c459c102eDouglas Gregor virtual child_iterator child_begin(); 439796da18402f286b897782a298ae3b20c459c102eDouglas Gregor virtual child_iterator child_end(); 440796da18402f286b897782a298ae3b20c459c102eDouglas Gregor}; 441796da18402f286b897782a298ae3b20c459c102eDouglas Gregor 4421060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek/// CXXThrowExpr - [C++ 15] C++ Throw Expression. This handles 4431060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek/// 'throw' and 'throw' assignment-expression. When 4441060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek/// assignment-expression isn't present, Op will be null. 4451060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek/// 4461060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenekclass CXXThrowExpr : public Expr { 4471060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek Stmt *Op; 4481060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek SourceLocation ThrowLoc; 4491060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenekpublic: 4501060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek // Ty is the void type which is used as the result type of the 4511060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek // exepression. The l is the location of the throw keyword. expr 4521060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek // can by null, if the optional expression to throw isn't present. 4531060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek CXXThrowExpr(Expr *expr, QualType Ty, SourceLocation l) : 4542850784bda09416fc7e9d57f5baa36c9351c757cSebastian Redl Expr(CXXThrowExprClass, Ty, false, false), Op(expr), ThrowLoc(l) {} 4552fbdfcdf3bbf7b941853d38b123930755e837437Chris Lattner CXXThrowExpr(EmptyShell Empty) : Expr(CXXThrowExprClass, Empty) {} 4562fbdfcdf3bbf7b941853d38b123930755e837437Chris Lattner 4571060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek const Expr *getSubExpr() const { return cast_or_null<Expr>(Op); } 4581060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek Expr *getSubExpr() { return cast_or_null<Expr>(Op); } 45942e5b50f4dc897f252e0d476063a7f9846d96624Douglas Gregor void setSubExpr(Expr *E) { Op = E; } 46042e5b50f4dc897f252e0d476063a7f9846d96624Douglas Gregor 46142e5b50f4dc897f252e0d476063a7f9846d96624Douglas Gregor SourceLocation getThrowLoc() const { return ThrowLoc; } 46242e5b50f4dc897f252e0d476063a7f9846d96624Douglas Gregor void setThrowLoc(SourceLocation L) { ThrowLoc = L; } 4631060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek 4641060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek virtual SourceRange getSourceRange() const { 4651060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek if (getSubExpr() == 0) 4661060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek return SourceRange(ThrowLoc, ThrowLoc); 4671060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek return SourceRange(ThrowLoc, getSubExpr()->getSourceRange().getEnd()); 4681060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek } 4691060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek 4701060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek static bool classof(const Stmt *T) { 4711060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek return T->getStmtClass() == CXXThrowExprClass; 4721060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek } 4731060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek static bool classof(const CXXThrowExpr *) { return true; } 4741060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek 4751060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek // Iterators 4761060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek virtual child_iterator child_begin(); 4771060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek virtual child_iterator child_end(); 4781060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek}; 4791060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek 4801060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek/// CXXDefaultArgExpr - C++ [dcl.fct.default]. This wraps up a 4811060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek/// function call argument that was created from the corresponding 4821060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek/// parameter's default argument, when the call did not explicitly 4831060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek/// supply arguments for all of the parameters. 4841060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenekclass CXXDefaultArgExpr : public Expr { 48565222e82d97af2120b3952d19cbd3cd923f4b43eDouglas Gregor /// \brief The parameter whose default is being used. 48665222e82d97af2120b3952d19cbd3cd923f4b43eDouglas Gregor /// 48765222e82d97af2120b3952d19cbd3cd923f4b43eDouglas Gregor /// When the bit is set, the subexpression is stored after the 48865222e82d97af2120b3952d19cbd3cd923f4b43eDouglas Gregor /// CXXDefaultArgExpr itself. When the bit is clear, the parameter's 48965222e82d97af2120b3952d19cbd3cd923f4b43eDouglas Gregor /// actual default expression is the subexpression. 49065222e82d97af2120b3952d19cbd3cd923f4b43eDouglas Gregor llvm::PointerIntPair<ParmVarDecl *, 1, bool> Param; 4911eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 492036aed18662e0193aafe0e8ae13d2e57efe6df25Douglas Gregor /// \brief The location where the default argument expression was used. 493036aed18662e0193aafe0e8ae13d2e57efe6df25Douglas Gregor SourceLocation Loc; 494036aed18662e0193aafe0e8ae13d2e57efe6df25Douglas Gregor 495036aed18662e0193aafe0e8ae13d2e57efe6df25Douglas Gregor CXXDefaultArgExpr(StmtClass SC, SourceLocation Loc, ParmVarDecl *param) 49665222e82d97af2120b3952d19cbd3cd923f4b43eDouglas Gregor : Expr(SC, 49765222e82d97af2120b3952d19cbd3cd923f4b43eDouglas Gregor param->hasUnparsedDefaultArg() 49865222e82d97af2120b3952d19cbd3cd923f4b43eDouglas Gregor ? param->getType().getNonReferenceType() 4992333f7727f97018d6742e1e0938133bcfad967abEli Friedman : param->getDefaultArg()->getType(), 5002333f7727f97018d6742e1e0938133bcfad967abEli Friedman false, false), 501036aed18662e0193aafe0e8ae13d2e57efe6df25Douglas Gregor Param(param, false), Loc(Loc) { } 50265222e82d97af2120b3952d19cbd3cd923f4b43eDouglas Gregor 503036aed18662e0193aafe0e8ae13d2e57efe6df25Douglas Gregor CXXDefaultArgExpr(StmtClass SC, SourceLocation Loc, ParmVarDecl *param, 504036aed18662e0193aafe0e8ae13d2e57efe6df25Douglas Gregor Expr *SubExpr) 505030854b95f7bfd86aaa8afd9ae1aff9768a37e9aChris Lattner : Expr(SC, SubExpr->getType(), false, false), Param(param, true), Loc(Loc) { 50665222e82d97af2120b3952d19cbd3cd923f4b43eDouglas Gregor *reinterpret_cast<Expr **>(this + 1) = SubExpr; 50765222e82d97af2120b3952d19cbd3cd923f4b43eDouglas Gregor } 50865222e82d97af2120b3952d19cbd3cd923f4b43eDouglas Gregor 5091060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenekpublic: 510030854b95f7bfd86aaa8afd9ae1aff9768a37e9aChris Lattner CXXDefaultArgExpr(EmptyShell Empty) : Expr(CXXDefaultArgExprClass, Empty) {} 511030854b95f7bfd86aaa8afd9ae1aff9768a37e9aChris Lattner 512030854b95f7bfd86aaa8afd9ae1aff9768a37e9aChris Lattner 5131060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek // Param is the parameter whose default argument is used by this 5141060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek // expression. 515036aed18662e0193aafe0e8ae13d2e57efe6df25Douglas Gregor static CXXDefaultArgExpr *Create(ASTContext &C, SourceLocation Loc, 516036aed18662e0193aafe0e8ae13d2e57efe6df25Douglas Gregor ParmVarDecl *Param) { 517036aed18662e0193aafe0e8ae13d2e57efe6df25Douglas Gregor return new (C) CXXDefaultArgExpr(CXXDefaultArgExprClass, Loc, Param); 518f1480eee38b59d15438fb7bc50865ac7c7e22403Anders Carlsson } 5191060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek 52065222e82d97af2120b3952d19cbd3cd923f4b43eDouglas Gregor // Param is the parameter whose default argument is used by this 52165222e82d97af2120b3952d19cbd3cd923f4b43eDouglas Gregor // expression, and SubExpr is the expression that will actually be used. 522036aed18662e0193aafe0e8ae13d2e57efe6df25Douglas Gregor static CXXDefaultArgExpr *Create(ASTContext &C, 523036aed18662e0193aafe0e8ae13d2e57efe6df25Douglas Gregor SourceLocation Loc, 524036aed18662e0193aafe0e8ae13d2e57efe6df25Douglas Gregor ParmVarDecl *Param, 52565222e82d97af2120b3952d19cbd3cd923f4b43eDouglas Gregor Expr *SubExpr); 52665222e82d97af2120b3952d19cbd3cd923f4b43eDouglas Gregor 5271060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek // Retrieve the parameter that the argument was created from. 52865222e82d97af2120b3952d19cbd3cd923f4b43eDouglas Gregor const ParmVarDecl *getParam() const { return Param.getPointer(); } 52965222e82d97af2120b3952d19cbd3cd923f4b43eDouglas Gregor ParmVarDecl *getParam() { return Param.getPointer(); } 530030854b95f7bfd86aaa8afd9ae1aff9768a37e9aChris Lattner 5311060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek // Retrieve the actual argument to the function call. 53265222e82d97af2120b3952d19cbd3cd923f4b43eDouglas Gregor const Expr *getExpr() const { 53365222e82d97af2120b3952d19cbd3cd923f4b43eDouglas Gregor if (Param.getInt()) 53465222e82d97af2120b3952d19cbd3cd923f4b43eDouglas Gregor return *reinterpret_cast<Expr const * const*> (this + 1); 53565222e82d97af2120b3952d19cbd3cd923f4b43eDouglas Gregor return getParam()->getDefaultArg(); 53665222e82d97af2120b3952d19cbd3cd923f4b43eDouglas Gregor } 53765222e82d97af2120b3952d19cbd3cd923f4b43eDouglas Gregor Expr *getExpr() { 53865222e82d97af2120b3952d19cbd3cd923f4b43eDouglas Gregor if (Param.getInt()) 53965222e82d97af2120b3952d19cbd3cd923f4b43eDouglas Gregor return *reinterpret_cast<Expr **> (this + 1); 54065222e82d97af2120b3952d19cbd3cd923f4b43eDouglas Gregor return getParam()->getDefaultArg(); 54165222e82d97af2120b3952d19cbd3cd923f4b43eDouglas Gregor } 5421060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek 543036aed18662e0193aafe0e8ae13d2e57efe6df25Douglas Gregor /// \brief Retrieve the location where this default argument was actually 544036aed18662e0193aafe0e8ae13d2e57efe6df25Douglas Gregor /// used. 545036aed18662e0193aafe0e8ae13d2e57efe6df25Douglas Gregor SourceLocation getUsedLocation() const { return Loc; } 546036aed18662e0193aafe0e8ae13d2e57efe6df25Douglas Gregor 5471060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek virtual SourceRange getSourceRange() const { 5481060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek // Default argument expressions have no representation in the 5491060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek // source, so they have an empty source range. 5501060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek return SourceRange(); 5511060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek } 5521060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek 5531060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek static bool classof(const Stmt *T) { 5541060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek return T->getStmtClass() == CXXDefaultArgExprClass; 5551060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek } 5561060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek static bool classof(const CXXDefaultArgExpr *) { return true; } 5571060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek 5581060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek // Iterators 5591060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek virtual child_iterator child_begin(); 5601060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek virtual child_iterator child_end(); 5618a50733034edd6a349b34e2b9f0c8d0a874846d3Argyrios Kyrtzidis 5628a50733034edd6a349b34e2b9f0c8d0a874846d3Argyrios Kyrtzidis friend class PCHStmtReader; 5638a50733034edd6a349b34e2b9f0c8d0a874846d3Argyrios Kyrtzidis friend class PCHStmtWriter; 5641060aff23f72135f8b50034a1e80f16725ebc56cTed Kremenek}; 565987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis 566c1ce477119fed070299668aab24084b17ff5f14bAnders Carlsson/// CXXTemporary - Represents a C++ temporary. 567c1ce477119fed070299668aab24084b17ff5f14bAnders Carlssonclass CXXTemporary { 568c1ce477119fed070299668aab24084b17ff5f14bAnders Carlsson /// Destructor - The destructor that needs to be called. 569b859f35459ae3e1188d1e1b86df08d649695fd86Anders Carlsson const CXXDestructorDecl *Destructor; 5701eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 571b859f35459ae3e1188d1e1b86df08d649695fd86Anders Carlsson CXXTemporary(const CXXDestructorDecl *destructor) 572c1ce477119fed070299668aab24084b17ff5f14bAnders Carlsson : Destructor(destructor) { } 573c1ce477119fed070299668aab24084b17ff5f14bAnders Carlsson 574c1ce477119fed070299668aab24084b17ff5f14bAnders Carlssonpublic: 5751eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump static CXXTemporary *Create(ASTContext &C, 576b859f35459ae3e1188d1e1b86df08d649695fd86Anders Carlsson const CXXDestructorDecl *Destructor); 5771eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 578f0721fe438d7e40c168e5d664970e7830bc138fbAnders Carlsson const CXXDestructorDecl *getDestructor() const { return Destructor; } 579c1ce477119fed070299668aab24084b17ff5f14bAnders Carlsson}; 580fceb0a8adba9d25db99a4d73e9655c2831a96ecdAnders Carlsson 581ddfe960d252a93525692b547945236d361d1929fChandler Carruth/// \brief Represents binding an expression to a temporary. 582ddfe960d252a93525692b547945236d361d1929fChandler Carruth/// 583ddfe960d252a93525692b547945236d361d1929fChandler Carruth/// This ensures the destructor is called for the temporary. It should only be 584ddfe960d252a93525692b547945236d361d1929fChandler Carruth/// needed for non-POD, non-trivially destructable class types. For example: 585ddfe960d252a93525692b547945236d361d1929fChandler Carruth/// 586ddfe960d252a93525692b547945236d361d1929fChandler Carruth/// \code 587ddfe960d252a93525692b547945236d361d1929fChandler Carruth/// struct S { 588ddfe960d252a93525692b547945236d361d1929fChandler Carruth/// S() { } // User defined constructor makes S non-POD. 589ddfe960d252a93525692b547945236d361d1929fChandler Carruth/// ~S() { } // User defined destructor makes it non-trivial. 590ddfe960d252a93525692b547945236d361d1929fChandler Carruth/// }; 591ddfe960d252a93525692b547945236d361d1929fChandler Carruth/// void test() { 592ddfe960d252a93525692b547945236d361d1929fChandler Carruth/// const S &s_ref = S(); // Requires a CXXBindTemporaryExpr. 593ddfe960d252a93525692b547945236d361d1929fChandler Carruth/// } 594ddfe960d252a93525692b547945236d361d1929fChandler Carruth/// \endcode 595fceb0a8adba9d25db99a4d73e9655c2831a96ecdAnders Carlssonclass CXXBindTemporaryExpr : public Expr { 596fceb0a8adba9d25db99a4d73e9655c2831a96ecdAnders Carlsson CXXTemporary *Temp; 5971eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 598fceb0a8adba9d25db99a4d73e9655c2831a96ecdAnders Carlsson Stmt *SubExpr; 599fceb0a8adba9d25db99a4d73e9655c2831a96ecdAnders Carlsson 6001eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump CXXBindTemporaryExpr(CXXTemporary *temp, Expr* subexpr) 6012333f7727f97018d6742e1e0938133bcfad967abEli Friedman : Expr(CXXBindTemporaryExprClass, subexpr->getType(), false, false), 6022333f7727f97018d6742e1e0938133bcfad967abEli Friedman Temp(temp), SubExpr(subexpr) { } 60388eaf075c56672761b72cc50957db4a35bf24ebdAnders Carlsson 604fceb0a8adba9d25db99a4d73e9655c2831a96ecdAnders Carlssonpublic: 605d2598368876cfe40bc8465540033bc5b5e58d8afChris Lattner CXXBindTemporaryExpr(EmptyShell Empty) 606d2598368876cfe40bc8465540033bc5b5e58d8afChris Lattner : Expr(CXXBindTemporaryExprClass, Empty), Temp(0), SubExpr(0) {} 607d2598368876cfe40bc8465540033bc5b5e58d8afChris Lattner 6081eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump static CXXBindTemporaryExpr *Create(ASTContext &C, CXXTemporary *Temp, 609fceb0a8adba9d25db99a4d73e9655c2831a96ecdAnders Carlsson Expr* SubExpr); 6101eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 61188eaf075c56672761b72cc50957db4a35bf24ebdAnders Carlsson CXXTemporary *getTemporary() { return Temp; } 612f0721fe438d7e40c168e5d664970e7830bc138fbAnders Carlsson const CXXTemporary *getTemporary() const { return Temp; } 613d2598368876cfe40bc8465540033bc5b5e58d8afChris Lattner void setTemporary(CXXTemporary *T) { Temp = T; } 614f0721fe438d7e40c168e5d664970e7830bc138fbAnders Carlsson 615fceb0a8adba9d25db99a4d73e9655c2831a96ecdAnders Carlsson const Expr *getSubExpr() const { return cast<Expr>(SubExpr); } 616fceb0a8adba9d25db99a4d73e9655c2831a96ecdAnders Carlsson Expr *getSubExpr() { return cast<Expr>(SubExpr); } 61788eaf075c56672761b72cc50957db4a35bf24ebdAnders Carlsson void setSubExpr(Expr *E) { SubExpr = E; } 618fceb0a8adba9d25db99a4d73e9655c2831a96ecdAnders Carlsson 61996be6917e1c4ba1f4435a14c9e7c6c139571d086Douglas Gregor virtual SourceRange getSourceRange() const { 62096be6917e1c4ba1f4435a14c9e7c6c139571d086Douglas Gregor return SubExpr->getSourceRange(); 62196be6917e1c4ba1f4435a14c9e7c6c139571d086Douglas Gregor } 622fceb0a8adba9d25db99a4d73e9655c2831a96ecdAnders Carlsson 623fceb0a8adba9d25db99a4d73e9655c2831a96ecdAnders Carlsson // Implement isa/cast/dyncast/etc. 624fceb0a8adba9d25db99a4d73e9655c2831a96ecdAnders Carlsson static bool classof(const Stmt *T) { 625fceb0a8adba9d25db99a4d73e9655c2831a96ecdAnders Carlsson return T->getStmtClass() == CXXBindTemporaryExprClass; 626fceb0a8adba9d25db99a4d73e9655c2831a96ecdAnders Carlsson } 627fceb0a8adba9d25db99a4d73e9655c2831a96ecdAnders Carlsson static bool classof(const CXXBindTemporaryExpr *) { return true; } 628fceb0a8adba9d25db99a4d73e9655c2831a96ecdAnders Carlsson 629fceb0a8adba9d25db99a4d73e9655c2831a96ecdAnders Carlsson // Iterators 630fceb0a8adba9d25db99a4d73e9655c2831a96ecdAnders Carlsson virtual child_iterator child_begin(); 631fceb0a8adba9d25db99a4d73e9655c2831a96ecdAnders Carlsson virtual child_iterator child_end(); 632fceb0a8adba9d25db99a4d73e9655c2831a96ecdAnders Carlsson}; 633fceb0a8adba9d25db99a4d73e9655c2831a96ecdAnders Carlsson 634eb60edffa147e061278c436e513b0df9b4c4e7f6Anders Carlsson/// CXXBindReferenceExpr - Represents binding an expression to a reference. 635eb60edffa147e061278c436e513b0df9b4c4e7f6Anders Carlsson/// In the example: 636eb60edffa147e061278c436e513b0df9b4c4e7f6Anders Carlsson/// 637eb60edffa147e061278c436e513b0df9b4c4e7f6Anders Carlsson/// const int &i = 10; 638eb60edffa147e061278c436e513b0df9b4c4e7f6Anders Carlsson/// 639eb60edffa147e061278c436e513b0df9b4c4e7f6Anders Carlsson/// a bind reference expression is inserted to indicate that 10 is bound to 640d2598368876cfe40bc8465540033bc5b5e58d8afChris Lattner/// a reference, and that a temporary needs to be created to hold the 641d2598368876cfe40bc8465540033bc5b5e58d8afChris Lattner/// value. 642eb60edffa147e061278c436e513b0df9b4c4e7f6Anders Carlssonclass CXXBindReferenceExpr : public Expr { 643eb60edffa147e061278c436e513b0df9b4c4e7f6Anders Carlsson // SubExpr - The expression being bound. 644eb60edffa147e061278c436e513b0df9b4c4e7f6Anders Carlsson Stmt *SubExpr; 645eb60edffa147e061278c436e513b0df9b4c4e7f6Anders Carlsson 646eb60edffa147e061278c436e513b0df9b4c4e7f6Anders Carlsson // ExtendsLifetime - Whether binding this reference extends the lifetime of 647eb60edffa147e061278c436e513b0df9b4c4e7f6Anders Carlsson // the expression being bound. FIXME: Add C++ reference. 648eb60edffa147e061278c436e513b0df9b4c4e7f6Anders Carlsson bool ExtendsLifetime; 649eb60edffa147e061278c436e513b0df9b4c4e7f6Anders Carlsson 650eb60edffa147e061278c436e513b0df9b4c4e7f6Anders Carlsson /// RequiresTemporaryCopy - Whether binding the subexpression requires a 651eb60edffa147e061278c436e513b0df9b4c4e7f6Anders Carlsson /// temporary copy. 652eb60edffa147e061278c436e513b0df9b4c4e7f6Anders Carlsson bool RequiresTemporaryCopy; 653eb60edffa147e061278c436e513b0df9b4c4e7f6Anders Carlsson 654eb60edffa147e061278c436e513b0df9b4c4e7f6Anders Carlsson CXXBindReferenceExpr(Expr *subexpr, bool ExtendsLifetime, 655eb60edffa147e061278c436e513b0df9b4c4e7f6Anders Carlsson bool RequiresTemporaryCopy) 656eb60edffa147e061278c436e513b0df9b4c4e7f6Anders Carlsson : Expr(CXXBindReferenceExprClass, subexpr->getType(), false, false), 657eb60edffa147e061278c436e513b0df9b4c4e7f6Anders Carlsson SubExpr(subexpr), ExtendsLifetime(ExtendsLifetime), 658eb60edffa147e061278c436e513b0df9b4c4e7f6Anders Carlsson RequiresTemporaryCopy(RequiresTemporaryCopy) { } 659eb60edffa147e061278c436e513b0df9b4c4e7f6Anders Carlsson 660eb60edffa147e061278c436e513b0df9b4c4e7f6Anders Carlssonpublic: 661eb60edffa147e061278c436e513b0df9b4c4e7f6Anders Carlsson static CXXBindReferenceExpr *Create(ASTContext &C, Expr *SubExpr, 662eb60edffa147e061278c436e513b0df9b4c4e7f6Anders Carlsson bool ExtendsLifetime, 663eb60edffa147e061278c436e513b0df9b4c4e7f6Anders Carlsson bool RequiresTemporaryCopy); 6646d00c1365dd3601f6d93bbda9162913c57ae788fArgyrios Kyrtzidis 6656d00c1365dd3601f6d93bbda9162913c57ae788fArgyrios Kyrtzidis explicit CXXBindReferenceExpr(EmptyShell Empty) 6666d00c1365dd3601f6d93bbda9162913c57ae788fArgyrios Kyrtzidis : Expr(CXXBindReferenceExprClass, Empty) { } 667eb60edffa147e061278c436e513b0df9b4c4e7f6Anders Carlsson 668eb60edffa147e061278c436e513b0df9b4c4e7f6Anders Carlsson const Expr *getSubExpr() const { return cast<Expr>(SubExpr); } 669eb60edffa147e061278c436e513b0df9b4c4e7f6Anders Carlsson Expr *getSubExpr() { return cast<Expr>(SubExpr); } 670eb60edffa147e061278c436e513b0df9b4c4e7f6Anders Carlsson void setSubExpr(Expr *E) { SubExpr = E; } 671eb60edffa147e061278c436e513b0df9b4c4e7f6Anders Carlsson 672eb60edffa147e061278c436e513b0df9b4c4e7f6Anders Carlsson virtual SourceRange getSourceRange() const { 673eb60edffa147e061278c436e513b0df9b4c4e7f6Anders Carlsson return SubExpr->getSourceRange(); 674eb60edffa147e061278c436e513b0df9b4c4e7f6Anders Carlsson } 675eb60edffa147e061278c436e513b0df9b4c4e7f6Anders Carlsson 6764e1c181e2bb378dad55dd25c18611e3a0fb6c22aAnders Carlsson /// requiresTemporaryCopy - Whether binding the subexpression requires a 6774e1c181e2bb378dad55dd25c18611e3a0fb6c22aAnders Carlsson /// temporary copy. 6784e1c181e2bb378dad55dd25c18611e3a0fb6c22aAnders Carlsson bool requiresTemporaryCopy() const { return RequiresTemporaryCopy; } 6794e1c181e2bb378dad55dd25c18611e3a0fb6c22aAnders Carlsson 6804e1c181e2bb378dad55dd25c18611e3a0fb6c22aAnders Carlsson // extendsLifetime - Whether binding this reference extends the lifetime of 6814e1c181e2bb378dad55dd25c18611e3a0fb6c22aAnders Carlsson // the expression being bound. FIXME: Add C++ reference. 6826d00c1365dd3601f6d93bbda9162913c57ae788fArgyrios Kyrtzidis bool extendsLifetime() const { return ExtendsLifetime; } 6834e1c181e2bb378dad55dd25c18611e3a0fb6c22aAnders Carlsson 684eb60edffa147e061278c436e513b0df9b4c4e7f6Anders Carlsson // Implement isa/cast/dyncast/etc. 685eb60edffa147e061278c436e513b0df9b4c4e7f6Anders Carlsson static bool classof(const Stmt *T) { 686eb60edffa147e061278c436e513b0df9b4c4e7f6Anders Carlsson return T->getStmtClass() == CXXBindReferenceExprClass; 687eb60edffa147e061278c436e513b0df9b4c4e7f6Anders Carlsson } 688eb60edffa147e061278c436e513b0df9b4c4e7f6Anders Carlsson static bool classof(const CXXBindReferenceExpr *) { return true; } 689eb60edffa147e061278c436e513b0df9b4c4e7f6Anders Carlsson 690eb60edffa147e061278c436e513b0df9b4c4e7f6Anders Carlsson // Iterators 691eb60edffa147e061278c436e513b0df9b4c4e7f6Anders Carlsson virtual child_iterator child_begin(); 692eb60edffa147e061278c436e513b0df9b4c4e7f6Anders Carlsson virtual child_iterator child_end(); 6936d00c1365dd3601f6d93bbda9162913c57ae788fArgyrios Kyrtzidis 6946d00c1365dd3601f6d93bbda9162913c57ae788fArgyrios Kyrtzidis friend class PCHStmtReader; 695eb60edffa147e061278c436e513b0df9b4c4e7f6Anders Carlsson}; 696eb60edffa147e061278c436e513b0df9b4c4e7f6Anders Carlsson 69715ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson/// CXXConstructExpr - Represents a call to a C++ constructor. 69815ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlssonclass CXXConstructExpr : public Expr { 69972e96fd181b19b8d01144a685cda6e955584c7eaAnders Carlssonpublic: 70072e96fd181b19b8d01144a685cda6e955584c7eaAnders Carlsson enum ConstructionKind { 70172e96fd181b19b8d01144a685cda6e955584c7eaAnders Carlsson CK_Complete, 70272e96fd181b19b8d01144a685cda6e955584c7eaAnders Carlsson CK_NonVirtualBase, 70372e96fd181b19b8d01144a685cda6e955584c7eaAnders Carlsson CK_VirtualBase 70472e96fd181b19b8d01144a685cda6e955584c7eaAnders Carlsson }; 70572e96fd181b19b8d01144a685cda6e955584c7eaAnders Carlsson 70672e96fd181b19b8d01144a685cda6e955584c7eaAnders Carlssonprivate: 70715ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson CXXConstructorDecl *Constructor; 70815ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson 70999a2e600f9e2e51d3ce10fb6f27191677ac65b2aDouglas Gregor SourceLocation Loc; 71016006c901315fa12a108b4e571f187f4b676e426Douglas Gregor bool Elidable : 1; 71116006c901315fa12a108b4e571f187f4b676e426Douglas Gregor bool ZeroInitialization : 1; 71272e96fd181b19b8d01144a685cda6e955584c7eaAnders Carlsson unsigned ConstructKind : 2; 71315ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson Stmt **Args; 71415ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson unsigned NumArgs; 7151eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 716bd6734e5f6432ce0cc07171c490ffaa094796198Anders Carlssonprotected: 7171eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump CXXConstructExpr(ASTContext &C, StmtClass SC, QualType T, 71899a2e600f9e2e51d3ce10fb6f27191677ac65b2aDouglas Gregor SourceLocation Loc, 719bd6734e5f6432ce0cc07171c490ffaa094796198Anders Carlsson CXXConstructorDecl *d, bool elidable, 72016006c901315fa12a108b4e571f187f4b676e426Douglas Gregor Expr **args, unsigned numargs, 7219db7dbb918ca49f4ee6c181e4917e7b6ec547353Douglas Gregor bool ZeroInitialization = false, 72272e96fd181b19b8d01144a685cda6e955584c7eaAnders Carlsson ConstructionKind ConstructKind = CK_Complete); 723bd6734e5f6432ce0cc07171c490ffaa094796198Anders Carlsson 7246d00c1365dd3601f6d93bbda9162913c57ae788fArgyrios Kyrtzidis /// \brief Construct an empty C++ construction expression. 7256d00c1365dd3601f6d93bbda9162913c57ae788fArgyrios Kyrtzidis CXXConstructExpr(StmtClass SC, EmptyShell Empty) 7266d00c1365dd3601f6d93bbda9162913c57ae788fArgyrios Kyrtzidis : Expr(SC, Empty), Constructor(0), Elidable(0), ZeroInitialization(0), 7276d00c1365dd3601f6d93bbda9162913c57ae788fArgyrios Kyrtzidis ConstructKind(0), Args(0), NumArgs(0) { } 7286d00c1365dd3601f6d93bbda9162913c57ae788fArgyrios Kyrtzidis 72915ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlssonpublic: 7306d00c1365dd3601f6d93bbda9162913c57ae788fArgyrios Kyrtzidis /// \brief Construct an empty C++ construction expression. 7316d00c1365dd3601f6d93bbda9162913c57ae788fArgyrios Kyrtzidis explicit CXXConstructExpr(EmptyShell Empty) 7326d00c1365dd3601f6d93bbda9162913c57ae788fArgyrios Kyrtzidis : Expr(CXXConstructExprClass, Empty), Constructor(0), 7336d00c1365dd3601f6d93bbda9162913c57ae788fArgyrios Kyrtzidis Elidable(0), ZeroInitialization(0), 7346d00c1365dd3601f6d93bbda9162913c57ae788fArgyrios Kyrtzidis ConstructKind(0), Args(0), NumArgs(0) { } 7356d00c1365dd3601f6d93bbda9162913c57ae788fArgyrios Kyrtzidis 7368e587a15da6d3457a418239d5eb4146fcbd209f3Anders Carlsson static CXXConstructExpr *Create(ASTContext &C, QualType T, 73799a2e600f9e2e51d3ce10fb6f27191677ac65b2aDouglas Gregor SourceLocation Loc, 7381eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump CXXConstructorDecl *D, bool Elidable, 73916006c901315fa12a108b4e571f187f4b676e426Douglas Gregor Expr **Args, unsigned NumArgs, 7409db7dbb918ca49f4ee6c181e4917e7b6ec547353Douglas Gregor bool ZeroInitialization = false, 741fcaeef2ae00ec643eb024e0aca2c98701cf5627cAnders Carlsson ConstructionKind ConstructKind = CK_Complete); 7421eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 7431eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 744d94546a0a1deef7286c13e49b9584621ae81cc9aDouglas Gregor CXXConstructorDecl* getConstructor() const { return Constructor; } 74539da0b8145eaec7da7004f9b3645c5c9f4f63b1dDouglas Gregor void setConstructor(CXXConstructorDecl *C) { Constructor = C; } 74639da0b8145eaec7da7004f9b3645c5c9f4f63b1dDouglas Gregor 74799a2e600f9e2e51d3ce10fb6f27191677ac65b2aDouglas Gregor SourceLocation getLocation() const { return Loc; } 74899a2e600f9e2e51d3ce10fb6f27191677ac65b2aDouglas Gregor void setLocation(SourceLocation Loc) { this->Loc = Loc; } 74999a2e600f9e2e51d3ce10fb6f27191677ac65b2aDouglas Gregor 750d94546a0a1deef7286c13e49b9584621ae81cc9aDouglas Gregor /// \brief Whether this construction is elidable. 751d94546a0a1deef7286c13e49b9584621ae81cc9aDouglas Gregor bool isElidable() const { return Elidable; } 75239da0b8145eaec7da7004f9b3645c5c9f4f63b1dDouglas Gregor void setElidable(bool E) { Elidable = E; } 75339da0b8145eaec7da7004f9b3645c5c9f4f63b1dDouglas Gregor 75416006c901315fa12a108b4e571f187f4b676e426Douglas Gregor /// \brief Whether this construction first requires 75516006c901315fa12a108b4e571f187f4b676e426Douglas Gregor /// zero-initialization before the initializer is called. 75616006c901315fa12a108b4e571f187f4b676e426Douglas Gregor bool requiresZeroInitialization() const { return ZeroInitialization; } 75716006c901315fa12a108b4e571f187f4b676e426Douglas Gregor void setRequiresZeroInitialization(bool ZeroInit) { 75816006c901315fa12a108b4e571f187f4b676e426Douglas Gregor ZeroInitialization = ZeroInit; 75916006c901315fa12a108b4e571f187f4b676e426Douglas Gregor } 76016006c901315fa12a108b4e571f187f4b676e426Douglas Gregor 7619db7dbb918ca49f4ee6c181e4917e7b6ec547353Douglas Gregor /// \brief Determines whether this constructor is actually constructing 7629db7dbb918ca49f4ee6c181e4917e7b6ec547353Douglas Gregor /// a base class (rather than a complete object). 76324eb78e38aba55c507bc3c05c37035a9ab2defa7Anders Carlsson ConstructionKind getConstructionKind() const { 76424eb78e38aba55c507bc3c05c37035a9ab2defa7Anders Carlsson return (ConstructionKind)ConstructKind; 76572e96fd181b19b8d01144a685cda6e955584c7eaAnders Carlsson } 76672e96fd181b19b8d01144a685cda6e955584c7eaAnders Carlsson void setConstructionKind(ConstructionKind CK) { 76772e96fd181b19b8d01144a685cda6e955584c7eaAnders Carlsson ConstructKind = CK; 76872e96fd181b19b8d01144a685cda6e955584c7eaAnders Carlsson } 7699db7dbb918ca49f4ee6c181e4917e7b6ec547353Douglas Gregor 77015ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson typedef ExprIterator arg_iterator; 77115ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson typedef ConstExprIterator const_arg_iterator; 7721eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 77315ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson arg_iterator arg_begin() { return Args; } 77415ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson arg_iterator arg_end() { return Args + NumArgs; } 77515ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson const_arg_iterator arg_begin() const { return Args; } 77615ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson const_arg_iterator arg_end() const { return Args + NumArgs; } 77715ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson 778a88cfbfac9bbcbb9858f048d6d73a48711d8e93dDouglas Gregor Expr **getArgs() const { return reinterpret_cast<Expr **>(Args); } 77915ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson unsigned getNumArgs() const { return NumArgs; } 78015ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson 781bcb11d01c034f967503bd98f28bdf458c1ab8001Anders Carlsson /// getArg - Return the specified argument. 782bcb11d01c034f967503bd98f28bdf458c1ab8001Anders Carlsson Expr *getArg(unsigned Arg) { 783bcb11d01c034f967503bd98f28bdf458c1ab8001Anders Carlsson assert(Arg < NumArgs && "Arg access out of range!"); 784bcb11d01c034f967503bd98f28bdf458c1ab8001Anders Carlsson return cast<Expr>(Args[Arg]); 785bcb11d01c034f967503bd98f28bdf458c1ab8001Anders Carlsson } 786bcb11d01c034f967503bd98f28bdf458c1ab8001Anders Carlsson const Expr *getArg(unsigned Arg) const { 787bcb11d01c034f967503bd98f28bdf458c1ab8001Anders Carlsson assert(Arg < NumArgs && "Arg access out of range!"); 788bcb11d01c034f967503bd98f28bdf458c1ab8001Anders Carlsson return cast<Expr>(Args[Arg]); 789bcb11d01c034f967503bd98f28bdf458c1ab8001Anders Carlsson } 7901eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 7912eeed7bc4fd457ac57ff32ab3b02674588545f65Fariborz Jahanian /// setArg - Set the specified argument. 7922eeed7bc4fd457ac57ff32ab3b02674588545f65Fariborz Jahanian void setArg(unsigned Arg, Expr *ArgExpr) { 7932eeed7bc4fd457ac57ff32ab3b02674588545f65Fariborz Jahanian assert(Arg < NumArgs && "Arg access out of range!"); 7942eeed7bc4fd457ac57ff32ab3b02674588545f65Fariborz Jahanian Args[Arg] = ArgExpr; 7952eeed7bc4fd457ac57ff32ab3b02674588545f65Fariborz Jahanian } 7962eeed7bc4fd457ac57ff32ab3b02674588545f65Fariborz Jahanian 797e383768f7f5d45ca4af0b1c11cbf072de18bce98Ted Kremenek virtual SourceRange getSourceRange() const; 79815ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson 7991eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump static bool classof(const Stmt *T) { 800524fa13fd81e88533c7a1d4b1232c0de2c97dc7cAnders Carlsson return T->getStmtClass() == CXXConstructExprClass || 801524fa13fd81e88533c7a1d4b1232c0de2c97dc7cAnders Carlsson T->getStmtClass() == CXXTemporaryObjectExprClass; 80215ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson } 80315ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson static bool classof(const CXXConstructExpr *) { return true; } 8041eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 80515ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson // Iterators 80615ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson virtual child_iterator child_begin(); 80715ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson virtual child_iterator child_end(); 8086d00c1365dd3601f6d93bbda9162913c57ae788fArgyrios Kyrtzidis 8096d00c1365dd3601f6d93bbda9162913c57ae788fArgyrios Kyrtzidis friend class PCHStmtReader; 81015ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson}; 81115ef2b5820f9daccc44b9e847163b705b6f5863bAnders Carlsson 81249badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// CXXFunctionalCastExpr - Represents an explicit C++ type conversion 81349badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// that uses "functional" notion (C++ [expr.type.conv]). Example: @c 81449badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregor/// x = int(0.5); 81549badde06e066d058d6c7fcf4e628a72999b65a9Douglas Gregorclass CXXFunctionalCastExpr : public ExplicitCastExpr { 816987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis SourceLocation TyBeginLoc; 817987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis SourceLocation RParenLoc; 818f871d0cc377a1367b519a6cce26be74607566ebaJohn McCall 8199d125033a9853f3b572a4c9e2f9e2d4e5e346973John McCall CXXFunctionalCastExpr(QualType ty, TypeSourceInfo *writtenTy, 8201eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump SourceLocation tyBeginLoc, CastKind kind, 821f871d0cc377a1367b519a6cce26be74607566ebaJohn McCall Expr *castExpr, unsigned pathSize, 82241b2dcd465f1e438502c420effc9d0c747f9db8fAnders Carlsson SourceLocation rParenLoc) 8230aebc81e02397a5987aaa8e8c7acbdb01a31d7c3Anders Carlsson : ExplicitCastExpr(CXXFunctionalCastExprClass, ty, kind, castExpr, 824f871d0cc377a1367b519a6cce26be74607566ebaJohn McCall pathSize, writtenTy), 8250aebc81e02397a5987aaa8e8c7acbdb01a31d7c3Anders Carlsson TyBeginLoc(tyBeginLoc), RParenLoc(rParenLoc) {} 8260aebc81e02397a5987aaa8e8c7acbdb01a31d7c3Anders Carlsson 827f871d0cc377a1367b519a6cce26be74607566ebaJohn McCall explicit CXXFunctionalCastExpr(EmptyShell Shell, unsigned PathSize) 828f871d0cc377a1367b519a6cce26be74607566ebaJohn McCall : ExplicitCastExpr(CXXFunctionalCastExprClass, Shell, PathSize) { } 829f871d0cc377a1367b519a6cce26be74607566ebaJohn McCall 830f871d0cc377a1367b519a6cce26be74607566ebaJohn McCallpublic: 831f871d0cc377a1367b519a6cce26be74607566ebaJohn McCall static CXXFunctionalCastExpr *Create(ASTContext &Context, QualType T, 832f871d0cc377a1367b519a6cce26be74607566ebaJohn McCall TypeSourceInfo *Written, 833f871d0cc377a1367b519a6cce26be74607566ebaJohn McCall SourceLocation TyBeginLoc, 834f871d0cc377a1367b519a6cce26be74607566ebaJohn McCall CastKind Kind, Expr *Op, 835f871d0cc377a1367b519a6cce26be74607566ebaJohn McCall const CXXCastPath *Path, 836f871d0cc377a1367b519a6cce26be74607566ebaJohn McCall SourceLocation RPLoc); 837f871d0cc377a1367b519a6cce26be74607566ebaJohn McCall static CXXFunctionalCastExpr *CreateEmpty(ASTContext &Context, 838f871d0cc377a1367b519a6cce26be74607566ebaJohn McCall unsigned PathSize); 839ce757a7a1ee905f87551996a69da3e95e8afeeb7Sam Weinig 840987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis SourceLocation getTypeBeginLoc() const { return TyBeginLoc; } 841ce757a7a1ee905f87551996a69da3e95e8afeeb7Sam Weinig void setTypeBeginLoc(SourceLocation L) { TyBeginLoc = L; } 842987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis SourceLocation getRParenLoc() const { return RParenLoc; } 843ce757a7a1ee905f87551996a69da3e95e8afeeb7Sam Weinig void setRParenLoc(SourceLocation L) { RParenLoc = L; } 8441eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 845987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis virtual SourceRange getSourceRange() const { 846987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis return SourceRange(TyBeginLoc, RParenLoc); 847987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis } 8481eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump static bool classof(const Stmt *T) { 8491eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump return T->getStmtClass() == CXXFunctionalCastExprClass; 850987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis } 851987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis static bool classof(const CXXFunctionalCastExpr *) { return true; } 852987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis}; 853987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis 854506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor/// @brief Represents a C++ functional cast expression that builds a 855506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor/// temporary object. 856506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor/// 8571eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump/// This expression type represents a C++ "functional" cast 858506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor/// (C++[expr.type.conv]) with N != 1 arguments that invokes a 859ed8abf18329df67b0abcbb3a10458bd8c1d2a595Douglas Gregor/// constructor to build a temporary object. With N == 1 arguments the 860ed8abf18329df67b0abcbb3a10458bd8c1d2a595Douglas Gregor/// functional cast expression will be represented by CXXFunctionalCastExpr. 861506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor/// Example: 862506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor/// @code 863506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor/// struct X { X(int, float); } 864506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor/// 865506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor/// X create_X() { 866506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor/// return X(1, 3.14f); // creates a CXXTemporaryObjectExpr 867506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor/// }; 868506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor/// @endcode 869524fa13fd81e88533c7a1d4b1232c0de2c97dc7cAnders Carlssonclass CXXTemporaryObjectExpr : public CXXConstructExpr { 870506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor SourceLocation TyBeginLoc; 871506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor SourceLocation RParenLoc; 872506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor 873506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregorpublic: 8741eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump CXXTemporaryObjectExpr(ASTContext &C, CXXConstructorDecl *Cons, 8751eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump QualType writtenTy, SourceLocation tyBeginLoc, 8761eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump Expr **Args,unsigned NumArgs, 8771c63b9c15d48cb8c833a4b2d6fd6c496c0766e88Douglas Gregor SourceLocation rParenLoc, 8781c63b9c15d48cb8c833a4b2d6fd6c496c0766e88Douglas Gregor bool ZeroInitialization = false); 8796d00c1365dd3601f6d93bbda9162913c57ae788fArgyrios Kyrtzidis explicit CXXTemporaryObjectExpr(EmptyShell Empty) 8806d00c1365dd3601f6d93bbda9162913c57ae788fArgyrios Kyrtzidis : CXXConstructExpr(CXXTemporaryObjectExprClass, Empty) { } 881506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor 882506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor SourceLocation getTypeBeginLoc() const { return TyBeginLoc; } 883506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor SourceLocation getRParenLoc() const { return RParenLoc; } 884ba49817c5b9f502602672861cf369fd0e53966e8Douglas Gregor 885506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor virtual SourceRange getSourceRange() const { 886506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor return SourceRange(TyBeginLoc, RParenLoc); 887506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor } 8881eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump static bool classof(const Stmt *T) { 889506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor return T->getStmtClass() == CXXTemporaryObjectExprClass; 890506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor } 891506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor static bool classof(const CXXTemporaryObjectExpr *) { return true; } 8926d00c1365dd3601f6d93bbda9162913c57ae788fArgyrios Kyrtzidis 8936d00c1365dd3601f6d93bbda9162913c57ae788fArgyrios Kyrtzidis friend class PCHStmtReader; 894506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor}; 895506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor 896ed8abf18329df67b0abcbb3a10458bd8c1d2a595Douglas Gregor/// CXXScalarValueInitExpr - [C++ 5.2.3p2] 897506ae418eb171d072f2fb4f6bc46d258b52cbf97Douglas Gregor/// Expression "T()" which creates a value-initialized rvalue of type 898ed8abf18329df67b0abcbb3a10458bd8c1d2a595Douglas Gregor/// T, which is a non-class type. 899987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis/// 900ed8abf18329df67b0abcbb3a10458bd8c1d2a595Douglas Gregorclass CXXScalarValueInitExpr : public Expr { 901987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis SourceLocation TyBeginLoc; 902987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis SourceLocation RParenLoc; 903987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis 904987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidispublic: 905ed8abf18329df67b0abcbb3a10458bd8c1d2a595Douglas Gregor CXXScalarValueInitExpr(QualType ty, SourceLocation tyBeginLoc, 9061eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump SourceLocation rParenLoc ) : 907ed8abf18329df67b0abcbb3a10458bd8c1d2a595Douglas Gregor Expr(CXXScalarValueInitExprClass, ty, false, false), 908987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis TyBeginLoc(tyBeginLoc), RParenLoc(rParenLoc) {} 909ed8abf18329df67b0abcbb3a10458bd8c1d2a595Douglas Gregor explicit CXXScalarValueInitExpr(EmptyShell Shell) 910ed8abf18329df67b0abcbb3a10458bd8c1d2a595Douglas Gregor : Expr(CXXScalarValueInitExprClass, Shell) { } 9111eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 912987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis SourceLocation getTypeBeginLoc() const { return TyBeginLoc; } 913987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis SourceLocation getRParenLoc() const { return RParenLoc; } 914987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis 9155921863d8f24084797863b5df37842113bac4352Chris Lattner void setTypeBeginLoc(SourceLocation L) { TyBeginLoc = L; } 9165921863d8f24084797863b5df37842113bac4352Chris Lattner void setRParenLoc(SourceLocation L) { RParenLoc = L; } 9175921863d8f24084797863b5df37842113bac4352Chris Lattner 9184c67834407ca6ab344dcf44fc599ad4938cfa96dDouglas Gregor /// @brief Whether this initialization expression was 9194c67834407ca6ab344dcf44fc599ad4938cfa96dDouglas Gregor /// implicitly-generated. 9201eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump bool isImplicit() const { 9211eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump return TyBeginLoc.isInvalid() && RParenLoc.isInvalid(); 9224c67834407ca6ab344dcf44fc599ad4938cfa96dDouglas Gregor } 9234c67834407ca6ab344dcf44fc599ad4938cfa96dDouglas Gregor 924987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis virtual SourceRange getSourceRange() const { 925987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis return SourceRange(TyBeginLoc, RParenLoc); 926987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis } 9271eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 9281eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump static bool classof(const Stmt *T) { 929ed8abf18329df67b0abcbb3a10458bd8c1d2a595Douglas Gregor return T->getStmtClass() == CXXScalarValueInitExprClass; 930987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis } 931ed8abf18329df67b0abcbb3a10458bd8c1d2a595Douglas Gregor static bool classof(const CXXScalarValueInitExpr *) { return true; } 9321eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 933987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis // Iterators 934987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis virtual child_iterator child_begin(); 935987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis virtual child_iterator child_end(); 936987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis}; 937987a14bf5883ef6e5d07f1c83eb6d41a8212a78cArgyrios Kyrtzidis 9384c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl/// CXXNewExpr - A new expression for memory allocation and constructor calls, 9394c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl/// e.g: "new CXXNewExpr(foo)". 9404c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redlclass CXXNewExpr : public Expr { 9414c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl // Was the usage ::new, i.e. is the global new to be used? 9424c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl bool GlobalNew : 1; 9434c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl // Is there an initializer? If not, built-ins are uninitialized, else they're 9444c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl // value-initialized. 9454c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl bool Initializer : 1; 946cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl // Do we allocate an array? If so, the first SubExpr is the size expression. 947cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl bool Array : 1; 9484c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl // The number of placement new arguments. 949e4b8f1171d699c56ba2b39aabf1d7cb4c38ce4f8Douglas Gregor unsigned NumPlacementArgs : 15; 9504c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl // The number of constructor arguments. This may be 1 even for non-class 9514c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl // types; use the pseudo copy constructor. 952cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl unsigned NumConstructorArgs : 14; 953cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl // Contains an optional array size expression, any number of optional 954cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl // placement arguments, and any number of optional constructor arguments, 955cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl // in that order. 9564c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl Stmt **SubExprs; 9574c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl // Points to the allocation function used. 9584c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl FunctionDecl *OperatorNew; 9594c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl // Points to the deallocation function used in case of error. May be null. 9604c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl FunctionDecl *OperatorDelete; 9614c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl // Points to the constructor used. Cannot be null if AllocType is a record; 9624c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl // it would still point at the default constructor (even an implicit one). 9634c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl // Must be null for all other types. 9644c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl CXXConstructorDecl *Constructor; 9654c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 9664bd40318cbea15310a37343db46de96c4fcc15e6Douglas Gregor /// \brief If the allocated type was expressed as a parenthesized type-id, 9674bd40318cbea15310a37343db46de96c4fcc15e6Douglas Gregor /// the source range covering the parenthesized type-id. 9684bd40318cbea15310a37343db46de96c4fcc15e6Douglas Gregor SourceRange TypeIdParens; 9694bd40318cbea15310a37343db46de96c4fcc15e6Douglas Gregor 9704c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl SourceLocation StartLoc; 9714c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl SourceLocation EndLoc; 9724c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 9734bd40318cbea15310a37343db46de96c4fcc15e6Douglas Gregor friend class PCHStmtReader; 9744c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redlpublic: 975ad7fe864862305c2f71e047cdf6706ef43aebdc0Ted Kremenek CXXNewExpr(ASTContext &C, bool globalNew, FunctionDecl *operatorNew, 9764bd40318cbea15310a37343db46de96c4fcc15e6Douglas Gregor Expr **placementArgs, unsigned numPlaceArgs, 9774bd40318cbea15310a37343db46de96c4fcc15e6Douglas Gregor SourceRange TypeIdParens, 978ad7fe864862305c2f71e047cdf6706ef43aebdc0Ted Kremenek Expr *arraySize, CXXConstructorDecl *constructor, bool initializer, 9794c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl Expr **constructorArgs, unsigned numConsArgs, 9804c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl FunctionDecl *operatorDelete, QualType ty, 9814c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl SourceLocation startLoc, SourceLocation endLoc); 9825921863d8f24084797863b5df37842113bac4352Chris Lattner explicit CXXNewExpr(EmptyShell Shell) 9835921863d8f24084797863b5df37842113bac4352Chris Lattner : Expr(CXXNewExprClass, Shell), SubExprs(0) { } 9845921863d8f24084797863b5df37842113bac4352Chris Lattner 9855921863d8f24084797863b5df37842113bac4352Chris Lattner void AllocateArgsArray(ASTContext &C, bool isArray, unsigned numPlaceArgs, 9865921863d8f24084797863b5df37842113bac4352Chris Lattner unsigned numConsArgs); 987ad7fe864862305c2f71e047cdf6706ef43aebdc0Ted Kremenek 988cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl QualType getAllocatedType() const { 989cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl assert(getType()->isPointerType()); 9906217b80b7a1379b74cced1c076338262c3c980b3Ted Kremenek return getType()->getAs<PointerType>()->getPointeeType(); 991cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl } 9924c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 9934c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl FunctionDecl *getOperatorNew() const { return OperatorNew; } 9945921863d8f24084797863b5df37842113bac4352Chris Lattner void setOperatorNew(FunctionDecl *D) { OperatorNew = D; } 9954c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl FunctionDecl *getOperatorDelete() const { return OperatorDelete; } 9965921863d8f24084797863b5df37842113bac4352Chris Lattner void setOperatorDelete(FunctionDecl *D) { OperatorDelete = D; } 9974c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl CXXConstructorDecl *getConstructor() const { return Constructor; } 9985921863d8f24084797863b5df37842113bac4352Chris Lattner void setConstructor(CXXConstructorDecl *D) { Constructor = D; } 9994c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 1000cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl bool isArray() const { return Array; } 1001cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl Expr *getArraySize() { 1002cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl return Array ? cast<Expr>(SubExprs[0]) : 0; 1003cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl } 1004cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl const Expr *getArraySize() const { 1005cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl return Array ? cast<Expr>(SubExprs[0]) : 0; 1006cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl } 1007cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl 10084c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl unsigned getNumPlacementArgs() const { return NumPlacementArgs; } 10094c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl Expr *getPlacementArg(unsigned i) { 10104c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl assert(i < NumPlacementArgs && "Index out of range"); 1011cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl return cast<Expr>(SubExprs[Array + i]); 10124c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl } 10134c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl const Expr *getPlacementArg(unsigned i) const { 10144c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl assert(i < NumPlacementArgs && "Index out of range"); 1015cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl return cast<Expr>(SubExprs[Array + i]); 10164c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl } 10174c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 10184bd40318cbea15310a37343db46de96c4fcc15e6Douglas Gregor bool isParenTypeId() const { return TypeIdParens.isValid(); } 10194bd40318cbea15310a37343db46de96c4fcc15e6Douglas Gregor SourceRange getTypeIdParens() const { return TypeIdParens; } 10204bd40318cbea15310a37343db46de96c4fcc15e6Douglas Gregor 10214c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl bool isGlobalNew() const { return GlobalNew; } 10225921863d8f24084797863b5df37842113bac4352Chris Lattner void setGlobalNew(bool V) { GlobalNew = V; } 10234c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl bool hasInitializer() const { return Initializer; } 10245921863d8f24084797863b5df37842113bac4352Chris Lattner void setHasInitializer(bool V) { Initializer = V; } 10254c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 10264c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl unsigned getNumConstructorArgs() const { return NumConstructorArgs; } 10274c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl Expr *getConstructorArg(unsigned i) { 10284c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl assert(i < NumConstructorArgs && "Index out of range"); 1029cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl return cast<Expr>(SubExprs[Array + NumPlacementArgs + i]); 10304c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl } 10314c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl const Expr *getConstructorArg(unsigned i) const { 10324c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl assert(i < NumConstructorArgs && "Index out of range"); 1033cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl return cast<Expr>(SubExprs[Array + NumPlacementArgs + i]); 10344c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl } 10354c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 10364c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl typedef ExprIterator arg_iterator; 10374c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl typedef ConstExprIterator const_arg_iterator; 10384c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 10394c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl arg_iterator placement_arg_begin() { 1040cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl return SubExprs + Array; 10414c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl } 10424c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl arg_iterator placement_arg_end() { 1043cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl return SubExprs + Array + getNumPlacementArgs(); 10444c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl } 10454c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl const_arg_iterator placement_arg_begin() const { 1046cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl return SubExprs + Array; 10474c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl } 10484c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl const_arg_iterator placement_arg_end() const { 1049cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl return SubExprs + Array + getNumPlacementArgs(); 10504c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl } 10514c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 10524c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl arg_iterator constructor_arg_begin() { 1053cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl return SubExprs + Array + getNumPlacementArgs(); 10544c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl } 10554c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl arg_iterator constructor_arg_end() { 1056cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl return SubExprs + Array + getNumPlacementArgs() + getNumConstructorArgs(); 10574c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl } 10584c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl const_arg_iterator constructor_arg_begin() const { 1059cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl return SubExprs + Array + getNumPlacementArgs(); 10604c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl } 10614c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl const_arg_iterator constructor_arg_end() const { 1062cee63fbf0e64ac526582312bf8cf33263fc5c16eSebastian Redl return SubExprs + Array + getNumPlacementArgs() + getNumConstructorArgs(); 10634c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl } 10645921863d8f24084797863b5df37842113bac4352Chris Lattner 10655921863d8f24084797863b5df37842113bac4352Chris Lattner typedef Stmt **raw_arg_iterator; 10665921863d8f24084797863b5df37842113bac4352Chris Lattner raw_arg_iterator raw_arg_begin() { return SubExprs; } 10675921863d8f24084797863b5df37842113bac4352Chris Lattner raw_arg_iterator raw_arg_end() { 10685921863d8f24084797863b5df37842113bac4352Chris Lattner return SubExprs + Array + getNumPlacementArgs() + getNumConstructorArgs(); 10695921863d8f24084797863b5df37842113bac4352Chris Lattner } 10705921863d8f24084797863b5df37842113bac4352Chris Lattner const_arg_iterator raw_arg_begin() const { return SubExprs; } 10715921863d8f24084797863b5df37842113bac4352Chris Lattner const_arg_iterator raw_arg_end() const { return constructor_arg_end(); } 10724c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 10735921863d8f24084797863b5df37842113bac4352Chris Lattner 10745921863d8f24084797863b5df37842113bac4352Chris Lattner SourceLocation getStartLoc() const { return StartLoc; } 10755921863d8f24084797863b5df37842113bac4352Chris Lattner void setStartLoc(SourceLocation L) { StartLoc = L; } 10765921863d8f24084797863b5df37842113bac4352Chris Lattner SourceLocation getEndLoc() const { return EndLoc; } 10775921863d8f24084797863b5df37842113bac4352Chris Lattner void setEndLoc(SourceLocation L) { EndLoc = L; } 10785921863d8f24084797863b5df37842113bac4352Chris Lattner 10794c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl virtual SourceRange getSourceRange() const { 10804c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl return SourceRange(StartLoc, EndLoc); 10814c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl } 10824c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 10834c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl static bool classof(const Stmt *T) { 10844c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl return T->getStmtClass() == CXXNewExprClass; 10854c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl } 10864c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl static bool classof(const CXXNewExpr *) { return true; } 10874c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 10884c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl // Iterators 10894c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl virtual child_iterator child_begin(); 10904c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl virtual child_iterator child_end(); 10914c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl}; 10924c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 10934c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl/// CXXDeleteExpr - A delete expression for memory deallocation and destructor 10944c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl/// calls, e.g. "delete[] pArray". 10954c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redlclass CXXDeleteExpr : public Expr { 10964c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl // Is this a forced global delete, i.e. "::delete"? 10974c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl bool GlobalDelete : 1; 10984c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl // Is this the array form of delete, i.e. "delete[]"? 10994c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl bool ArrayForm : 1; 11004c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl // Points to the operator delete overload that is used. Could be a member. 11014c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl FunctionDecl *OperatorDelete; 11024c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl // The pointer expression to be deleted. 11034c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl Stmt *Argument; 11044c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl // Location of the expression. 11054c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl SourceLocation Loc; 11064c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redlpublic: 11074c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl CXXDeleteExpr(QualType ty, bool globalDelete, bool arrayForm, 11084c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl FunctionDecl *operatorDelete, Expr *arg, SourceLocation loc) 11092850784bda09416fc7e9d57f5baa36c9351c757cSebastian Redl : Expr(CXXDeleteExprClass, ty, false, false), GlobalDelete(globalDelete), 11104c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl ArrayForm(arrayForm), OperatorDelete(operatorDelete), Argument(arg), 11114c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl Loc(loc) { } 111295fc98ce95d4faa4f1bb2783384150530404ea6fArgyrios Kyrtzidis explicit CXXDeleteExpr(EmptyShell Shell) 111395fc98ce95d4faa4f1bb2783384150530404ea6fArgyrios Kyrtzidis : Expr(CXXDeleteExprClass, Shell), OperatorDelete(0), Argument(0) { } 11144c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 11154c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl bool isGlobalDelete() const { return GlobalDelete; } 11164c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl bool isArrayForm() const { return ArrayForm; } 111795fc98ce95d4faa4f1bb2783384150530404ea6fArgyrios Kyrtzidis 111895fc98ce95d4faa4f1bb2783384150530404ea6fArgyrios Kyrtzidis void setGlobalDelete(bool V) { GlobalDelete = V; } 111995fc98ce95d4faa4f1bb2783384150530404ea6fArgyrios Kyrtzidis void setArrayForm(bool V) { ArrayForm = V; } 11204c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 11214c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl FunctionDecl *getOperatorDelete() const { return OperatorDelete; } 112295fc98ce95d4faa4f1bb2783384150530404ea6fArgyrios Kyrtzidis void setOperatorDelete(FunctionDecl *D) { OperatorDelete = D; } 11234c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 11244c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl Expr *getArgument() { return cast<Expr>(Argument); } 11254c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl const Expr *getArgument() const { return cast<Expr>(Argument); } 112695fc98ce95d4faa4f1bb2783384150530404ea6fArgyrios Kyrtzidis void setArgument(Expr *E) { Argument = E; } 11274c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 11284c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl virtual SourceRange getSourceRange() const { 11294c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl return SourceRange(Loc, Argument->getLocEnd()); 11304c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl } 113195fc98ce95d4faa4f1bb2783384150530404ea6fArgyrios Kyrtzidis void setStartLoc(SourceLocation L) { Loc = L; } 11324c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 11334c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl static bool classof(const Stmt *T) { 11344c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl return T->getStmtClass() == CXXDeleteExprClass; 11354c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl } 11364c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl static bool classof(const CXXDeleteExpr *) { return true; } 11374c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 11384c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl // Iterators 11394c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl virtual child_iterator child_begin(); 11404c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl virtual child_iterator child_end(); 11414c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl}; 11424c5d320a7581f4b80b151630c91cea5727fa9923Sebastian Redl 1143a2e7dd2f4a50d835351153aee568d35ccc986310Douglas Gregor/// \brief Structure used to store the type being destroyed by a 1144a2e7dd2f4a50d835351153aee568d35ccc986310Douglas Gregor/// pseudo-destructor expression. 1145a2e7dd2f4a50d835351153aee568d35ccc986310Douglas Gregorclass PseudoDestructorTypeStorage { 1146a2e7dd2f4a50d835351153aee568d35ccc986310Douglas Gregor /// \brief Either the type source information or the name of the type, if 1147a2e7dd2f4a50d835351153aee568d35ccc986310Douglas Gregor /// it couldn't be resolved due to type-dependence. 1148a2e7dd2f4a50d835351153aee568d35ccc986310Douglas Gregor llvm::PointerUnion<TypeSourceInfo *, IdentifierInfo *> Type; 1149a2e7dd2f4a50d835351153aee568d35ccc986310Douglas Gregor 1150a2e7dd2f4a50d835351153aee568d35ccc986310Douglas Gregor /// \brief The starting source location of the pseudo-destructor type. 1151a2e7dd2f4a50d835351153aee568d35ccc986310Douglas Gregor SourceLocation Location; 1152a2e7dd2f4a50d835351153aee568d35ccc986310Douglas Gregor 1153a2e7dd2f4a50d835351153aee568d35ccc986310Douglas Gregorpublic: 1154a2e7dd2f4a50d835351153aee568d35ccc986310Douglas Gregor PseudoDestructorTypeStorage() { } 1155a2e7dd2f4a50d835351153aee568d35ccc986310Douglas Gregor 1156a2e7dd2f4a50d835351153aee568d35ccc986310Douglas Gregor PseudoDestructorTypeStorage(IdentifierInfo *II, SourceLocation Loc) 1157a2e7dd2f4a50d835351153aee568d35ccc986310Douglas Gregor : Type(II), Location(Loc) { } 1158a2e7dd2f4a50d835351153aee568d35ccc986310Douglas Gregor 1159a2e7dd2f4a50d835351153aee568d35ccc986310Douglas Gregor PseudoDestructorTypeStorage(TypeSourceInfo *Info); 1160a2e7dd2f4a50d835351153aee568d35ccc986310Douglas Gregor 1161a2e7dd2f4a50d835351153aee568d35ccc986310Douglas Gregor TypeSourceInfo *getTypeSourceInfo() const { 1162a2e7dd2f4a50d835351153aee568d35ccc986310Douglas Gregor return Type.dyn_cast<TypeSourceInfo *>(); 1163a2e7dd2f4a50d835351153aee568d35ccc986310Douglas Gregor } 1164a2e7dd2f4a50d835351153aee568d35ccc986310Douglas Gregor 1165a2e7dd2f4a50d835351153aee568d35ccc986310Douglas Gregor IdentifierInfo *getIdentifier() const { 1166a2e7dd2f4a50d835351153aee568d35ccc986310Douglas Gregor return Type.dyn_cast<IdentifierInfo *>(); 1167a2e7dd2f4a50d835351153aee568d35ccc986310Douglas Gregor } 1168a2e7dd2f4a50d835351153aee568d35ccc986310Douglas Gregor 1169a2e7dd2f4a50d835351153aee568d35ccc986310Douglas Gregor SourceLocation getLocation() const { return Location; } 1170a2e7dd2f4a50d835351153aee568d35ccc986310Douglas Gregor}; 1171a2e7dd2f4a50d835351153aee568d35ccc986310Douglas Gregor 1172a71d819bb8f50c28938db0f2867d3fb6e2ce5910Douglas Gregor/// \brief Represents a C++ pseudo-destructor (C++ [expr.pseudo]). 1173a71d819bb8f50c28938db0f2867d3fb6e2ce5910Douglas Gregor/// 1174e0601ea1220348957dacec5f3dd0707837365290Douglas Gregor/// A pseudo-destructor is an expression that looks like a member access to a 1175e0601ea1220348957dacec5f3dd0707837365290Douglas Gregor/// destructor of a scalar type, except that scalar types don't have 1176e0601ea1220348957dacec5f3dd0707837365290Douglas Gregor/// destructors. For example: 1177e0601ea1220348957dacec5f3dd0707837365290Douglas Gregor/// 1178e0601ea1220348957dacec5f3dd0707837365290Douglas Gregor/// \code 1179e0601ea1220348957dacec5f3dd0707837365290Douglas Gregor/// typedef int T; 1180e0601ea1220348957dacec5f3dd0707837365290Douglas Gregor/// void f(int *p) { 1181e0601ea1220348957dacec5f3dd0707837365290Douglas Gregor/// p->T::~T(); 1182e0601ea1220348957dacec5f3dd0707837365290Douglas Gregor/// } 1183e0601ea1220348957dacec5f3dd0707837365290Douglas Gregor/// \endcode 1184a71d819bb8f50c28938db0f2867d3fb6e2ce5910Douglas Gregor/// 1185e0601ea1220348957dacec5f3dd0707837365290Douglas Gregor/// Pseudo-destructors typically occur when instantiating templates such as: 1186e0601ea1220348957dacec5f3dd0707837365290Douglas Gregor/// 1187a71d819bb8f50c28938db0f2867d3fb6e2ce5910Douglas Gregor/// \code 11881eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump/// template<typename T> 1189a71d819bb8f50c28938db0f2867d3fb6e2ce5910Douglas Gregor/// void destroy(T* ptr) { 1190e0601ea1220348957dacec5f3dd0707837365290Douglas Gregor/// ptr->T::~T(); 1191a71d819bb8f50c28938db0f2867d3fb6e2ce5910Douglas Gregor/// } 1192a71d819bb8f50c28938db0f2867d3fb6e2ce5910Douglas Gregor/// \endcode 1193a71d819bb8f50c28938db0f2867d3fb6e2ce5910Douglas Gregor/// 1194e0601ea1220348957dacec5f3dd0707837365290Douglas Gregor/// for scalar types. A pseudo-destructor expression has no run-time semantics 1195e0601ea1220348957dacec5f3dd0707837365290Douglas Gregor/// beyond evaluating the base expression. 1196a71d819bb8f50c28938db0f2867d3fb6e2ce5910Douglas Gregorclass CXXPseudoDestructorExpr : public Expr { 1197a71d819bb8f50c28938db0f2867d3fb6e2ce5910Douglas Gregor /// \brief The base expression (that is being destroyed). 1198a71d819bb8f50c28938db0f2867d3fb6e2ce5910Douglas Gregor Stmt *Base; 11991eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1200a71d819bb8f50c28938db0f2867d3fb6e2ce5910Douglas Gregor /// \brief Whether the operator was an arrow ('->'); otherwise, it was a 1201a71d819bb8f50c28938db0f2867d3fb6e2ce5910Douglas Gregor /// period ('.'). 1202a71d819bb8f50c28938db0f2867d3fb6e2ce5910Douglas Gregor bool IsArrow : 1; 12031eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1204a71d819bb8f50c28938db0f2867d3fb6e2ce5910Douglas Gregor /// \brief The location of the '.' or '->' operator. 1205a71d819bb8f50c28938db0f2867d3fb6e2ce5910Douglas Gregor SourceLocation OperatorLoc; 12061eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1207a71d819bb8f50c28938db0f2867d3fb6e2ce5910Douglas Gregor /// \brief The nested-name-specifier that follows the operator, if present. 1208a71d819bb8f50c28938db0f2867d3fb6e2ce5910Douglas Gregor NestedNameSpecifier *Qualifier; 12091eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 12101eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump /// \brief The source range that covers the nested-name-specifier, if 1211a71d819bb8f50c28938db0f2867d3fb6e2ce5910Douglas Gregor /// present. 1212a71d819bb8f50c28938db0f2867d3fb6e2ce5910Douglas Gregor SourceRange QualifierRange; 12131eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1214e0601ea1220348957dacec5f3dd0707837365290Douglas Gregor /// \brief The type that precedes the '::' in a qualified pseudo-destructor 1215e0601ea1220348957dacec5f3dd0707837365290Douglas Gregor /// expression. 1216e0601ea1220348957dacec5f3dd0707837365290Douglas Gregor TypeSourceInfo *ScopeType; 1217e0601ea1220348957dacec5f3dd0707837365290Douglas Gregor 1218e0601ea1220348957dacec5f3dd0707837365290Douglas Gregor /// \brief The location of the '::' in a qualified pseudo-destructor 1219e0601ea1220348957dacec5f3dd0707837365290Douglas Gregor /// expression. 1220e0601ea1220348957dacec5f3dd0707837365290Douglas Gregor SourceLocation ColonColonLoc; 1221e0601ea1220348957dacec5f3dd0707837365290Douglas Gregor 1222fce46ee68f779e239826e69e45d01d4c8e5323caDouglas Gregor /// \brief The location of the '~'. 1223fce46ee68f779e239826e69e45d01d4c8e5323caDouglas Gregor SourceLocation TildeLoc; 1224fce46ee68f779e239826e69e45d01d4c8e5323caDouglas Gregor 1225a2e7dd2f4a50d835351153aee568d35ccc986310Douglas Gregor /// \brief The type being destroyed, or its name if we were unable to 1226a2e7dd2f4a50d835351153aee568d35ccc986310Douglas Gregor /// resolve the name. 1227a2e7dd2f4a50d835351153aee568d35ccc986310Douglas Gregor PseudoDestructorTypeStorage DestroyedType; 12281eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1229a71d819bb8f50c28938db0f2867d3fb6e2ce5910Douglas Gregorpublic: 1230a71d819bb8f50c28938db0f2867d3fb6e2ce5910Douglas Gregor CXXPseudoDestructorExpr(ASTContext &Context, 1231a71d819bb8f50c28938db0f2867d3fb6e2ce5910Douglas Gregor Expr *Base, bool isArrow, SourceLocation OperatorLoc, 1232a71d819bb8f50c28938db0f2867d3fb6e2ce5910Douglas Gregor NestedNameSpecifier *Qualifier, 1233a71d819bb8f50c28938db0f2867d3fb6e2ce5910Douglas Gregor SourceRange QualifierRange, 1234e0601ea1220348957dacec5f3dd0707837365290Douglas Gregor TypeSourceInfo *ScopeType, 1235e0601ea1220348957dacec5f3dd0707837365290Douglas Gregor SourceLocation ColonColonLoc, 1236fce46ee68f779e239826e69e45d01d4c8e5323caDouglas Gregor SourceLocation TildeLoc, 1237a2e7dd2f4a50d835351153aee568d35ccc986310Douglas Gregor PseudoDestructorTypeStorage DestroyedType) 12381eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump : Expr(CXXPseudoDestructorExprClass, 1239a71d819bb8f50c28938db0f2867d3fb6e2ce5910Douglas Gregor Context.getPointerType(Context.getFunctionType(Context.VoidTy, 0, 0, 1240ce056bcaa1c97b89a4b2de2112c62d060863be2bDouglas Gregor false, 0, false, 1241264ba48dc98f3f843935a485d5b086f7e0fdc4f1Rafael Espindola false, 0, 0, 1242264ba48dc98f3f843935a485d5b086f7e0fdc4f1Rafael Espindola FunctionType::ExtInfo())), 124326d4ac97fb514bb60c2536eae6f203dc569159d9Douglas Gregor /*isTypeDependent=*/(Base->isTypeDependent() || 1244a2e7dd2f4a50d835351153aee568d35ccc986310Douglas Gregor (DestroyedType.getTypeSourceInfo() && 1245a2e7dd2f4a50d835351153aee568d35ccc986310Douglas Gregor DestroyedType.getTypeSourceInfo()->getType()->isDependentType())), 1246a71d819bb8f50c28938db0f2867d3fb6e2ce5910Douglas Gregor /*isValueDependent=*/Base->isValueDependent()), 12471eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump Base(static_cast<Stmt *>(Base)), IsArrow(isArrow), 1248a71d819bb8f50c28938db0f2867d3fb6e2ce5910Douglas Gregor OperatorLoc(OperatorLoc), Qualifier(Qualifier), 1249e0601ea1220348957dacec5f3dd0707837365290Douglas Gregor QualifierRange(QualifierRange), 1250fce46ee68f779e239826e69e45d01d4c8e5323caDouglas Gregor ScopeType(ScopeType), ColonColonLoc(ColonColonLoc), TildeLoc(TildeLoc), 125126d4ac97fb514bb60c2536eae6f203dc569159d9Douglas Gregor DestroyedType(DestroyedType) { } 12521eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1253de4bd18bb45a1db68996cfb949db3015fc25d10dArgyrios Kyrtzidis explicit CXXPseudoDestructorExpr(EmptyShell Shell) 1254de4bd18bb45a1db68996cfb949db3015fc25d10dArgyrios Kyrtzidis : Expr(CXXPseudoDestructorExprClass, Shell), 1255de4bd18bb45a1db68996cfb949db3015fc25d10dArgyrios Kyrtzidis Base(0), IsArrow(false), Qualifier(0), ScopeType(0) { } 1256de4bd18bb45a1db68996cfb949db3015fc25d10dArgyrios Kyrtzidis 1257a71d819bb8f50c28938db0f2867d3fb6e2ce5910Douglas Gregor void setBase(Expr *E) { Base = E; } 1258a71d819bb8f50c28938db0f2867d3fb6e2ce5910Douglas Gregor Expr *getBase() const { return cast<Expr>(Base); } 12591eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 12601eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump /// \brief Determines whether this member expression actually had 1261a71d819bb8f50c28938db0f2867d3fb6e2ce5910Douglas Gregor /// a C++ nested-name-specifier prior to the name of the member, e.g., 1262a71d819bb8f50c28938db0f2867d3fb6e2ce5910Douglas Gregor /// x->Base::foo. 1263a71d819bb8f50c28938db0f2867d3fb6e2ce5910Douglas Gregor bool hasQualifier() const { return Qualifier != 0; } 12641eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1265a71d819bb8f50c28938db0f2867d3fb6e2ce5910Douglas Gregor /// \brief If the member name was qualified, retrieves the source range of 1266a71d819bb8f50c28938db0f2867d3fb6e2ce5910Douglas Gregor /// the nested-name-specifier that precedes the member name. Otherwise, 1267a71d819bb8f50c28938db0f2867d3fb6e2ce5910Douglas Gregor /// returns an empty source range. 1268a71d819bb8f50c28938db0f2867d3fb6e2ce5910Douglas Gregor SourceRange getQualifierRange() const { return QualifierRange; } 1269de4bd18bb45a1db68996cfb949db3015fc25d10dArgyrios Kyrtzidis void setQualifierRange(SourceRange R) { QualifierRange = R; } 12701eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 12711eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump /// \brief If the member name was qualified, retrieves the 1272a71d819bb8f50c28938db0f2867d3fb6e2ce5910Douglas Gregor /// nested-name-specifier that precedes the member name. Otherwise, returns 1273a71d819bb8f50c28938db0f2867d3fb6e2ce5910Douglas Gregor /// NULL. 1274a71d819bb8f50c28938db0f2867d3fb6e2ce5910Douglas Gregor NestedNameSpecifier *getQualifier() const { return Qualifier; } 1275de4bd18bb45a1db68996cfb949db3015fc25d10dArgyrios Kyrtzidis void setQualifier(NestedNameSpecifier *NNS) { Qualifier = NNS; } 12761eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1277a71d819bb8f50c28938db0f2867d3fb6e2ce5910Douglas Gregor /// \brief Determine whether this pseudo-destructor expression was written 1278a71d819bb8f50c28938db0f2867d3fb6e2ce5910Douglas Gregor /// using an '->' (otherwise, it used a '.'). 1279a71d819bb8f50c28938db0f2867d3fb6e2ce5910Douglas Gregor bool isArrow() const { return IsArrow; } 1280a71d819bb8f50c28938db0f2867d3fb6e2ce5910Douglas Gregor void setArrow(bool A) { IsArrow = A; } 1281a71d819bb8f50c28938db0f2867d3fb6e2ce5910Douglas Gregor 1282a71d819bb8f50c28938db0f2867d3fb6e2ce5910Douglas Gregor /// \brief Retrieve the location of the '.' or '->' operator. 1283a71d819bb8f50c28938db0f2867d3fb6e2ce5910Douglas Gregor SourceLocation getOperatorLoc() const { return OperatorLoc; } 1284de4bd18bb45a1db68996cfb949db3015fc25d10dArgyrios Kyrtzidis void setOperatorLoc(SourceLocation L) { OperatorLoc = L; } 12851eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1286e0601ea1220348957dacec5f3dd0707837365290Douglas Gregor /// \brief Retrieve the scope type in a qualified pseudo-destructor 1287e0601ea1220348957dacec5f3dd0707837365290Douglas Gregor /// expression. 1288e0601ea1220348957dacec5f3dd0707837365290Douglas Gregor /// 1289e0601ea1220348957dacec5f3dd0707837365290Douglas Gregor /// Pseudo-destructor expressions can have extra qualification within them 1290e0601ea1220348957dacec5f3dd0707837365290Douglas Gregor /// that is not part of the nested-name-specifier, e.g., \c p->T::~T(). 1291e0601ea1220348957dacec5f3dd0707837365290Douglas Gregor /// Here, if the object type of the expression is (or may be) a scalar type, 1292e0601ea1220348957dacec5f3dd0707837365290Douglas Gregor /// \p T may also be a scalar type and, therefore, cannot be part of a 1293e0601ea1220348957dacec5f3dd0707837365290Douglas Gregor /// nested-name-specifier. It is stored as the "scope type" of the pseudo- 1294e0601ea1220348957dacec5f3dd0707837365290Douglas Gregor /// destructor expression. 129526d4ac97fb514bb60c2536eae6f203dc569159d9Douglas Gregor TypeSourceInfo *getScopeTypeInfo() const { return ScopeType; } 1296de4bd18bb45a1db68996cfb949db3015fc25d10dArgyrios Kyrtzidis void setScopeTypeInfo(TypeSourceInfo *Info) { ScopeType = Info; } 1297e0601ea1220348957dacec5f3dd0707837365290Douglas Gregor 1298e0601ea1220348957dacec5f3dd0707837365290Douglas Gregor /// \brief Retrieve the location of the '::' in a qualified pseudo-destructor 1299e0601ea1220348957dacec5f3dd0707837365290Douglas Gregor /// expression. 1300e0601ea1220348957dacec5f3dd0707837365290Douglas Gregor SourceLocation getColonColonLoc() const { return ColonColonLoc; } 1301de4bd18bb45a1db68996cfb949db3015fc25d10dArgyrios Kyrtzidis void setColonColonLoc(SourceLocation L) { ColonColonLoc = L; } 1302e0601ea1220348957dacec5f3dd0707837365290Douglas Gregor 1303fce46ee68f779e239826e69e45d01d4c8e5323caDouglas Gregor /// \brief Retrieve the location of the '~'. 1304fce46ee68f779e239826e69e45d01d4c8e5323caDouglas Gregor SourceLocation getTildeLoc() const { return TildeLoc; } 1305de4bd18bb45a1db68996cfb949db3015fc25d10dArgyrios Kyrtzidis void setTildeLoc(SourceLocation L) { TildeLoc = L; } 1306fce46ee68f779e239826e69e45d01d4c8e5323caDouglas Gregor 130726d4ac97fb514bb60c2536eae6f203dc569159d9Douglas Gregor /// \brief Retrieve the source location information for the type 130826d4ac97fb514bb60c2536eae6f203dc569159d9Douglas Gregor /// being destroyed. 1309a2e7dd2f4a50d835351153aee568d35ccc986310Douglas Gregor /// 1310a2e7dd2f4a50d835351153aee568d35ccc986310Douglas Gregor /// This type-source information is available for non-dependent 1311a2e7dd2f4a50d835351153aee568d35ccc986310Douglas Gregor /// pseudo-destructor expressions and some dependent pseudo-destructor 1312a2e7dd2f4a50d835351153aee568d35ccc986310Douglas Gregor /// expressions. Returns NULL if we only have the identifier for a 1313a2e7dd2f4a50d835351153aee568d35ccc986310Douglas Gregor /// dependent pseudo-destructor expression. 1314a2e7dd2f4a50d835351153aee568d35ccc986310Douglas Gregor TypeSourceInfo *getDestroyedTypeInfo() const { 1315a2e7dd2f4a50d835351153aee568d35ccc986310Douglas Gregor return DestroyedType.getTypeSourceInfo(); 1316a2e7dd2f4a50d835351153aee568d35ccc986310Douglas Gregor } 1317a2e7dd2f4a50d835351153aee568d35ccc986310Douglas Gregor 1318a2e7dd2f4a50d835351153aee568d35ccc986310Douglas Gregor /// \brief In a dependent pseudo-destructor expression for which we do not 1319a2e7dd2f4a50d835351153aee568d35ccc986310Douglas Gregor /// have full type information on the destroyed type, provides the name 1320a2e7dd2f4a50d835351153aee568d35ccc986310Douglas Gregor /// of the destroyed type. 1321a2e7dd2f4a50d835351153aee568d35ccc986310Douglas Gregor IdentifierInfo *getDestroyedTypeIdentifier() const { 1322a2e7dd2f4a50d835351153aee568d35ccc986310Douglas Gregor return DestroyedType.getIdentifier(); 1323a2e7dd2f4a50d835351153aee568d35ccc986310Douglas Gregor } 1324a2e7dd2f4a50d835351153aee568d35ccc986310Douglas Gregor 1325a2e7dd2f4a50d835351153aee568d35ccc986310Douglas Gregor /// \brief Retrieve the type being destroyed. 1326a2e7dd2f4a50d835351153aee568d35ccc986310Douglas Gregor QualType getDestroyedType() const; 1327a2e7dd2f4a50d835351153aee568d35ccc986310Douglas Gregor 1328a2e7dd2f4a50d835351153aee568d35ccc986310Douglas Gregor /// \brief Retrieve the starting location of the type being destroyed. 1329a2e7dd2f4a50d835351153aee568d35ccc986310Douglas Gregor SourceLocation getDestroyedTypeLoc() const { 1330a2e7dd2f4a50d835351153aee568d35ccc986310Douglas Gregor return DestroyedType.getLocation(); 1331a2e7dd2f4a50d835351153aee568d35ccc986310Douglas Gregor } 13321eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1333de4bd18bb45a1db68996cfb949db3015fc25d10dArgyrios Kyrtzidis /// \brief Set the name of destroyed type for a dependent pseudo-destructor 1334de4bd18bb45a1db68996cfb949db3015fc25d10dArgyrios Kyrtzidis /// expression. 1335de4bd18bb45a1db68996cfb949db3015fc25d10dArgyrios Kyrtzidis void setDestroyedType(IdentifierInfo *II, SourceLocation Loc) { 1336de4bd18bb45a1db68996cfb949db3015fc25d10dArgyrios Kyrtzidis DestroyedType = PseudoDestructorTypeStorage(II, Loc); 1337de4bd18bb45a1db68996cfb949db3015fc25d10dArgyrios Kyrtzidis } 1338de4bd18bb45a1db68996cfb949db3015fc25d10dArgyrios Kyrtzidis 1339de4bd18bb45a1db68996cfb949db3015fc25d10dArgyrios Kyrtzidis /// \brief Set the destroyed type. 1340de4bd18bb45a1db68996cfb949db3015fc25d10dArgyrios Kyrtzidis void setDestroyedType(TypeSourceInfo *Info) { 1341de4bd18bb45a1db68996cfb949db3015fc25d10dArgyrios Kyrtzidis DestroyedType = PseudoDestructorTypeStorage(Info); 1342de4bd18bb45a1db68996cfb949db3015fc25d10dArgyrios Kyrtzidis } 1343de4bd18bb45a1db68996cfb949db3015fc25d10dArgyrios Kyrtzidis 134426d4ac97fb514bb60c2536eae6f203dc569159d9Douglas Gregor virtual SourceRange getSourceRange() const; 13451eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 13461eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump static bool classof(const Stmt *T) { 1347a71d819bb8f50c28938db0f2867d3fb6e2ce5910Douglas Gregor return T->getStmtClass() == CXXPseudoDestructorExprClass; 1348a71d819bb8f50c28938db0f2867d3fb6e2ce5910Douglas Gregor } 1349a71d819bb8f50c28938db0f2867d3fb6e2ce5910Douglas Gregor static bool classof(const CXXPseudoDestructorExpr *) { return true; } 13501eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1351a71d819bb8f50c28938db0f2867d3fb6e2ce5910Douglas Gregor // Iterators 1352a71d819bb8f50c28938db0f2867d3fb6e2ce5910Douglas Gregor virtual child_iterator child_begin(); 13531eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump virtual child_iterator child_end(); 1354a71d819bb8f50c28938db0f2867d3fb6e2ce5910Douglas Gregor}; 13551eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 135664b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl/// UnaryTypeTraitExpr - A GCC or MS unary type trait, as used in the 135764b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl/// implementation of TR1/C++0x type trait templates. 135864b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl/// Example: 135964b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl/// __is_pod(int) == true 136064b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl/// __is_enum(std::string) == false 136164b45f7e0d3167f040841ac2920aead7f080730dSebastian Redlclass UnaryTypeTraitExpr : public Expr { 136264b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl /// UTT - The trait. 136364b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl UnaryTypeTrait UTT; 136464b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl 136564b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl /// Loc - The location of the type trait keyword. 136664b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl SourceLocation Loc; 136764b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl 136864b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl /// RParen - The location of the closing paren. 136964b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl SourceLocation RParen; 137064b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl 137164b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl /// QueriedType - The type we're testing. 137264b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl QualType QueriedType; 137364b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl 137464b45f7e0d3167f040841ac2920aead7f080730dSebastian Redlpublic: 137564b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl UnaryTypeTraitExpr(SourceLocation loc, UnaryTypeTrait utt, QualType queried, 137664b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl SourceLocation rparen, QualType ty) 137764b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl : Expr(UnaryTypeTraitExprClass, ty, false, queried->isDependentType()), 137864b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl UTT(utt), Loc(loc), RParen(rparen), QueriedType(queried) { } 137964b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl 13806d00c1365dd3601f6d93bbda9162913c57ae788fArgyrios Kyrtzidis explicit UnaryTypeTraitExpr(EmptyShell Empty) 13816d00c1365dd3601f6d93bbda9162913c57ae788fArgyrios Kyrtzidis : Expr(UnaryTypeTraitExprClass, Empty), UTT((UnaryTypeTrait)0) { } 13826d00c1365dd3601f6d93bbda9162913c57ae788fArgyrios Kyrtzidis 138364b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl virtual SourceRange getSourceRange() const { return SourceRange(Loc, RParen);} 138464b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl 138564b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl UnaryTypeTrait getTrait() const { return UTT; } 138664b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl 138764b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl QualType getQueriedType() const { return QueriedType; } 138864b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl 13895e03f9ea8174ae588c5e69ec6b5ef4c68f8fd766Douglas Gregor bool EvaluateTrait(ASTContext&) const; 139064b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl 139164b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl static bool classof(const Stmt *T) { 139264b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl return T->getStmtClass() == UnaryTypeTraitExprClass; 139364b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl } 139464b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl static bool classof(const UnaryTypeTraitExpr *) { return true; } 139564b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl 139664b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl // Iterators 139764b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl virtual child_iterator child_begin(); 139864b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl virtual child_iterator child_end(); 13996d00c1365dd3601f6d93bbda9162913c57ae788fArgyrios Kyrtzidis 14006d00c1365dd3601f6d93bbda9162913c57ae788fArgyrios Kyrtzidis friend class PCHStmtReader; 140164b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl}; 140264b45f7e0d3167f040841ac2920aead7f080730dSebastian Redl 14037bb12da2b0749eeebb21854c77877736969e59f2John McCall/// \brief A reference to an overloaded function set, either an 14047bb12da2b0749eeebb21854c77877736969e59f2John McCall/// \t UnresolvedLookupExpr or an \t UnresolvedMemberExpr. 14057bb12da2b0749eeebb21854c77877736969e59f2John McCallclass OverloadExpr : public Expr { 1406ba13543329afac4a0d01304ec2ec4924d99306a6John McCall /// The results. These are undesugared, which is to say, they may 14077bb12da2b0749eeebb21854c77877736969e59f2John McCall /// include UsingShadowDecls. Access is relative to the naming 14087bb12da2b0749eeebb21854c77877736969e59f2John McCall /// class. 1409928e6fcf66fc4f342bcf7cc96bf56986c9c2a833Douglas Gregor // FIXME: Allocate this data after the OverloadExpr subclass. 1410928e6fcf66fc4f342bcf7cc96bf56986c9c2a833Douglas Gregor DeclAccessPair *Results; 1411928e6fcf66fc4f342bcf7cc96bf56986c9c2a833Douglas Gregor unsigned NumResults; 1412ba13543329afac4a0d01304ec2ec4924d99306a6John McCall 14137bb12da2b0749eeebb21854c77877736969e59f2John McCall /// The common name of these declarations. 14142577743c5650c646fb705df01403707e94f2df04Abramo Bagnara DeclarationNameInfo NameInfo; 1415ba13543329afac4a0d01304ec2ec4924d99306a6John McCall 14167bb12da2b0749eeebb21854c77877736969e59f2John McCall /// The scope specifier, if any. 1417ba13543329afac4a0d01304ec2ec4924d99306a6John McCall NestedNameSpecifier *Qualifier; 14187bb12da2b0749eeebb21854c77877736969e59f2John McCall 14197bb12da2b0749eeebb21854c77877736969e59f2John McCall /// The source range of the scope specifier. 1420ba13543329afac4a0d01304ec2ec4924d99306a6John McCall SourceRange QualifierRange; 1421ba13543329afac4a0d01304ec2ec4924d99306a6John McCall 1422a77eb0862507b900a10fa352af1568e639ed10b1Argyrios Kyrtzidisprotected: 14237bb12da2b0749eeebb21854c77877736969e59f2John McCall /// True if the name was a template-id. 14247bb12da2b0749eeebb21854c77877736969e59f2John McCall bool HasExplicitTemplateArgs; 14257bb12da2b0749eeebb21854c77877736969e59f2John McCall 1426928e6fcf66fc4f342bcf7cc96bf56986c9c2a833Douglas Gregor OverloadExpr(StmtClass K, ASTContext &C, QualType T, bool Dependent, 14277bb12da2b0749eeebb21854c77877736969e59f2John McCall NestedNameSpecifier *Qualifier, SourceRange QRange, 14282577743c5650c646fb705df01403707e94f2df04Abramo Bagnara const DeclarationNameInfo &NameInfo, 14295a84dec38cfa9e084377a3167b474c79283c82faDouglas Gregor bool HasTemplateArgs, 1430928e6fcf66fc4f342bcf7cc96bf56986c9c2a833Douglas Gregor UnresolvedSetIterator Begin, UnresolvedSetIterator End); 14317bb12da2b0749eeebb21854c77877736969e59f2John McCall 1432a77eb0862507b900a10fa352af1568e639ed10b1Argyrios Kyrtzidis OverloadExpr(StmtClass K, EmptyShell Empty) 1433a77eb0862507b900a10fa352af1568e639ed10b1Argyrios Kyrtzidis : Expr(K, Empty), Results(0), NumResults(0), 1434a77eb0862507b900a10fa352af1568e639ed10b1Argyrios Kyrtzidis Qualifier(0), HasExplicitTemplateArgs(false) { } 1435a77eb0862507b900a10fa352af1568e639ed10b1Argyrios Kyrtzidis 14367bb12da2b0749eeebb21854c77877736969e59f2John McCallpublic: 14377bb12da2b0749eeebb21854c77877736969e59f2John McCall /// Computes whether an unresolved lookup on the given declarations 14387bb12da2b0749eeebb21854c77877736969e59f2John McCall /// and optional template arguments is type- and value-dependent. 14397bb12da2b0749eeebb21854c77877736969e59f2John McCall static bool ComputeDependence(UnresolvedSetIterator Begin, 14407bb12da2b0749eeebb21854c77877736969e59f2John McCall UnresolvedSetIterator End, 14417bb12da2b0749eeebb21854c77877736969e59f2John McCall const TemplateArgumentListInfo *Args); 14427bb12da2b0749eeebb21854c77877736969e59f2John McCall 14437bb12da2b0749eeebb21854c77877736969e59f2John McCall /// Finds the overloaded expression in the given expression of 14447bb12da2b0749eeebb21854c77877736969e59f2John McCall /// OverloadTy. 14457bb12da2b0749eeebb21854c77877736969e59f2John McCall /// 14467bb12da2b0749eeebb21854c77877736969e59f2John McCall /// \return the expression (which must be there) and true if it is 14477bb12da2b0749eeebb21854c77877736969e59f2John McCall /// within an address-of operator. 14487bb12da2b0749eeebb21854c77877736969e59f2John McCall static llvm::PointerIntPair<OverloadExpr*,1> find(Expr *E) { 14497bb12da2b0749eeebb21854c77877736969e59f2John McCall assert(E->getType()->isSpecificBuiltinType(BuiltinType::Overload)); 14507bb12da2b0749eeebb21854c77877736969e59f2John McCall 14517bb12da2b0749eeebb21854c77877736969e59f2John McCall bool op = false; 14527bb12da2b0749eeebb21854c77877736969e59f2John McCall E = E->IgnoreParens(); 14537bb12da2b0749eeebb21854c77877736969e59f2John McCall if (isa<UnaryOperator>(E)) 14547bb12da2b0749eeebb21854c77877736969e59f2John McCall op = true, E = cast<UnaryOperator>(E)->getSubExpr()->IgnoreParens(); 14557bb12da2b0749eeebb21854c77877736969e59f2John McCall return llvm::PointerIntPair<OverloadExpr*,1>(cast<OverloadExpr>(E), op); 14567bb12da2b0749eeebb21854c77877736969e59f2John McCall } 14577bb12da2b0749eeebb21854c77877736969e59f2John McCall 1458e9ee23edd17c4bb7f271e67f8790792b4de677fcJohn McCall /// Gets the naming class of this lookup, if any. 1459e9ee23edd17c4bb7f271e67f8790792b4de677fcJohn McCall CXXRecordDecl *getNamingClass() const; 1460e9ee23edd17c4bb7f271e67f8790792b4de677fcJohn McCall 14617bb12da2b0749eeebb21854c77877736969e59f2John McCall typedef UnresolvedSetImpl::iterator decls_iterator; 1462928e6fcf66fc4f342bcf7cc96bf56986c9c2a833Douglas Gregor decls_iterator decls_begin() const { return UnresolvedSetIterator(Results); } 1463928e6fcf66fc4f342bcf7cc96bf56986c9c2a833Douglas Gregor decls_iterator decls_end() const { 1464928e6fcf66fc4f342bcf7cc96bf56986c9c2a833Douglas Gregor return UnresolvedSetIterator(Results + NumResults); 1465928e6fcf66fc4f342bcf7cc96bf56986c9c2a833Douglas Gregor } 1466a77eb0862507b900a10fa352af1568e639ed10b1Argyrios Kyrtzidis 1467a77eb0862507b900a10fa352af1568e639ed10b1Argyrios Kyrtzidis void initializeResults(ASTContext &C, 1468a77eb0862507b900a10fa352af1568e639ed10b1Argyrios Kyrtzidis UnresolvedSetIterator Begin,UnresolvedSetIterator End); 14697bb12da2b0749eeebb21854c77877736969e59f2John McCall 14707bb12da2b0749eeebb21854c77877736969e59f2John McCall /// Gets the number of declarations in the unresolved set. 1471928e6fcf66fc4f342bcf7cc96bf56986c9c2a833Douglas Gregor unsigned getNumDecls() const { return NumResults; } 14727bb12da2b0749eeebb21854c77877736969e59f2John McCall 14732577743c5650c646fb705df01403707e94f2df04Abramo Bagnara /// Gets the full name info. 14742577743c5650c646fb705df01403707e94f2df04Abramo Bagnara const DeclarationNameInfo &getNameInfo() const { return NameInfo; } 14752577743c5650c646fb705df01403707e94f2df04Abramo Bagnara void setNameInfo(const DeclarationNameInfo &N) { NameInfo = N; } 14762577743c5650c646fb705df01403707e94f2df04Abramo Bagnara 14777bb12da2b0749eeebb21854c77877736969e59f2John McCall /// Gets the name looked up. 14782577743c5650c646fb705df01403707e94f2df04Abramo Bagnara DeclarationName getName() const { return NameInfo.getName(); } 14792577743c5650c646fb705df01403707e94f2df04Abramo Bagnara void setName(DeclarationName N) { NameInfo.setName(N); } 14807bb12da2b0749eeebb21854c77877736969e59f2John McCall 14817bb12da2b0749eeebb21854c77877736969e59f2John McCall /// Gets the location of the name. 14822577743c5650c646fb705df01403707e94f2df04Abramo Bagnara SourceLocation getNameLoc() const { return NameInfo.getLoc(); } 14832577743c5650c646fb705df01403707e94f2df04Abramo Bagnara void setNameLoc(SourceLocation Loc) { NameInfo.setLoc(Loc); } 14847bb12da2b0749eeebb21854c77877736969e59f2John McCall 14857bb12da2b0749eeebb21854c77877736969e59f2John McCall /// Fetches the nested-name qualifier, if one was given. 14867bb12da2b0749eeebb21854c77877736969e59f2John McCall NestedNameSpecifier *getQualifier() const { return Qualifier; } 1487a77eb0862507b900a10fa352af1568e639ed10b1Argyrios Kyrtzidis void setQualifier(NestedNameSpecifier *NNS) { Qualifier = NNS; } 14887bb12da2b0749eeebb21854c77877736969e59f2John McCall 14897bb12da2b0749eeebb21854c77877736969e59f2John McCall /// Fetches the range of the nested-name qualifier. 14907bb12da2b0749eeebb21854c77877736969e59f2John McCall SourceRange getQualifierRange() const { return QualifierRange; } 1491a77eb0862507b900a10fa352af1568e639ed10b1Argyrios Kyrtzidis void setQualifierRange(SourceRange R) { QualifierRange = R; } 14927bb12da2b0749eeebb21854c77877736969e59f2John McCall 14937bb12da2b0749eeebb21854c77877736969e59f2John McCall /// \brief Determines whether this expression had an explicit 14947bb12da2b0749eeebb21854c77877736969e59f2John McCall /// template argument list, e.g. f<int>. 14957bb12da2b0749eeebb21854c77877736969e59f2John McCall bool hasExplicitTemplateArgs() const { return HasExplicitTemplateArgs; } 14967bb12da2b0749eeebb21854c77877736969e59f2John McCall 14977bb12da2b0749eeebb21854c77877736969e59f2John McCall ExplicitTemplateArgumentList &getExplicitTemplateArgs(); // defined far below 14987bb12da2b0749eeebb21854c77877736969e59f2John McCall 14997bb12da2b0749eeebb21854c77877736969e59f2John McCall const ExplicitTemplateArgumentList &getExplicitTemplateArgs() const { 15007bb12da2b0749eeebb21854c77877736969e59f2John McCall return const_cast<OverloadExpr*>(this)->getExplicitTemplateArgs(); 15017bb12da2b0749eeebb21854c77877736969e59f2John McCall } 15027bb12da2b0749eeebb21854c77877736969e59f2John McCall 15037bb12da2b0749eeebb21854c77877736969e59f2John McCall ExplicitTemplateArgumentList *getOptionalExplicitTemplateArgs() { 15047bb12da2b0749eeebb21854c77877736969e59f2John McCall if (hasExplicitTemplateArgs()) 15057bb12da2b0749eeebb21854c77877736969e59f2John McCall return &getExplicitTemplateArgs(); 15067bb12da2b0749eeebb21854c77877736969e59f2John McCall return 0; 15077bb12da2b0749eeebb21854c77877736969e59f2John McCall } 15087bb12da2b0749eeebb21854c77877736969e59f2John McCall 15097bb12da2b0749eeebb21854c77877736969e59f2John McCall static bool classof(const Stmt *T) { 15107bb12da2b0749eeebb21854c77877736969e59f2John McCall return T->getStmtClass() == UnresolvedLookupExprClass || 15117bb12da2b0749eeebb21854c77877736969e59f2John McCall T->getStmtClass() == UnresolvedMemberExprClass; 15127bb12da2b0749eeebb21854c77877736969e59f2John McCall } 15137bb12da2b0749eeebb21854c77877736969e59f2John McCall static bool classof(const OverloadExpr *) { return true; } 15147bb12da2b0749eeebb21854c77877736969e59f2John McCall}; 15157bb12da2b0749eeebb21854c77877736969e59f2John McCall 15167bb12da2b0749eeebb21854c77877736969e59f2John McCall/// \brief A reference to a name which we were able to look up during 15177bb12da2b0749eeebb21854c77877736969e59f2John McCall/// parsing but could not resolve to a specific declaration. This 15187bb12da2b0749eeebb21854c77877736969e59f2John McCall/// arises in several ways: 15197bb12da2b0749eeebb21854c77877736969e59f2John McCall/// * we might be waiting for argument-dependent lookup 15207bb12da2b0749eeebb21854c77877736969e59f2John McCall/// * the name might resolve to an overloaded function 15217bb12da2b0749eeebb21854c77877736969e59f2John McCall/// and eventually: 15227bb12da2b0749eeebb21854c77877736969e59f2John McCall/// * the lookup might have included a function template 15237bb12da2b0749eeebb21854c77877736969e59f2John McCall/// These never include UnresolvedUsingValueDecls, which are always 15247bb12da2b0749eeebb21854c77877736969e59f2John McCall/// class members and therefore appear only in 15257bb12da2b0749eeebb21854c77877736969e59f2John McCall/// UnresolvedMemberLookupExprs. 15267bb12da2b0749eeebb21854c77877736969e59f2John McCallclass UnresolvedLookupExpr : public OverloadExpr { 1527ba13543329afac4a0d01304ec2ec4924d99306a6John McCall /// True if these lookup results should be extended by 1528ba13543329afac4a0d01304ec2ec4924d99306a6John McCall /// argument-dependent lookup if this is the operand of a function 1529ba13543329afac4a0d01304ec2ec4924d99306a6John McCall /// call. 1530ba13543329afac4a0d01304ec2ec4924d99306a6John McCall bool RequiresADL; 1531ba13543329afac4a0d01304ec2ec4924d99306a6John McCall 15327453ed4cb2cab113de3378df371b1c6f1243d832John McCall /// True if these lookup results are overloaded. This is pretty 15337453ed4cb2cab113de3378df371b1c6f1243d832John McCall /// trivially rederivable if we urgently need to kill this field. 15347453ed4cb2cab113de3378df371b1c6f1243d832John McCall bool Overloaded; 15357453ed4cb2cab113de3378df371b1c6f1243d832John McCall 15367bb12da2b0749eeebb21854c77877736969e59f2John McCall /// The naming class (C++ [class.access.base]p5) of the lookup, if 15377bb12da2b0749eeebb21854c77877736969e59f2John McCall /// any. This can generally be recalculated from the context chain, 15387bb12da2b0749eeebb21854c77877736969e59f2John McCall /// but that can be fairly expensive for unqualified lookups. If we 15397bb12da2b0749eeebb21854c77877736969e59f2John McCall /// want to improve memory use here, this could go in a union 15407bb12da2b0749eeebb21854c77877736969e59f2John McCall /// against the qualified-lookup bits. 15417bb12da2b0749eeebb21854c77877736969e59f2John McCall CXXRecordDecl *NamingClass; 1542f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall 1543928e6fcf66fc4f342bcf7cc96bf56986c9c2a833Douglas Gregor UnresolvedLookupExpr(ASTContext &C, QualType T, bool Dependent, 1544928e6fcf66fc4f342bcf7cc96bf56986c9c2a833Douglas Gregor CXXRecordDecl *NamingClass, 1545ba13543329afac4a0d01304ec2ec4924d99306a6John McCall NestedNameSpecifier *Qualifier, SourceRange QRange, 15462577743c5650c646fb705df01403707e94f2df04Abramo Bagnara const DeclarationNameInfo &NameInfo, 15475a84dec38cfa9e084377a3167b474c79283c82faDouglas Gregor bool RequiresADL, bool Overloaded, bool HasTemplateArgs, 15485a84dec38cfa9e084377a3167b474c79283c82faDouglas Gregor UnresolvedSetIterator Begin, UnresolvedSetIterator End) 1549928e6fcf66fc4f342bcf7cc96bf56986c9c2a833Douglas Gregor : OverloadExpr(UnresolvedLookupExprClass, C, T, Dependent, Qualifier, 15502577743c5650c646fb705df01403707e94f2df04Abramo Bagnara QRange, NameInfo, HasTemplateArgs, Begin, End), 15517bb12da2b0749eeebb21854c77877736969e59f2John McCall RequiresADL(RequiresADL), Overloaded(Overloaded), NamingClass(NamingClass) 1552ba13543329afac4a0d01304ec2ec4924d99306a6John McCall {} 1553ba13543329afac4a0d01304ec2ec4924d99306a6John McCall 1554bd65bb511c26549c96b829c1282e4c877588564aArgyrios Kyrtzidis UnresolvedLookupExpr(EmptyShell Empty) 1555bd65bb511c26549c96b829c1282e4c877588564aArgyrios Kyrtzidis : OverloadExpr(UnresolvedLookupExprClass, Empty), 1556bd65bb511c26549c96b829c1282e4c877588564aArgyrios Kyrtzidis RequiresADL(false), Overloaded(false), NamingClass(0) 1557bd65bb511c26549c96b829c1282e4c877588564aArgyrios Kyrtzidis {} 1558bd65bb511c26549c96b829c1282e4c877588564aArgyrios Kyrtzidis 1559ba13543329afac4a0d01304ec2ec4924d99306a6John McCallpublic: 1560ba13543329afac4a0d01304ec2ec4924d99306a6John McCall static UnresolvedLookupExpr *Create(ASTContext &C, 1561f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall bool Dependent, 1562c373d48502ca7683ab55385f5bd624d778eb288dJohn McCall CXXRecordDecl *NamingClass, 1563ba13543329afac4a0d01304ec2ec4924d99306a6John McCall NestedNameSpecifier *Qualifier, 1564ba13543329afac4a0d01304ec2ec4924d99306a6John McCall SourceRange QualifierRange, 15652577743c5650c646fb705df01403707e94f2df04Abramo Bagnara const DeclarationNameInfo &NameInfo, 15665a84dec38cfa9e084377a3167b474c79283c82faDouglas Gregor bool ADL, bool Overloaded, 15675a84dec38cfa9e084377a3167b474c79283c82faDouglas Gregor UnresolvedSetIterator Begin, 15685a84dec38cfa9e084377a3167b474c79283c82faDouglas Gregor UnresolvedSetIterator End) { 1569928e6fcf66fc4f342bcf7cc96bf56986c9c2a833Douglas Gregor return new(C) UnresolvedLookupExpr(C, 1570928e6fcf66fc4f342bcf7cc96bf56986c9c2a833Douglas Gregor Dependent ? C.DependentTy : C.OverloadTy, 1571c373d48502ca7683ab55385f5bd624d778eb288dJohn McCall Dependent, NamingClass, 15722577743c5650c646fb705df01403707e94f2df04Abramo Bagnara Qualifier, QualifierRange, NameInfo, 15732577743c5650c646fb705df01403707e94f2df04Abramo Bagnara ADL, Overloaded, false, 15745a84dec38cfa9e084377a3167b474c79283c82faDouglas Gregor Begin, End); 1575ba13543329afac4a0d01304ec2ec4924d99306a6John McCall } 1576ba13543329afac4a0d01304ec2ec4924d99306a6John McCall 1577f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall static UnresolvedLookupExpr *Create(ASTContext &C, 1578f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall bool Dependent, 1579c373d48502ca7683ab55385f5bd624d778eb288dJohn McCall CXXRecordDecl *NamingClass, 1580f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall NestedNameSpecifier *Qualifier, 1581f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall SourceRange QualifierRange, 15822577743c5650c646fb705df01403707e94f2df04Abramo Bagnara const DeclarationNameInfo &NameInfo, 1583f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall bool ADL, 15845a84dec38cfa9e084377a3167b474c79283c82faDouglas Gregor const TemplateArgumentListInfo &Args, 15855a84dec38cfa9e084377a3167b474c79283c82faDouglas Gregor UnresolvedSetIterator Begin, 15865a84dec38cfa9e084377a3167b474c79283c82faDouglas Gregor UnresolvedSetIterator End); 1587f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall 1588bd65bb511c26549c96b829c1282e4c877588564aArgyrios Kyrtzidis static UnresolvedLookupExpr *CreateEmpty(ASTContext &C, 1589bd65bb511c26549c96b829c1282e4c877588564aArgyrios Kyrtzidis unsigned NumTemplateArgs); 1590bd65bb511c26549c96b829c1282e4c877588564aArgyrios Kyrtzidis 1591ba13543329afac4a0d01304ec2ec4924d99306a6John McCall /// True if this declaration should be extended by 1592ba13543329afac4a0d01304ec2ec4924d99306a6John McCall /// argument-dependent lookup. 1593ba13543329afac4a0d01304ec2ec4924d99306a6John McCall bool requiresADL() const { return RequiresADL; } 1594bd65bb511c26549c96b829c1282e4c877588564aArgyrios Kyrtzidis void setRequiresADL(bool V) { RequiresADL = V; } 1595ba13543329afac4a0d01304ec2ec4924d99306a6John McCall 15967453ed4cb2cab113de3378df371b1c6f1243d832John McCall /// True if this lookup is overloaded. 15977453ed4cb2cab113de3378df371b1c6f1243d832John McCall bool isOverloaded() const { return Overloaded; } 1598bd65bb511c26549c96b829c1282e4c877588564aArgyrios Kyrtzidis void setOverloaded(bool V) { Overloaded = V; } 15997453ed4cb2cab113de3378df371b1c6f1243d832John McCall 1600c373d48502ca7683ab55385f5bd624d778eb288dJohn McCall /// Gets the 'naming class' (in the sense of C++0x 1601c373d48502ca7683ab55385f5bd624d778eb288dJohn McCall /// [class.access.base]p5) of the lookup. This is the scope 1602c373d48502ca7683ab55385f5bd624d778eb288dJohn McCall /// that was looked in to find these results. 1603c373d48502ca7683ab55385f5bd624d778eb288dJohn McCall CXXRecordDecl *getNamingClass() const { return NamingClass; } 1604bd65bb511c26549c96b829c1282e4c877588564aArgyrios Kyrtzidis void setNamingClass(CXXRecordDecl *D) { NamingClass = D; } 1605c373d48502ca7683ab55385f5bd624d778eb288dJohn McCall 1606f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall // Note that, inconsistently with the explicit-template-argument AST 1607f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall // nodes, users are *forbidden* from calling these methods on objects 1608f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall // without explicit template arguments. 1609f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall 16107bb12da2b0749eeebb21854c77877736969e59f2John McCall ExplicitTemplateArgumentList &getExplicitTemplateArgs() { 16117bb12da2b0749eeebb21854c77877736969e59f2John McCall assert(hasExplicitTemplateArgs()); 16127bb12da2b0749eeebb21854c77877736969e59f2John McCall return *reinterpret_cast<ExplicitTemplateArgumentList*>(this + 1); 16137bb12da2b0749eeebb21854c77877736969e59f2John McCall } 16147bb12da2b0749eeebb21854c77877736969e59f2John McCall 1615f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall /// Gets a reference to the explicit template argument list. 1616f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall const ExplicitTemplateArgumentList &getExplicitTemplateArgs() const { 1617f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall assert(hasExplicitTemplateArgs()); 1618f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall return *reinterpret_cast<const ExplicitTemplateArgumentList*>(this + 1); 1619f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall } 1620f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall 1621f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall /// \brief Copies the template arguments (if present) into the given 1622f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall /// structure. 1623f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall void copyTemplateArgumentsInto(TemplateArgumentListInfo &List) const { 1624f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall getExplicitTemplateArgs().copyInto(List); 1625f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall } 1626ba13543329afac4a0d01304ec2ec4924d99306a6John McCall 1627f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall SourceLocation getLAngleLoc() const { 1628f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall return getExplicitTemplateArgs().LAngleLoc; 1629f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall } 1630f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall 1631f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall SourceLocation getRAngleLoc() const { 1632f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall return getExplicitTemplateArgs().RAngleLoc; 1633f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall } 1634f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall 1635f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall TemplateArgumentLoc const *getTemplateArgs() const { 1636f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall return getExplicitTemplateArgs().getTemplateArgs(); 1637f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall } 1638f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall 1639f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall unsigned getNumTemplateArgs() const { 1640f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall return getExplicitTemplateArgs().NumTemplateArgs; 1641f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall } 1642ba13543329afac4a0d01304ec2ec4924d99306a6John McCall 1643ba13543329afac4a0d01304ec2ec4924d99306a6John McCall virtual SourceRange getSourceRange() const { 16442577743c5650c646fb705df01403707e94f2df04Abramo Bagnara SourceRange Range(getNameInfo().getSourceRange()); 16457bb12da2b0749eeebb21854c77877736969e59f2John McCall if (getQualifier()) Range.setBegin(getQualifierRange().getBegin()); 1646f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall if (hasExplicitTemplateArgs()) Range.setEnd(getRAngleLoc()); 1647f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall return Range; 1648ba13543329afac4a0d01304ec2ec4924d99306a6John McCall } 1649ba13543329afac4a0d01304ec2ec4924d99306a6John McCall 1650ba13543329afac4a0d01304ec2ec4924d99306a6John McCall virtual StmtIterator child_begin(); 1651ba13543329afac4a0d01304ec2ec4924d99306a6John McCall virtual StmtIterator child_end(); 1652ba13543329afac4a0d01304ec2ec4924d99306a6John McCall 1653ba13543329afac4a0d01304ec2ec4924d99306a6John McCall static bool classof(const Stmt *T) { 1654ba13543329afac4a0d01304ec2ec4924d99306a6John McCall return T->getStmtClass() == UnresolvedLookupExprClass; 1655ba13543329afac4a0d01304ec2ec4924d99306a6John McCall } 1656ba13543329afac4a0d01304ec2ec4924d99306a6John McCall static bool classof(const UnresolvedLookupExpr *) { return true; } 1657ba13543329afac4a0d01304ec2ec4924d99306a6John McCall}; 1658ba13543329afac4a0d01304ec2ec4924d99306a6John McCall 16595953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor/// \brief A qualified reference to a name whose declaration cannot 16605953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor/// yet be resolved. 16615953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor/// 1662ba13543329afac4a0d01304ec2ec4924d99306a6John McCall/// DependentScopeDeclRefExpr is similar to DeclRefExpr in that 1663a2813cec2605ce7878d1b13471d685f689b251afDouglas Gregor/// it expresses a reference to a declaration such as 16645953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor/// X<T>::value. The difference, however, is that an 1665865d447ac6a4721ab58e898d014a21f2eff74b06John McCall/// DependentScopeDeclRefExpr node is used only within C++ templates when 16665953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor/// the qualification (e.g., X<T>::) refers to a dependent type. In 16675953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor/// this case, X<T>::value cannot resolve to a declaration because the 16685953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor/// declaration will differ from on instantiation of X<T> to the 1669865d447ac6a4721ab58e898d014a21f2eff74b06John McCall/// next. Therefore, DependentScopeDeclRefExpr keeps track of the 1670ab452ba8323d1985e08bade2bced588cddf2cc28Douglas Gregor/// qualifier (X<T>::) and the name of the entity being referenced 1671a2813cec2605ce7878d1b13471d685f689b251afDouglas Gregor/// ("value"). Such expressions will instantiate to a DeclRefExpr once the 1672a2813cec2605ce7878d1b13471d685f689b251afDouglas Gregor/// declaration can be found. 1673865d447ac6a4721ab58e898d014a21f2eff74b06John McCallclass DependentScopeDeclRefExpr : public Expr { 16745953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor /// The name of the entity we will be referencing. 16752577743c5650c646fb705df01403707e94f2df04Abramo Bagnara DeclarationNameInfo NameInfo; 16765953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor 16775953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor /// QualifierRange - The source range that covers the 16785953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor /// nested-name-specifier. 16795953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor SourceRange QualifierRange; 16805953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor 1681ab452ba8323d1985e08bade2bced588cddf2cc28Douglas Gregor /// \brief The nested-name-specifier that qualifies this unresolved 1682ab452ba8323d1985e08bade2bced588cddf2cc28Douglas Gregor /// declaration name. 1683f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall NestedNameSpecifier *Qualifier; 16845953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor 1685f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall /// \brief Whether the name includes explicit template arguments. 1686f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall bool HasExplicitTemplateArgs; 16871eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1688f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall DependentScopeDeclRefExpr(QualType T, 1689f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall NestedNameSpecifier *Qualifier, 1690f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall SourceRange QualifierRange, 16912577743c5650c646fb705df01403707e94f2df04Abramo Bagnara const DeclarationNameInfo &NameInfo, 1692f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall bool HasExplicitTemplateArgs) 1693865d447ac6a4721ab58e898d014a21f2eff74b06John McCall : Expr(DependentScopeDeclRefExprClass, T, true, true), 16942577743c5650c646fb705df01403707e94f2df04Abramo Bagnara NameInfo(NameInfo), QualifierRange(QualifierRange), Qualifier(Qualifier), 1695f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall HasExplicitTemplateArgs(HasExplicitTemplateArgs) 1696f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall {} 1697f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall 1698f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCallpublic: 1699f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall static DependentScopeDeclRefExpr *Create(ASTContext &C, 1700f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall NestedNameSpecifier *Qualifier, 1701f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall SourceRange QualifierRange, 17022577743c5650c646fb705df01403707e94f2df04Abramo Bagnara const DeclarationNameInfo &NameInfo, 1703f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall const TemplateArgumentListInfo *TemplateArgs = 0); 17045953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor 170512dffcddb60380c5bed4f085a1f51534afda3b87Argyrios Kyrtzidis static DependentScopeDeclRefExpr *CreateEmpty(ASTContext &C, 170612dffcddb60380c5bed4f085a1f51534afda3b87Argyrios Kyrtzidis unsigned NumTemplateArgs); 170712dffcddb60380c5bed4f085a1f51534afda3b87Argyrios Kyrtzidis 17085953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor /// \brief Retrieve the name that this expression refers to. 17092577743c5650c646fb705df01403707e94f2df04Abramo Bagnara const DeclarationNameInfo &getNameInfo() const { return NameInfo; } 17102577743c5650c646fb705df01403707e94f2df04Abramo Bagnara void setNameInfo(const DeclarationNameInfo &N) { NameInfo = N; } 17112577743c5650c646fb705df01403707e94f2df04Abramo Bagnara 17122577743c5650c646fb705df01403707e94f2df04Abramo Bagnara /// \brief Retrieve the name that this expression refers to. 17132577743c5650c646fb705df01403707e94f2df04Abramo Bagnara DeclarationName getDeclName() const { return NameInfo.getName(); } 17142577743c5650c646fb705df01403707e94f2df04Abramo Bagnara void setDeclName(DeclarationName N) { NameInfo.setName(N); } 17155953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor 17165953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor /// \brief Retrieve the location of the name within the expression. 17172577743c5650c646fb705df01403707e94f2df04Abramo Bagnara SourceLocation getLocation() const { return NameInfo.getLoc(); } 17182577743c5650c646fb705df01403707e94f2df04Abramo Bagnara void setLocation(SourceLocation L) { NameInfo.setLoc(L); } 17195953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor 17205953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor /// \brief Retrieve the source range of the nested-name-specifier. 17215953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor SourceRange getQualifierRange() const { return QualifierRange; } 172212dffcddb60380c5bed4f085a1f51534afda3b87Argyrios Kyrtzidis void setQualifierRange(SourceRange R) { QualifierRange = R; } 17235953d8b37f92f0cf548941f617c9b0a7703df33bDouglas Gregor 1724ab452ba8323d1985e08bade2bced588cddf2cc28Douglas Gregor /// \brief Retrieve the nested-name-specifier that qualifies this 1725ab452ba8323d1985e08bade2bced588cddf2cc28Douglas Gregor /// declaration. 1726edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor NestedNameSpecifier *getQualifier() const { return Qualifier; } 172712dffcddb60380c5bed4f085a1f51534afda3b87Argyrios Kyrtzidis void setQualifier(NestedNameSpecifier *NNS) { Qualifier = NNS; } 17281eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1729f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall /// Determines whether this lookup had explicit template arguments. 1730f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall bool hasExplicitTemplateArgs() const { return HasExplicitTemplateArgs; } 17311eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1732f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall // Note that, inconsistently with the explicit-template-argument AST 1733f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall // nodes, users are *forbidden* from calling these methods on objects 1734f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall // without explicit template arguments. 17351eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 173612dffcddb60380c5bed4f085a1f51534afda3b87Argyrios Kyrtzidis ExplicitTemplateArgumentList &getExplicitTemplateArgs() { 173712dffcddb60380c5bed4f085a1f51534afda3b87Argyrios Kyrtzidis assert(hasExplicitTemplateArgs()); 173812dffcddb60380c5bed4f085a1f51534afda3b87Argyrios Kyrtzidis return *reinterpret_cast<ExplicitTemplateArgumentList*>(this + 1); 173912dffcddb60380c5bed4f085a1f51534afda3b87Argyrios Kyrtzidis } 174012dffcddb60380c5bed4f085a1f51534afda3b87Argyrios Kyrtzidis 1741f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall /// Gets a reference to the explicit template argument list. 1742f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall const ExplicitTemplateArgumentList &getExplicitTemplateArgs() const { 1743f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall assert(hasExplicitTemplateArgs()); 1744f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall return *reinterpret_cast<const ExplicitTemplateArgumentList*>(this + 1); 1745f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall } 17461eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1747f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall /// \brief Copies the template arguments (if present) into the given 1748f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall /// structure. 1749f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall void copyTemplateArgumentsInto(TemplateArgumentListInfo &List) const { 1750f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall getExplicitTemplateArgs().copyInto(List); 1751f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall } 1752f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall 1753f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall SourceLocation getLAngleLoc() const { 1754f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall return getExplicitTemplateArgs().LAngleLoc; 1755edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor } 17561eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1757f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall SourceLocation getRAngleLoc() const { 1758f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall return getExplicitTemplateArgs().RAngleLoc; 1759f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall } 17601eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1761f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall TemplateArgumentLoc const *getTemplateArgs() const { 1762f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall return getExplicitTemplateArgs().getTemplateArgs(); 1763d5532b6cfff2977e0c59fa6ead7f7973984a620dJohn McCall } 1764d5532b6cfff2977e0c59fa6ead7f7973984a620dJohn McCall 1765f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall unsigned getNumTemplateArgs() const { 1766f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall return getExplicitTemplateArgs().NumTemplateArgs; 1767f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall } 17681eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1769edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor virtual SourceRange getSourceRange() const { 1770f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall SourceRange Range(QualifierRange.getBegin(), getLocation()); 1771f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall if (hasExplicitTemplateArgs()) 1772f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall Range.setEnd(getRAngleLoc()); 1773f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall return Range; 1774edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor } 17751eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 17761eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump static bool classof(const Stmt *T) { 1777f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall return T->getStmtClass() == DependentScopeDeclRefExprClass; 1778edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor } 1779f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall static bool classof(const DependentScopeDeclRefExpr *) { return true; } 1780f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall 1781f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall virtual StmtIterator child_begin(); 1782f7a1a744eba4b29ceb0f20af8f34515d892fdd64John McCall virtual StmtIterator child_end(); 1783edce4dd44732dfad69f28822dddcf2b8e92b4483Douglas Gregor}; 17841eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 17852d44e8a41de8a33c0f04ac198714f71dc841bab0Anders Carlssonclass CXXExprWithTemporaries : public Expr { 178602bbfa33590dfe3107e801fb526b7ab0bdfd00eeAnders Carlsson Stmt *SubExpr; 17871eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1788ff6b3d64c9f07155f1414411b8451d7bf8937c62Anders Carlsson CXXTemporary **Temps; 1789ff6b3d64c9f07155f1414411b8451d7bf8937c62Anders Carlsson unsigned NumTemps; 179002bbfa33590dfe3107e801fb526b7ab0bdfd00eeAnders Carlsson 1791d04ed416be7c55bddddab1fa3fd38a0113a6b3daTed Kremenek CXXExprWithTemporaries(ASTContext &C, Expr *SubExpr, CXXTemporary **Temps, 17920ece491d8f62ce67f047491a6703fac0d3bd4ff4Anders Carlsson unsigned NumTemps); 179342602bb40aefcc2751d4078ba88aacf4d965c9bdDouglas Gregor 179488eaf075c56672761b72cc50957db4a35bf24ebdAnders Carlssonpublic: 1795d2598368876cfe40bc8465540033bc5b5e58d8afChris Lattner CXXExprWithTemporaries(EmptyShell Empty) 1796d2598368876cfe40bc8465540033bc5b5e58d8afChris Lattner : Expr(CXXExprWithTemporariesClass, Empty), 1797d2598368876cfe40bc8465540033bc5b5e58d8afChris Lattner SubExpr(0), Temps(0), NumTemps(0) {} 1798d2598368876cfe40bc8465540033bc5b5e58d8afChris Lattner 179988eaf075c56672761b72cc50957db4a35bf24ebdAnders Carlsson static CXXExprWithTemporaries *Create(ASTContext &C, Expr *SubExpr, 18000ece491d8f62ce67f047491a6703fac0d3bd4ff4Anders Carlsson CXXTemporary **Temps, 18010ece491d8f62ce67f047491a6703fac0d3bd4ff4Anders Carlsson unsigned NumTemps); 18021eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 180388eaf075c56672761b72cc50957db4a35bf24ebdAnders Carlsson unsigned getNumTemporaries() const { return NumTemps; } 1804d04ed416be7c55bddddab1fa3fd38a0113a6b3daTed Kremenek void setNumTemporaries(ASTContext &C, unsigned N); 1805d2598368876cfe40bc8465540033bc5b5e58d8afChris Lattner 180688eaf075c56672761b72cc50957db4a35bf24ebdAnders Carlsson CXXTemporary *getTemporary(unsigned i) { 180788eaf075c56672761b72cc50957db4a35bf24ebdAnders Carlsson assert(i < NumTemps && "Index out of range"); 180888eaf075c56672761b72cc50957db4a35bf24ebdAnders Carlsson return Temps[i]; 180988eaf075c56672761b72cc50957db4a35bf24ebdAnders Carlsson } 1810f0721fe438d7e40c168e5d664970e7830bc138fbAnders Carlsson const CXXTemporary *getTemporary(unsigned i) const { 18110ece491d8f62ce67f047491a6703fac0d3bd4ff4Anders Carlsson return const_cast<CXXExprWithTemporaries*>(this)->getTemporary(i); 1812f0721fe438d7e40c168e5d664970e7830bc138fbAnders Carlsson } 1813d2598368876cfe40bc8465540033bc5b5e58d8afChris Lattner void setTemporary(unsigned i, CXXTemporary *T) { 1814d2598368876cfe40bc8465540033bc5b5e58d8afChris Lattner assert(i < NumTemps && "Index out of range"); 1815d2598368876cfe40bc8465540033bc5b5e58d8afChris Lattner Temps[i] = T; 1816d2598368876cfe40bc8465540033bc5b5e58d8afChris Lattner } 18171eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 181802bbfa33590dfe3107e801fb526b7ab0bdfd00eeAnders Carlsson Expr *getSubExpr() { return cast<Expr>(SubExpr); } 1819f0721fe438d7e40c168e5d664970e7830bc138fbAnders Carlsson const Expr *getSubExpr() const { return cast<Expr>(SubExpr); } 182088eaf075c56672761b72cc50957db4a35bf24ebdAnders Carlsson void setSubExpr(Expr *E) { SubExpr = E; } 182102bbfa33590dfe3107e801fb526b7ab0bdfd00eeAnders Carlsson 182296be6917e1c4ba1f4435a14c9e7c6c139571d086Douglas Gregor virtual SourceRange getSourceRange() const { 182396be6917e1c4ba1f4435a14c9e7c6c139571d086Douglas Gregor return SubExpr->getSourceRange(); 182496be6917e1c4ba1f4435a14c9e7c6c139571d086Douglas Gregor } 182502bbfa33590dfe3107e801fb526b7ab0bdfd00eeAnders Carlsson 182602bbfa33590dfe3107e801fb526b7ab0bdfd00eeAnders Carlsson // Implement isa/cast/dyncast/etc. 182702bbfa33590dfe3107e801fb526b7ab0bdfd00eeAnders Carlsson static bool classof(const Stmt *T) { 18282d44e8a41de8a33c0f04ac198714f71dc841bab0Anders Carlsson return T->getStmtClass() == CXXExprWithTemporariesClass; 182902bbfa33590dfe3107e801fb526b7ab0bdfd00eeAnders Carlsson } 18302d44e8a41de8a33c0f04ac198714f71dc841bab0Anders Carlsson static bool classof(const CXXExprWithTemporaries *) { return true; } 183102bbfa33590dfe3107e801fb526b7ab0bdfd00eeAnders Carlsson 183202bbfa33590dfe3107e801fb526b7ab0bdfd00eeAnders Carlsson // Iterators 183302bbfa33590dfe3107e801fb526b7ab0bdfd00eeAnders Carlsson virtual child_iterator child_begin(); 183402bbfa33590dfe3107e801fb526b7ab0bdfd00eeAnders Carlsson virtual child_iterator child_end(); 183502bbfa33590dfe3107e801fb526b7ab0bdfd00eeAnders Carlsson}; 183602bbfa33590dfe3107e801fb526b7ab0bdfd00eeAnders Carlsson 1837d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor/// \brief Describes an explicit type conversion that uses functional 1838d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor/// notion but could not be resolved because one or more arguments are 1839d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor/// type-dependent. 1840d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor/// 1841d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor/// The explicit type conversions expressed by 1842d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor/// CXXUnresolvedConstructExpr have the form \c T(a1, a2, ..., aN), 1843d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor/// where \c T is some type and \c a1, a2, ..., aN are values, and 1844d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor/// either \C T is a dependent type or one or more of the \c a's is 1845d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor/// type-dependent. For example, this would occur in a template such 1846d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor/// as: 1847d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor/// 1848d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor/// \code 1849d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor/// template<typename T, typename A1> 1850d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor/// inline T make_a(const A1& a1) { 1851d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor/// return T(a1); 1852d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor/// } 1853d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor/// \endcode 1854d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor/// 1855d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor/// When the returned expression is instantiated, it may resolve to a 1856d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor/// constructor call, conversion function call, or some kind of type 1857d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor/// conversion. 1858d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregorclass CXXUnresolvedConstructExpr : public Expr { 1859d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor /// \brief The starting location of the type 1860d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor SourceLocation TyBeginLoc; 1861d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor 1862d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor /// \brief The type being constructed. 1863d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor QualType Type; 1864d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor 1865d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor /// \brief The location of the left parentheses ('('). 1866d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor SourceLocation LParenLoc; 1867d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor 1868d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor /// \brief The location of the right parentheses (')'). 1869d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor SourceLocation RParenLoc; 1870d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor 1871d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor /// \brief The number of arguments used to construct the type. 1872d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor unsigned NumArgs; 18731eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1874d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor CXXUnresolvedConstructExpr(SourceLocation TyBegin, 1875d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor QualType T, 1876d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor SourceLocation LParenLoc, 1877d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor Expr **Args, 1878d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor unsigned NumArgs, 1879d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor SourceLocation RParenLoc); 1880d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor 18818dfbd8b252ba4e6cf4b7a3422f6ef0ca21312dfeArgyrios Kyrtzidis CXXUnresolvedConstructExpr(EmptyShell Empty, unsigned NumArgs) 18828dfbd8b252ba4e6cf4b7a3422f6ef0ca21312dfeArgyrios Kyrtzidis : Expr(CXXUnresolvedConstructExprClass, Empty), NumArgs(NumArgs) { } 18838dfbd8b252ba4e6cf4b7a3422f6ef0ca21312dfeArgyrios Kyrtzidis 1884d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregorpublic: 18851eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump static CXXUnresolvedConstructExpr *Create(ASTContext &C, 1886d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor SourceLocation TyBegin, 1887d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor QualType T, 1888d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor SourceLocation LParenLoc, 1889d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor Expr **Args, 1890d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor unsigned NumArgs, 1891d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor SourceLocation RParenLoc); 1892d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor 18938dfbd8b252ba4e6cf4b7a3422f6ef0ca21312dfeArgyrios Kyrtzidis static CXXUnresolvedConstructExpr *CreateEmpty(ASTContext &C, 18948dfbd8b252ba4e6cf4b7a3422f6ef0ca21312dfeArgyrios Kyrtzidis unsigned NumArgs); 18958dfbd8b252ba4e6cf4b7a3422f6ef0ca21312dfeArgyrios Kyrtzidis 1896d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor /// \brief Retrieve the source location where the type begins. 1897d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor SourceLocation getTypeBeginLoc() const { return TyBeginLoc; } 1898d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor void setTypeBeginLoc(SourceLocation L) { TyBeginLoc = L; } 1899d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor 1900d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor /// \brief Retrieve the type that is being constructed, as specified 1901d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor /// in the source code. 1902d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor QualType getTypeAsWritten() const { return Type; } 1903d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor void setTypeAsWritten(QualType T) { Type = T; } 1904d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor 1905d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor /// \brief Retrieve the location of the left parentheses ('(') that 1906d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor /// precedes the argument list. 1907d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor SourceLocation getLParenLoc() const { return LParenLoc; } 1908d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor void setLParenLoc(SourceLocation L) { LParenLoc = L; } 1909d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor 1910d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor /// \brief Retrieve the location of the right parentheses (')') that 1911d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor /// follows the argument list. 1912d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor SourceLocation getRParenLoc() const { return RParenLoc; } 1913d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor void setRParenLoc(SourceLocation L) { RParenLoc = L; } 1914d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor 1915d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor /// \brief Retrieve the number of arguments. 1916d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor unsigned arg_size() const { return NumArgs; } 1917d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor 1918d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor typedef Expr** arg_iterator; 1919d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor arg_iterator arg_begin() { return reinterpret_cast<Expr**>(this + 1); } 1920d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor arg_iterator arg_end() { return arg_begin() + NumArgs; } 1921d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor 19221dd7383dc48718c452e71a625b29531dd96fbb9dJohn McCall typedef const Expr* const * const_arg_iterator; 19231dd7383dc48718c452e71a625b29531dd96fbb9dJohn McCall const_arg_iterator arg_begin() const { 19241dd7383dc48718c452e71a625b29531dd96fbb9dJohn McCall return reinterpret_cast<const Expr* const *>(this + 1); 19251dd7383dc48718c452e71a625b29531dd96fbb9dJohn McCall } 19261dd7383dc48718c452e71a625b29531dd96fbb9dJohn McCall const_arg_iterator arg_end() const { 19271dd7383dc48718c452e71a625b29531dd96fbb9dJohn McCall return arg_begin() + NumArgs; 19281dd7383dc48718c452e71a625b29531dd96fbb9dJohn McCall } 19291dd7383dc48718c452e71a625b29531dd96fbb9dJohn McCall 1930d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor Expr *getArg(unsigned I) { 1931d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor assert(I < NumArgs && "Argument index out-of-range"); 1932d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor return *(arg_begin() + I); 1933d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor } 1934d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor 19351dd7383dc48718c452e71a625b29531dd96fbb9dJohn McCall const Expr *getArg(unsigned I) const { 19361dd7383dc48718c452e71a625b29531dd96fbb9dJohn McCall assert(I < NumArgs && "Argument index out-of-range"); 19371dd7383dc48718c452e71a625b29531dd96fbb9dJohn McCall return *(arg_begin() + I); 19381dd7383dc48718c452e71a625b29531dd96fbb9dJohn McCall } 19391dd7383dc48718c452e71a625b29531dd96fbb9dJohn McCall 19408dfbd8b252ba4e6cf4b7a3422f6ef0ca21312dfeArgyrios Kyrtzidis void setArg(unsigned I, Expr *E) { 19418dfbd8b252ba4e6cf4b7a3422f6ef0ca21312dfeArgyrios Kyrtzidis assert(I < NumArgs && "Argument index out-of-range"); 19428dfbd8b252ba4e6cf4b7a3422f6ef0ca21312dfeArgyrios Kyrtzidis *(arg_begin() + I) = E; 19438dfbd8b252ba4e6cf4b7a3422f6ef0ca21312dfeArgyrios Kyrtzidis } 19448dfbd8b252ba4e6cf4b7a3422f6ef0ca21312dfeArgyrios Kyrtzidis 1945d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor virtual SourceRange getSourceRange() const { 1946d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor return SourceRange(TyBeginLoc, RParenLoc); 1947d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor } 19481eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump static bool classof(const Stmt *T) { 1949d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor return T->getStmtClass() == CXXUnresolvedConstructExprClass; 1950d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor } 1951d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor static bool classof(const CXXUnresolvedConstructExpr *) { return true; } 1952d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor 1953d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor // Iterators 1954d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor virtual child_iterator child_begin(); 1955d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor virtual child_iterator child_end(); 1956d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor}; 1957d81e6ca6e378c3996a139066a5c4b7fc1869630cDouglas Gregor 1958ba13543329afac4a0d01304ec2ec4924d99306a6John McCall/// \brief Represents a C++ member access expression where the actual 1959ba13543329afac4a0d01304ec2ec4924d99306a6John McCall/// member referenced could not be resolved because the base 1960ba13543329afac4a0d01304ec2ec4924d99306a6John McCall/// expression or the member name was dependent. 1961aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall/// 1962aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall/// Like UnresolvedMemberExprs, these can be either implicit or 1963aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall/// explicit accesses. It is only possible to get one of these with 1964aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall/// an implicit access if a qualifier is provided. 1965865d447ac6a4721ab58e898d014a21f2eff74b06John McCallclass CXXDependentScopeMemberExpr : public Expr { 19661c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor /// \brief The expression for the base pointer or class reference, 1967aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall /// e.g., the \c x in x.f. Can be null in implicit accesses. 19681c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor Stmt *Base; 19691eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1970aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall /// \brief The type of the base expression. Never null, even for 1971aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall /// implicit accesses. 1972aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall QualType BaseType; 1973aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall 19741c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor /// \brief Whether this member expression used the '->' operator or 19751c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor /// the '.' operator. 19763b6afbb99a1c44b4076f8e15fb7311405941b306Douglas Gregor bool IsArrow : 1; 19771c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor 19783b6afbb99a1c44b4076f8e15fb7311405941b306Douglas Gregor /// \brief Whether this member expression has explicitly-specified template 19793b6afbb99a1c44b4076f8e15fb7311405941b306Douglas Gregor /// arguments. 1980aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall bool HasExplicitTemplateArgs : 1; 19811eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 19821c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor /// \brief The location of the '->' or '.' operator. 19831c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor SourceLocation OperatorLoc; 19841c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor 1985a38c687ef5354678b9d76a7b29354159f2b83736Douglas Gregor /// \brief The nested-name-specifier that precedes the member name, if any. 1986a38c687ef5354678b9d76a7b29354159f2b83736Douglas Gregor NestedNameSpecifier *Qualifier; 19871eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1988a38c687ef5354678b9d76a7b29354159f2b83736Douglas Gregor /// \brief The source range covering the nested name specifier. 1989a38c687ef5354678b9d76a7b29354159f2b83736Douglas Gregor SourceRange QualifierRange; 19901eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 1991c68afe2cbe7f875a9243c411077602fb5f5dc74bDouglas Gregor /// \brief In a qualified member access expression such as t->Base::f, this 19921eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump /// member stores the resolves of name lookup in the context of the member 1993c68afe2cbe7f875a9243c411077602fb5f5dc74bDouglas Gregor /// access expression, to be used at instantiation time. 1994c68afe2cbe7f875a9243c411077602fb5f5dc74bDouglas Gregor /// 1995c68afe2cbe7f875a9243c411077602fb5f5dc74bDouglas Gregor /// FIXME: This member, along with the Qualifier and QualifierRange, could 1996c68afe2cbe7f875a9243c411077602fb5f5dc74bDouglas Gregor /// be stuck into a structure that is optionally allocated at the end of 1997865d447ac6a4721ab58e898d014a21f2eff74b06John McCall /// the CXXDependentScopeMemberExpr, to save space in the common case. 1998c68afe2cbe7f875a9243c411077602fb5f5dc74bDouglas Gregor NamedDecl *FirstQualifierFoundInScope; 19991eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 20001c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor /// \brief The member to which this member expression refers, which 20011c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor /// can be name, overloaded operator, or destructor. 2002a38c687ef5354678b9d76a7b29354159f2b83736Douglas Gregor /// FIXME: could also be a template-id 20032577743c5650c646fb705df01403707e94f2df04Abramo Bagnara DeclarationNameInfo MemberNameInfo; 20041eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 2005865d447ac6a4721ab58e898d014a21f2eff74b06John McCall CXXDependentScopeMemberExpr(ASTContext &C, 2006aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall Expr *Base, QualType BaseType, bool IsArrow, 20073b6afbb99a1c44b4076f8e15fb7311405941b306Douglas Gregor SourceLocation OperatorLoc, 20083b6afbb99a1c44b4076f8e15fb7311405941b306Douglas Gregor NestedNameSpecifier *Qualifier, 20093b6afbb99a1c44b4076f8e15fb7311405941b306Douglas Gregor SourceRange QualifierRange, 20103b6afbb99a1c44b4076f8e15fb7311405941b306Douglas Gregor NamedDecl *FirstQualifierFoundInScope, 20112577743c5650c646fb705df01403707e94f2df04Abramo Bagnara DeclarationNameInfo MemberNameInfo, 2012d5532b6cfff2977e0c59fa6ead7f7973984a620dJohn McCall const TemplateArgumentListInfo *TemplateArgs); 20131eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 20141c0ca59416999129d0439c2661d137ef38e86209Douglas Gregorpublic: 2015865d447ac6a4721ab58e898d014a21f2eff74b06John McCall CXXDependentScopeMemberExpr(ASTContext &C, 2016aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall Expr *Base, QualType BaseType, 2017aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall bool IsArrow, 20181c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor SourceLocation OperatorLoc, 2019a38c687ef5354678b9d76a7b29354159f2b83736Douglas Gregor NestedNameSpecifier *Qualifier, 2020a38c687ef5354678b9d76a7b29354159f2b83736Douglas Gregor SourceRange QualifierRange, 2021c68afe2cbe7f875a9243c411077602fb5f5dc74bDouglas Gregor NamedDecl *FirstQualifierFoundInScope, 20222577743c5650c646fb705df01403707e94f2df04Abramo Bagnara DeclarationNameInfo MemberNameInfo) 2023865d447ac6a4721ab58e898d014a21f2eff74b06John McCall : Expr(CXXDependentScopeMemberExprClass, C.DependentTy, true, true), 2024aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall Base(Base), BaseType(BaseType), IsArrow(IsArrow), 2025aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall HasExplicitTemplateArgs(false), OperatorLoc(OperatorLoc), 20263b6afbb99a1c44b4076f8e15fb7311405941b306Douglas Gregor Qualifier(Qualifier), QualifierRange(QualifierRange), 20273b6afbb99a1c44b4076f8e15fb7311405941b306Douglas Gregor FirstQualifierFoundInScope(FirstQualifierFoundInScope), 20282577743c5650c646fb705df01403707e94f2df04Abramo Bagnara MemberNameInfo(MemberNameInfo) { } 20291eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 2030865d447ac6a4721ab58e898d014a21f2eff74b06John McCall static CXXDependentScopeMemberExpr * 20311eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump Create(ASTContext &C, 2032aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall Expr *Base, QualType BaseType, bool IsArrow, 20333b6afbb99a1c44b4076f8e15fb7311405941b306Douglas Gregor SourceLocation OperatorLoc, 20343b6afbb99a1c44b4076f8e15fb7311405941b306Douglas Gregor NestedNameSpecifier *Qualifier, 20353b6afbb99a1c44b4076f8e15fb7311405941b306Douglas Gregor SourceRange QualifierRange, 20363b6afbb99a1c44b4076f8e15fb7311405941b306Douglas Gregor NamedDecl *FirstQualifierFoundInScope, 20372577743c5650c646fb705df01403707e94f2df04Abramo Bagnara DeclarationNameInfo MemberNameInfo, 2038d5532b6cfff2977e0c59fa6ead7f7973984a620dJohn McCall const TemplateArgumentListInfo *TemplateArgs); 20391eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 20408dfbd8b252ba4e6cf4b7a3422f6ef0ca21312dfeArgyrios Kyrtzidis static CXXDependentScopeMemberExpr * 20418dfbd8b252ba4e6cf4b7a3422f6ef0ca21312dfeArgyrios Kyrtzidis CreateEmpty(ASTContext &C, unsigned NumTemplateArgs); 20428dfbd8b252ba4e6cf4b7a3422f6ef0ca21312dfeArgyrios Kyrtzidis 2043aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall /// \brief True if this is an implicit access, i.e. one in which the 2044aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall /// member being accessed was not written in the source. The source 2045aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall /// location of the operator is invalid in this case. 2046aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall bool isImplicitAccess() const { return Base == 0; } 2047aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall 20481c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor /// \brief Retrieve the base object of this member expressions, 20491c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor /// e.g., the \c x in \c x.m. 2050aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall Expr *getBase() const { 2051aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall assert(!isImplicitAccess()); 2052aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall return cast<Expr>(Base); 2053aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall } 20541c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor void setBase(Expr *E) { Base = E; } 20551c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor 2056aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall QualType getBaseType() const { return BaseType; } 20578dfbd8b252ba4e6cf4b7a3422f6ef0ca21312dfeArgyrios Kyrtzidis void setBaseType(QualType T) { BaseType = T; } 2058aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall 20591c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor /// \brief Determine whether this member expression used the '->' 20601c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor /// operator; otherwise, it used the '.' operator. 20611c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor bool isArrow() const { return IsArrow; } 20621c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor void setArrow(bool A) { IsArrow = A; } 20631c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor 20641c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor /// \brief Retrieve the location of the '->' or '.' operator. 20651c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor SourceLocation getOperatorLoc() const { return OperatorLoc; } 20661c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor void setOperatorLoc(SourceLocation L) { OperatorLoc = L; } 20671c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor 2068a38c687ef5354678b9d76a7b29354159f2b83736Douglas Gregor /// \brief Retrieve the nested-name-specifier that qualifies the member 2069a38c687ef5354678b9d76a7b29354159f2b83736Douglas Gregor /// name. 2070a38c687ef5354678b9d76a7b29354159f2b83736Douglas Gregor NestedNameSpecifier *getQualifier() const { return Qualifier; } 20718dfbd8b252ba4e6cf4b7a3422f6ef0ca21312dfeArgyrios Kyrtzidis void setQualifier(NestedNameSpecifier *NNS) { Qualifier = NNS; } 20721eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 2073a38c687ef5354678b9d76a7b29354159f2b83736Douglas Gregor /// \brief Retrieve the source range covering the nested-name-specifier 2074a38c687ef5354678b9d76a7b29354159f2b83736Douglas Gregor /// that qualifies the member name. 2075a38c687ef5354678b9d76a7b29354159f2b83736Douglas Gregor SourceRange getQualifierRange() const { return QualifierRange; } 20768dfbd8b252ba4e6cf4b7a3422f6ef0ca21312dfeArgyrios Kyrtzidis void setQualifierRange(SourceRange R) { QualifierRange = R; } 20771eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 2078c68afe2cbe7f875a9243c411077602fb5f5dc74bDouglas Gregor /// \brief Retrieve the first part of the nested-name-specifier that was 2079c68afe2cbe7f875a9243c411077602fb5f5dc74bDouglas Gregor /// found in the scope of the member access expression when the member access 2080c68afe2cbe7f875a9243c411077602fb5f5dc74bDouglas Gregor /// was initially parsed. 2081c68afe2cbe7f875a9243c411077602fb5f5dc74bDouglas Gregor /// 2082c68afe2cbe7f875a9243c411077602fb5f5dc74bDouglas Gregor /// This function only returns a useful result when member access expression 20831eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump /// uses a qualified member name, e.g., "x.Base::f". Here, the declaration 20841eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump /// returned by this function describes what was found by unqualified name 2085c68afe2cbe7f875a9243c411077602fb5f5dc74bDouglas Gregor /// lookup for the identifier "Base" within the scope of the member access 2086c68afe2cbe7f875a9243c411077602fb5f5dc74bDouglas Gregor /// expression itself. At template instantiation time, this information is 2087c68afe2cbe7f875a9243c411077602fb5f5dc74bDouglas Gregor /// combined with the results of name lookup into the type of the object 2088c68afe2cbe7f875a9243c411077602fb5f5dc74bDouglas Gregor /// expression itself (the class type of x). 20891eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump NamedDecl *getFirstQualifierFoundInScope() const { 2090c68afe2cbe7f875a9243c411077602fb5f5dc74bDouglas Gregor return FirstQualifierFoundInScope; 2091c68afe2cbe7f875a9243c411077602fb5f5dc74bDouglas Gregor } 20928dfbd8b252ba4e6cf4b7a3422f6ef0ca21312dfeArgyrios Kyrtzidis void setFirstQualifierFoundInScope(NamedDecl *D) { 20938dfbd8b252ba4e6cf4b7a3422f6ef0ca21312dfeArgyrios Kyrtzidis FirstQualifierFoundInScope = D; 20948dfbd8b252ba4e6cf4b7a3422f6ef0ca21312dfeArgyrios Kyrtzidis } 20951eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 20961c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor /// \brief Retrieve the name of the member that this expression 20971c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor /// refers to. 20982577743c5650c646fb705df01403707e94f2df04Abramo Bagnara const DeclarationNameInfo &getMemberNameInfo() const { 20992577743c5650c646fb705df01403707e94f2df04Abramo Bagnara return MemberNameInfo; 21002577743c5650c646fb705df01403707e94f2df04Abramo Bagnara } 21012577743c5650c646fb705df01403707e94f2df04Abramo Bagnara void setMemberNameInfo(const DeclarationNameInfo &N) { MemberNameInfo = N; } 21022577743c5650c646fb705df01403707e94f2df04Abramo Bagnara 21032577743c5650c646fb705df01403707e94f2df04Abramo Bagnara /// \brief Retrieve the name of the member that this expression 21042577743c5650c646fb705df01403707e94f2df04Abramo Bagnara /// refers to. 21052577743c5650c646fb705df01403707e94f2df04Abramo Bagnara DeclarationName getMember() const { return MemberNameInfo.getName(); } 21062577743c5650c646fb705df01403707e94f2df04Abramo Bagnara void setMember(DeclarationName N) { MemberNameInfo.setName(N); } 21071c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor 21081c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor // \brief Retrieve the location of the name of the member that this 21091c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor // expression refers to. 21102577743c5650c646fb705df01403707e94f2df04Abramo Bagnara SourceLocation getMemberLoc() const { return MemberNameInfo.getLoc(); } 21112577743c5650c646fb705df01403707e94f2df04Abramo Bagnara void setMemberLoc(SourceLocation L) { MemberNameInfo.setLoc(L); } 21121c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor 21133b6afbb99a1c44b4076f8e15fb7311405941b306Douglas Gregor /// \brief Determines whether this member expression actually had a C++ 21143b6afbb99a1c44b4076f8e15fb7311405941b306Douglas Gregor /// template argument list explicitly specified, e.g., x.f<int>. 2115aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall bool hasExplicitTemplateArgs() const { 2116aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall return HasExplicitTemplateArgs; 21173b6afbb99a1c44b4076f8e15fb7311405941b306Douglas Gregor } 21181eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 211936c76f0bea0d3595a25a5362225c642019cc3176Argyrios Kyrtzidis /// \brief Retrieve the explicit template argument list that followed the 212036c76f0bea0d3595a25a5362225c642019cc3176Argyrios Kyrtzidis /// member template name, if any. 212136c76f0bea0d3595a25a5362225c642019cc3176Argyrios Kyrtzidis ExplicitTemplateArgumentList *getExplicitTemplateArgumentList() { 212236c76f0bea0d3595a25a5362225c642019cc3176Argyrios Kyrtzidis assert(HasExplicitTemplateArgs); 212336c76f0bea0d3595a25a5362225c642019cc3176Argyrios Kyrtzidis return reinterpret_cast<ExplicitTemplateArgumentList *>(this + 1); 212436c76f0bea0d3595a25a5362225c642019cc3176Argyrios Kyrtzidis } 212536c76f0bea0d3595a25a5362225c642019cc3176Argyrios Kyrtzidis 212636c76f0bea0d3595a25a5362225c642019cc3176Argyrios Kyrtzidis /// \brief Retrieve the explicit template argument list that followed the 212736c76f0bea0d3595a25a5362225c642019cc3176Argyrios Kyrtzidis /// member template name, if any. 212836c76f0bea0d3595a25a5362225c642019cc3176Argyrios Kyrtzidis const ExplicitTemplateArgumentList *getExplicitTemplateArgumentList() const { 212936c76f0bea0d3595a25a5362225c642019cc3176Argyrios Kyrtzidis return const_cast<CXXDependentScopeMemberExpr *>(this) 213036c76f0bea0d3595a25a5362225c642019cc3176Argyrios Kyrtzidis ->getExplicitTemplateArgumentList(); 213136c76f0bea0d3595a25a5362225c642019cc3176Argyrios Kyrtzidis } 213236c76f0bea0d3595a25a5362225c642019cc3176Argyrios Kyrtzidis 2133d5532b6cfff2977e0c59fa6ead7f7973984a620dJohn McCall /// \brief Copies the template arguments (if present) into the given 2134d5532b6cfff2977e0c59fa6ead7f7973984a620dJohn McCall /// structure. 2135d5532b6cfff2977e0c59fa6ead7f7973984a620dJohn McCall void copyTemplateArgumentsInto(TemplateArgumentListInfo &List) const { 2136aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall assert(HasExplicitTemplateArgs); 2137aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall getExplicitTemplateArgumentList()->copyInto(List); 2138d5532b6cfff2977e0c59fa6ead7f7973984a620dJohn McCall } 2139d5532b6cfff2977e0c59fa6ead7f7973984a620dJohn McCall 21408dfbd8b252ba4e6cf4b7a3422f6ef0ca21312dfeArgyrios Kyrtzidis /// \brief Initializes the template arguments using the given structure. 21418dfbd8b252ba4e6cf4b7a3422f6ef0ca21312dfeArgyrios Kyrtzidis void initializeTemplateArgumentsFrom(const TemplateArgumentListInfo &List) { 21428dfbd8b252ba4e6cf4b7a3422f6ef0ca21312dfeArgyrios Kyrtzidis assert(HasExplicitTemplateArgs); 21438dfbd8b252ba4e6cf4b7a3422f6ef0ca21312dfeArgyrios Kyrtzidis getExplicitTemplateArgumentList()->initializeFrom(List); 21448dfbd8b252ba4e6cf4b7a3422f6ef0ca21312dfeArgyrios Kyrtzidis } 21458dfbd8b252ba4e6cf4b7a3422f6ef0ca21312dfeArgyrios Kyrtzidis 21461eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump /// \brief Retrieve the location of the left angle bracket following the 21473b6afbb99a1c44b4076f8e15fb7311405941b306Douglas Gregor /// member name ('<'), if any. 21481eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump SourceLocation getLAngleLoc() const { 2149aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall assert(HasExplicitTemplateArgs); 21503b6afbb99a1c44b4076f8e15fb7311405941b306Douglas Gregor return getExplicitTemplateArgumentList()->LAngleLoc; 21513b6afbb99a1c44b4076f8e15fb7311405941b306Douglas Gregor } 21521eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 21533b6afbb99a1c44b4076f8e15fb7311405941b306Douglas Gregor /// \brief Retrieve the template arguments provided as part of this 21543b6afbb99a1c44b4076f8e15fb7311405941b306Douglas Gregor /// template-id. 2155833ca991c1bfc967f0995974ca86f66ba1f666b5John McCall const TemplateArgumentLoc *getTemplateArgs() const { 2156aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall assert(HasExplicitTemplateArgs); 21573b6afbb99a1c44b4076f8e15fb7311405941b306Douglas Gregor return getExplicitTemplateArgumentList()->getTemplateArgs(); 21583b6afbb99a1c44b4076f8e15fb7311405941b306Douglas Gregor } 21591eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 21603b6afbb99a1c44b4076f8e15fb7311405941b306Douglas Gregor /// \brief Retrieve the number of template arguments provided as part of this 21613b6afbb99a1c44b4076f8e15fb7311405941b306Douglas Gregor /// template-id. 21621eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump unsigned getNumTemplateArgs() const { 2163aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall assert(HasExplicitTemplateArgs); 21643b6afbb99a1c44b4076f8e15fb7311405941b306Douglas Gregor return getExplicitTemplateArgumentList()->NumTemplateArgs; 21653b6afbb99a1c44b4076f8e15fb7311405941b306Douglas Gregor } 21661eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 21671eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump /// \brief Retrieve the location of the right angle bracket following the 21683b6afbb99a1c44b4076f8e15fb7311405941b306Douglas Gregor /// template arguments ('>'). 21691eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump SourceLocation getRAngleLoc() const { 2170aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall assert(HasExplicitTemplateArgs); 21713b6afbb99a1c44b4076f8e15fb7311405941b306Douglas Gregor return getExplicitTemplateArgumentList()->RAngleLoc; 21723b6afbb99a1c44b4076f8e15fb7311405941b306Douglas Gregor } 21731eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 21741c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor virtual SourceRange getSourceRange() const { 2175aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall SourceRange Range; 2176aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall if (!isImplicitAccess()) 2177aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall Range.setBegin(Base->getSourceRange().getBegin()); 2178aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall else if (getQualifier()) 2179aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall Range.setBegin(getQualifierRange().getBegin()); 2180aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall else 21812577743c5650c646fb705df01403707e94f2df04Abramo Bagnara Range.setBegin(MemberNameInfo.getBeginLoc()); 21821eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 2183aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall if (hasExplicitTemplateArgs()) 2184aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall Range.setEnd(getRAngleLoc()); 2185aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall else 21862577743c5650c646fb705df01403707e94f2df04Abramo Bagnara Range.setEnd(MemberNameInfo.getEndLoc()); 2187aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall return Range; 21881c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor } 21891eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump 21901eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump static bool classof(const Stmt *T) { 2191865d447ac6a4721ab58e898d014a21f2eff74b06John McCall return T->getStmtClass() == CXXDependentScopeMemberExprClass; 21921c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor } 2193865d447ac6a4721ab58e898d014a21f2eff74b06John McCall static bool classof(const CXXDependentScopeMemberExpr *) { return true; } 21941c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor 21951c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor // Iterators 21961c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor virtual child_iterator child_begin(); 21971c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor virtual child_iterator child_end(); 21981c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor}; 21991c0ca59416999129d0439c2661d137ef38e86209Douglas Gregor 2200129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall/// \brief Represents a C++ member access expression for which lookup 2201aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall/// produced a set of overloaded functions. 2202aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall/// 2203aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall/// The member access may be explicit or implicit: 2204aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall/// struct A { 2205aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall/// int a, b; 2206aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall/// int explicitAccess() { return this->a + this->A::b; } 2207aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall/// int implicitAccess() { return a + A::b; } 2208aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall/// }; 2209aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall/// 2210aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall/// In the final AST, an explicit access always becomes a MemberExpr. 2211aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall/// An implicit access may become either a MemberExpr or a 2212aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall/// DeclRefExpr, depending on whether the member is static. 22137bb12da2b0749eeebb21854c77877736969e59f2John McCallclass UnresolvedMemberExpr : public OverloadExpr { 2214129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall /// \brief Whether this member expression used the '->' operator or 2215129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall /// the '.' operator. 2216129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall bool IsArrow : 1; 2217129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall 2218129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall /// \brief Whether the lookup results contain an unresolved using 2219129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall /// declaration. 2220129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall bool HasUnresolvedUsing : 1; 2221129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall 22227bb12da2b0749eeebb21854c77877736969e59f2John McCall /// \brief The expression for the base pointer or class reference, 22237bb12da2b0749eeebb21854c77877736969e59f2John McCall /// e.g., the \c x in x.f. This can be null if this is an 'unbased' 22247bb12da2b0749eeebb21854c77877736969e59f2John McCall /// member expression 22257bb12da2b0749eeebb21854c77877736969e59f2John McCall Stmt *Base; 22267bb12da2b0749eeebb21854c77877736969e59f2John McCall 22277bb12da2b0749eeebb21854c77877736969e59f2John McCall /// \brief The type of the base expression; never null. 22287bb12da2b0749eeebb21854c77877736969e59f2John McCall QualType BaseType; 2229129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall 2230129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall /// \brief The location of the '->' or '.' operator. 2231129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall SourceLocation OperatorLoc; 2232129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall 2233928e6fcf66fc4f342bcf7cc96bf56986c9c2a833Douglas Gregor UnresolvedMemberExpr(ASTContext &C, QualType T, bool Dependent, 2234129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall bool HasUnresolvedUsing, 2235aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall Expr *Base, QualType BaseType, bool IsArrow, 2236129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall SourceLocation OperatorLoc, 2237129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall NestedNameSpecifier *Qualifier, 2238129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall SourceRange QualifierRange, 22392577743c5650c646fb705df01403707e94f2df04Abramo Bagnara const DeclarationNameInfo &MemberNameInfo, 22405a84dec38cfa9e084377a3167b474c79283c82faDouglas Gregor const TemplateArgumentListInfo *TemplateArgs, 22415a84dec38cfa9e084377a3167b474c79283c82faDouglas Gregor UnresolvedSetIterator Begin, UnresolvedSetIterator End); 2242a77eb0862507b900a10fa352af1568e639ed10b1Argyrios Kyrtzidis 2243a77eb0862507b900a10fa352af1568e639ed10b1Argyrios Kyrtzidis UnresolvedMemberExpr(EmptyShell Empty) 2244a77eb0862507b900a10fa352af1568e639ed10b1Argyrios Kyrtzidis : OverloadExpr(UnresolvedMemberExprClass, Empty), IsArrow(false), 2245a77eb0862507b900a10fa352af1568e639ed10b1Argyrios Kyrtzidis HasUnresolvedUsing(false), Base(0) { } 2246129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall 2247129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCallpublic: 2248129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall static UnresolvedMemberExpr * 2249129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall Create(ASTContext &C, bool Dependent, bool HasUnresolvedUsing, 2250aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall Expr *Base, QualType BaseType, bool IsArrow, 2251129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall SourceLocation OperatorLoc, 2252129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall NestedNameSpecifier *Qualifier, 2253129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall SourceRange QualifierRange, 22542577743c5650c646fb705df01403707e94f2df04Abramo Bagnara const DeclarationNameInfo &MemberNameInfo, 22555a84dec38cfa9e084377a3167b474c79283c82faDouglas Gregor const TemplateArgumentListInfo *TemplateArgs, 22565a84dec38cfa9e084377a3167b474c79283c82faDouglas Gregor UnresolvedSetIterator Begin, UnresolvedSetIterator End); 2257129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall 2258a77eb0862507b900a10fa352af1568e639ed10b1Argyrios Kyrtzidis static UnresolvedMemberExpr * 2259a77eb0862507b900a10fa352af1568e639ed10b1Argyrios Kyrtzidis CreateEmpty(ASTContext &C, unsigned NumTemplateArgs); 2260a77eb0862507b900a10fa352af1568e639ed10b1Argyrios Kyrtzidis 2261aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall /// \brief True if this is an implicit access, i.e. one in which the 2262aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall /// member being accessed was not written in the source. The source 2263aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall /// location of the operator is invalid in this case. 2264aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall bool isImplicitAccess() const { return Base == 0; } 2265aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall 2266129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall /// \brief Retrieve the base object of this member expressions, 2267129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall /// e.g., the \c x in \c x.m. 2268aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall Expr *getBase() { 2269aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall assert(!isImplicitAccess()); 2270aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall return cast<Expr>(Base); 2271aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall } 22722f27bf854f0519810b34afd209089cc75536b757John McCall const Expr *getBase() const { 22732f27bf854f0519810b34afd209089cc75536b757John McCall assert(!isImplicitAccess()); 22742f27bf854f0519810b34afd209089cc75536b757John McCall return cast<Expr>(Base); 22752f27bf854f0519810b34afd209089cc75536b757John McCall } 2276129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall void setBase(Expr *E) { Base = E; } 2277129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall 2278aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall QualType getBaseType() const { return BaseType; } 2279a77eb0862507b900a10fa352af1568e639ed10b1Argyrios Kyrtzidis void setBaseType(QualType T) { BaseType = T; } 2280a77eb0862507b900a10fa352af1568e639ed10b1Argyrios Kyrtzidis 2281a77eb0862507b900a10fa352af1568e639ed10b1Argyrios Kyrtzidis /// \brief Determine whether the lookup results contain an unresolved using 2282a77eb0862507b900a10fa352af1568e639ed10b1Argyrios Kyrtzidis /// declaration. 2283a77eb0862507b900a10fa352af1568e639ed10b1Argyrios Kyrtzidis bool hasUnresolvedUsing() const { return HasUnresolvedUsing; } 2284a77eb0862507b900a10fa352af1568e639ed10b1Argyrios Kyrtzidis void setHasUnresolvedUsing(bool V) { HasUnresolvedUsing = V; } 2285aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall 2286129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall /// \brief Determine whether this member expression used the '->' 2287129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall /// operator; otherwise, it used the '.' operator. 2288129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall bool isArrow() const { return IsArrow; } 2289129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall void setArrow(bool A) { IsArrow = A; } 2290129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall 2291129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall /// \brief Retrieve the location of the '->' or '.' operator. 2292129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall SourceLocation getOperatorLoc() const { return OperatorLoc; } 2293129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall void setOperatorLoc(SourceLocation L) { OperatorLoc = L; } 2294129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall 2295c373d48502ca7683ab55385f5bd624d778eb288dJohn McCall /// \brief Retrieves the naming class of this lookup. 2296c373d48502ca7683ab55385f5bd624d778eb288dJohn McCall CXXRecordDecl *getNamingClass() const; 2297c373d48502ca7683ab55385f5bd624d778eb288dJohn McCall 22982577743c5650c646fb705df01403707e94f2df04Abramo Bagnara /// \brief Retrieve the full name info for the member that this expression 22992577743c5650c646fb705df01403707e94f2df04Abramo Bagnara /// refers to. 23002577743c5650c646fb705df01403707e94f2df04Abramo Bagnara const DeclarationNameInfo &getMemberNameInfo() const { return getNameInfo(); } 23012577743c5650c646fb705df01403707e94f2df04Abramo Bagnara void setMemberNameInfo(const DeclarationNameInfo &N) { setNameInfo(N); } 23022577743c5650c646fb705df01403707e94f2df04Abramo Bagnara 2303129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall /// \brief Retrieve the name of the member that this expression 2304129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall /// refers to. 23057bb12da2b0749eeebb21854c77877736969e59f2John McCall DeclarationName getMemberName() const { return getName(); } 23067bb12da2b0749eeebb21854c77877736969e59f2John McCall void setMemberName(DeclarationName N) { setName(N); } 2307129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall 2308129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall // \brief Retrieve the location of the name of the member that this 2309129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall // expression refers to. 23107bb12da2b0749eeebb21854c77877736969e59f2John McCall SourceLocation getMemberLoc() const { return getNameLoc(); } 23117bb12da2b0749eeebb21854c77877736969e59f2John McCall void setMemberLoc(SourceLocation L) { setNameLoc(L); } 2312129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall 23137bb12da2b0749eeebb21854c77877736969e59f2John McCall /// \brief Retrieve the explicit template argument list that followed the 23147bb12da2b0749eeebb21854c77877736969e59f2John McCall /// member template name. 23157bb12da2b0749eeebb21854c77877736969e59f2John McCall ExplicitTemplateArgumentList &getExplicitTemplateArgs() { 23167bb12da2b0749eeebb21854c77877736969e59f2John McCall assert(hasExplicitTemplateArgs()); 23177bb12da2b0749eeebb21854c77877736969e59f2John McCall return *reinterpret_cast<ExplicitTemplateArgumentList *>(this + 1); 23187bb12da2b0749eeebb21854c77877736969e59f2John McCall } 23197bb12da2b0749eeebb21854c77877736969e59f2John McCall 23207bb12da2b0749eeebb21854c77877736969e59f2John McCall /// \brief Retrieve the explicit template argument list that followed the 23217bb12da2b0749eeebb21854c77877736969e59f2John McCall /// member template name, if any. 23227bb12da2b0749eeebb21854c77877736969e59f2John McCall const ExplicitTemplateArgumentList &getExplicitTemplateArgs() const { 23237bb12da2b0749eeebb21854c77877736969e59f2John McCall assert(hasExplicitTemplateArgs()); 23247bb12da2b0749eeebb21854c77877736969e59f2John McCall return *reinterpret_cast<const ExplicitTemplateArgumentList *>(this + 1); 2325129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall } 2326129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall 2327129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall /// \brief Copies the template arguments into the given structure. 2328129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall void copyTemplateArgumentsInto(TemplateArgumentListInfo &List) const { 23297bb12da2b0749eeebb21854c77877736969e59f2John McCall getExplicitTemplateArgs().copyInto(List); 2330129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall } 2331129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall 2332129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall /// \brief Retrieve the location of the left angle bracket following 2333129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall /// the member name ('<'). 2334129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall SourceLocation getLAngleLoc() const { 23357bb12da2b0749eeebb21854c77877736969e59f2John McCall return getExplicitTemplateArgs().LAngleLoc; 2336129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall } 2337129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall 2338129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall /// \brief Retrieve the template arguments provided as part of this 2339129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall /// template-id. 2340129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall const TemplateArgumentLoc *getTemplateArgs() const { 23417bb12da2b0749eeebb21854c77877736969e59f2John McCall return getExplicitTemplateArgs().getTemplateArgs(); 2342129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall } 2343129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall 2344129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall /// \brief Retrieve the number of template arguments provided as 2345129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall /// part of this template-id. 2346129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall unsigned getNumTemplateArgs() const { 23477bb12da2b0749eeebb21854c77877736969e59f2John McCall return getExplicitTemplateArgs().NumTemplateArgs; 2348129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall } 2349129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall 2350129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall /// \brief Retrieve the location of the right angle bracket 2351129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall /// following the template arguments ('>'). 2352129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall SourceLocation getRAngleLoc() const { 23537bb12da2b0749eeebb21854c77877736969e59f2John McCall return getExplicitTemplateArgs().RAngleLoc; 2354129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall } 2355129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall 2356129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall virtual SourceRange getSourceRange() const { 23572577743c5650c646fb705df01403707e94f2df04Abramo Bagnara SourceRange Range = getMemberNameInfo().getSourceRange(); 2358aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall if (!isImplicitAccess()) 2359aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall Range.setBegin(Base->getSourceRange().getBegin()); 2360aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall else if (getQualifier()) 2361aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall Range.setBegin(getQualifierRange().getBegin()); 2362aa81e1658d87b9011125c632aa902d154ae4b02cJohn McCall 2363129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall if (hasExplicitTemplateArgs()) 2364129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall Range.setEnd(getRAngleLoc()); 2365129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall return Range; 2366129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall } 2367129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall 2368129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall static bool classof(const Stmt *T) { 2369129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall return T->getStmtClass() == UnresolvedMemberExprClass; 2370129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall } 2371129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall static bool classof(const UnresolvedMemberExpr *) { return true; } 2372129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall 2373129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall // Iterators 2374129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall virtual child_iterator child_begin(); 2375129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall virtual child_iterator child_end(); 2376129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall}; 2377129e2df52ed7e0434b3f1cf1867fd6a5cb083ff6John McCall 23787bb12da2b0749eeebb21854c77877736969e59f2John McCallinline ExplicitTemplateArgumentList &OverloadExpr::getExplicitTemplateArgs() { 23797bb12da2b0749eeebb21854c77877736969e59f2John McCall if (isa<UnresolvedLookupExpr>(this)) 23807bb12da2b0749eeebb21854c77877736969e59f2John McCall return cast<UnresolvedLookupExpr>(this)->getExplicitTemplateArgs(); 23817bb12da2b0749eeebb21854c77877736969e59f2John McCall else 23827bb12da2b0749eeebb21854c77877736969e59f2John McCall return cast<UnresolvedMemberExpr>(this)->getExplicitTemplateArgs(); 23837bb12da2b0749eeebb21854c77877736969e59f2John McCall} 23847bb12da2b0749eeebb21854c77877736969e59f2John McCall 23855f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer} // end namespace clang 23865f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer 23875f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#endif 2388