blob: 81bdbc6eefa7d291c3bd2dc116b914aa2ab873d6 [file] [log] [blame]
Reid Spencer5f016e22007-07-11 17:01:13 +00001//===--- SemaExprCXX.cpp - Semantic Analysis for Expressions --------------===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner0bc735f2007-12-29 19:59:25 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Reid Spencer5f016e22007-07-11 17:01:13 +00007//
8//===----------------------------------------------------------------------===//
9//
10// This file implements semantic analysis for C++ expressions.
11//
12//===----------------------------------------------------------------------===//
13
John McCall2d887082010-08-25 22:03:47 +000014#include "clang/Sema/SemaInternal.h"
John McCall2a7fb272010-08-25 05:32:35 +000015#include "clang/Sema/DeclSpec.h"
Douglas Gregore737f502010-08-12 20:07:10 +000016#include "clang/Sema/Initialization.h"
17#include "clang/Sema/Lookup.h"
John McCall2a7fb272010-08-25 05:32:35 +000018#include "clang/Sema/ParsedTemplate.h"
John McCall469a1eb2011-02-02 13:00:07 +000019#include "clang/Sema/ScopeInfo.h"
John McCall2a7fb272010-08-25 05:32:35 +000020#include "clang/Sema/TemplateDeduction.h"
Steve Naroff210679c2007-08-25 14:02:58 +000021#include "clang/AST/ASTContext.h"
Douglas Gregora8f32e02009-10-06 17:59:45 +000022#include "clang/AST/CXXInheritance.h"
John McCall7cd088e2010-08-24 07:21:54 +000023#include "clang/AST/DeclObjC.h"
Anders Carlssond497ba72009-08-26 22:59:12 +000024#include "clang/AST/ExprCXX.h"
Fariborz Jahaniand4266622010-06-16 18:56:04 +000025#include "clang/AST/ExprObjC.h"
Douglas Gregorb57fb492010-02-24 22:38:50 +000026#include "clang/AST/TypeLoc.h"
Anders Carlssond497ba72009-08-26 22:59:12 +000027#include "clang/Basic/PartialDiagnostic.h"
Sebastian Redlb5a57a62008-12-03 20:26:15 +000028#include "clang/Basic/TargetInfo.h"
Anders Carlssond497ba72009-08-26 22:59:12 +000029#include "clang/Lex/Preprocessor.h"
Douglas Gregor3fc749d2008-12-23 00:26:44 +000030#include "llvm/ADT/STLExtras.h"
Reid Spencer5f016e22007-07-11 17:01:13 +000031using namespace clang;
John McCall2a7fb272010-08-25 05:32:35 +000032using namespace sema;
Reid Spencer5f016e22007-07-11 17:01:13 +000033
John McCallb3d87482010-08-24 05:47:05 +000034ParsedType Sema::getDestructorName(SourceLocation TildeLoc,
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +000035 IdentifierInfo &II,
John McCallb3d87482010-08-24 05:47:05 +000036 SourceLocation NameLoc,
37 Scope *S, CXXScopeSpec &SS,
38 ParsedType ObjectTypePtr,
39 bool EnteringContext) {
Douglas Gregor124b8782010-02-16 19:09:40 +000040 // Determine where to perform name lookup.
41
42 // FIXME: This area of the standard is very messy, and the current
43 // wording is rather unclear about which scopes we search for the
44 // destructor name; see core issues 399 and 555. Issue 399 in
45 // particular shows where the current description of destructor name
46 // lookup is completely out of line with existing practice, e.g.,
47 // this appears to be ill-formed:
48 //
49 // namespace N {
50 // template <typename T> struct S {
51 // ~S();
52 // };
53 // }
54 //
55 // void f(N::S<int>* s) {
56 // s->N::S<int>::~S();
57 // }
58 //
Douglas Gregor93649fd2010-02-23 00:15:22 +000059 // See also PR6358 and PR6359.
Sebastian Redlc0fee502010-07-07 23:17:38 +000060 // For this reason, we're currently only doing the C++03 version of this
61 // code; the C++0x version has to wait until we get a proper spec.
Douglas Gregor124b8782010-02-16 19:09:40 +000062 QualType SearchType;
63 DeclContext *LookupCtx = 0;
64 bool isDependent = false;
65 bool LookInScope = false;
66
67 // If we have an object type, it's because we are in a
68 // pseudo-destructor-expression or a member access expression, and
69 // we know what type we're looking for.
70 if (ObjectTypePtr)
71 SearchType = GetTypeFromParser(ObjectTypePtr);
72
73 if (SS.isSet()) {
Douglas Gregor93649fd2010-02-23 00:15:22 +000074 NestedNameSpecifier *NNS = (NestedNameSpecifier *)SS.getScopeRep();
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +000075
Douglas Gregor93649fd2010-02-23 00:15:22 +000076 bool AlreadySearched = false;
77 bool LookAtPrefix = true;
Sebastian Redlc0fee502010-07-07 23:17:38 +000078 // C++ [basic.lookup.qual]p6:
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +000079 // If a pseudo-destructor-name (5.2.4) contains a nested-name-specifier,
Sebastian Redlc0fee502010-07-07 23:17:38 +000080 // the type-names are looked up as types in the scope designated by the
81 // nested-name-specifier. In a qualified-id of the form:
NAKAMURA Takumi00995302011-01-27 07:09:49 +000082 //
83 // ::[opt] nested-name-specifier ~ class-name
Sebastian Redlc0fee502010-07-07 23:17:38 +000084 //
85 // where the nested-name-specifier designates a namespace scope, and in
Chandler Carruth5e895a82010-02-21 10:19:54 +000086 // a qualified-id of the form:
Douglas Gregor124b8782010-02-16 19:09:40 +000087 //
NAKAMURA Takumi00995302011-01-27 07:09:49 +000088 // ::opt nested-name-specifier class-name :: ~ class-name
Douglas Gregor124b8782010-02-16 19:09:40 +000089 //
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +000090 // the class-names are looked up as types in the scope designated by
Sebastian Redlc0fee502010-07-07 23:17:38 +000091 // the nested-name-specifier.
Douglas Gregor124b8782010-02-16 19:09:40 +000092 //
Sebastian Redlc0fee502010-07-07 23:17:38 +000093 // Here, we check the first case (completely) and determine whether the
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +000094 // code below is permitted to look at the prefix of the
Sebastian Redlc0fee502010-07-07 23:17:38 +000095 // nested-name-specifier.
96 DeclContext *DC = computeDeclContext(SS, EnteringContext);
97 if (DC && DC->isFileContext()) {
98 AlreadySearched = true;
99 LookupCtx = DC;
100 isDependent = false;
101 } else if (DC && isa<CXXRecordDecl>(DC))
102 LookAtPrefix = false;
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +0000103
Sebastian Redlc0fee502010-07-07 23:17:38 +0000104 // The second case from the C++03 rules quoted further above.
Douglas Gregor93649fd2010-02-23 00:15:22 +0000105 NestedNameSpecifier *Prefix = 0;
106 if (AlreadySearched) {
107 // Nothing left to do.
108 } else if (LookAtPrefix && (Prefix = NNS->getPrefix())) {
109 CXXScopeSpec PrefixSS;
Douglas Gregorc34348a2011-02-24 17:54:50 +0000110 PrefixSS.MakeTrivial(Context, Prefix, SS.getRange());
Douglas Gregor93649fd2010-02-23 00:15:22 +0000111 LookupCtx = computeDeclContext(PrefixSS, EnteringContext);
112 isDependent = isDependentScopeSpecifier(PrefixSS);
Douglas Gregor93649fd2010-02-23 00:15:22 +0000113 } else if (ObjectTypePtr) {
Douglas Gregor124b8782010-02-16 19:09:40 +0000114 LookupCtx = computeDeclContext(SearchType);
115 isDependent = SearchType->isDependentType();
116 } else {
117 LookupCtx = computeDeclContext(SS, EnteringContext);
Douglas Gregor93649fd2010-02-23 00:15:22 +0000118 isDependent = LookupCtx && LookupCtx->isDependentContext();
Douglas Gregor124b8782010-02-16 19:09:40 +0000119 }
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +0000120
Douglas Gregoredc90502010-02-25 04:46:04 +0000121 LookInScope = false;
Douglas Gregor124b8782010-02-16 19:09:40 +0000122 } else if (ObjectTypePtr) {
123 // C++ [basic.lookup.classref]p3:
124 // If the unqualified-id is ~type-name, the type-name is looked up
125 // in the context of the entire postfix-expression. If the type T
126 // of the object expression is of a class type C, the type-name is
127 // also looked up in the scope of class C. At least one of the
128 // lookups shall find a name that refers to (possibly
129 // cv-qualified) T.
130 LookupCtx = computeDeclContext(SearchType);
131 isDependent = SearchType->isDependentType();
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +0000132 assert((isDependent || !SearchType->isIncompleteType()) &&
Douglas Gregor124b8782010-02-16 19:09:40 +0000133 "Caller should have completed object type");
134
135 LookInScope = true;
136 } else {
137 // Perform lookup into the current scope (only).
138 LookInScope = true;
139 }
140
141 LookupResult Found(*this, &II, NameLoc, LookupOrdinaryName);
142 for (unsigned Step = 0; Step != 2; ++Step) {
143 // Look for the name first in the computed lookup context (if we
144 // have one) and, if that fails to find a match, in the sope (if
145 // we're allowed to look there).
146 Found.clear();
147 if (Step == 0 && LookupCtx)
148 LookupQualifiedName(Found, LookupCtx);
Douglas Gregora2e7dd22010-02-25 01:56:36 +0000149 else if (Step == 1 && LookInScope && S)
Douglas Gregor124b8782010-02-16 19:09:40 +0000150 LookupName(Found, S);
151 else
152 continue;
153
154 // FIXME: Should we be suppressing ambiguities here?
155 if (Found.isAmbiguous())
John McCallb3d87482010-08-24 05:47:05 +0000156 return ParsedType();
Douglas Gregor124b8782010-02-16 19:09:40 +0000157
158 if (TypeDecl *Type = Found.getAsSingle<TypeDecl>()) {
159 QualType T = Context.getTypeDeclType(Type);
Douglas Gregor124b8782010-02-16 19:09:40 +0000160
161 if (SearchType.isNull() || SearchType->isDependentType() ||
162 Context.hasSameUnqualifiedType(T, SearchType)) {
163 // We found our type!
164
John McCallb3d87482010-08-24 05:47:05 +0000165 return ParsedType::make(T);
Douglas Gregor124b8782010-02-16 19:09:40 +0000166 }
167 }
168
169 // If the name that we found is a class template name, and it is
170 // the same name as the template name in the last part of the
171 // nested-name-specifier (if present) or the object type, then
172 // this is the destructor for that class.
173 // FIXME: This is a workaround until we get real drafting for core
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +0000174 // issue 399, for which there isn't even an obvious direction.
Douglas Gregor124b8782010-02-16 19:09:40 +0000175 if (ClassTemplateDecl *Template = Found.getAsSingle<ClassTemplateDecl>()) {
176 QualType MemberOfType;
177 if (SS.isSet()) {
178 if (DeclContext *Ctx = computeDeclContext(SS, EnteringContext)) {
179 // Figure out the type of the context, if it has one.
John McCall3cb0ebd2010-03-10 03:28:59 +0000180 if (CXXRecordDecl *Record = dyn_cast<CXXRecordDecl>(Ctx))
181 MemberOfType = Context.getTypeDeclType(Record);
Douglas Gregor124b8782010-02-16 19:09:40 +0000182 }
183 }
184 if (MemberOfType.isNull())
185 MemberOfType = SearchType;
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +0000186
Douglas Gregor124b8782010-02-16 19:09:40 +0000187 if (MemberOfType.isNull())
188 continue;
189
190 // We're referring into a class template specialization. If the
191 // class template we found is the same as the template being
192 // specialized, we found what we are looking for.
193 if (const RecordType *Record = MemberOfType->getAs<RecordType>()) {
194 if (ClassTemplateSpecializationDecl *Spec
195 = dyn_cast<ClassTemplateSpecializationDecl>(Record->getDecl())) {
196 if (Spec->getSpecializedTemplate()->getCanonicalDecl() ==
197 Template->getCanonicalDecl())
John McCallb3d87482010-08-24 05:47:05 +0000198 return ParsedType::make(MemberOfType);
Douglas Gregor124b8782010-02-16 19:09:40 +0000199 }
200
201 continue;
202 }
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +0000203
Douglas Gregor124b8782010-02-16 19:09:40 +0000204 // We're referring to an unresolved class template
205 // specialization. Determine whether we class template we found
206 // is the same as the template being specialized or, if we don't
207 // know which template is being specialized, that it at least
208 // has the same name.
209 if (const TemplateSpecializationType *SpecType
210 = MemberOfType->getAs<TemplateSpecializationType>()) {
211 TemplateName SpecName = SpecType->getTemplateName();
212
213 // The class template we found is the same template being
214 // specialized.
215 if (TemplateDecl *SpecTemplate = SpecName.getAsTemplateDecl()) {
216 if (SpecTemplate->getCanonicalDecl() == Template->getCanonicalDecl())
John McCallb3d87482010-08-24 05:47:05 +0000217 return ParsedType::make(MemberOfType);
Douglas Gregor124b8782010-02-16 19:09:40 +0000218
219 continue;
220 }
221
222 // The class template we found has the same name as the
223 // (dependent) template name being specialized.
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +0000224 if (DependentTemplateName *DepTemplate
Douglas Gregor124b8782010-02-16 19:09:40 +0000225 = SpecName.getAsDependentTemplateName()) {
226 if (DepTemplate->isIdentifier() &&
227 DepTemplate->getIdentifier() == Template->getIdentifier())
John McCallb3d87482010-08-24 05:47:05 +0000228 return ParsedType::make(MemberOfType);
Douglas Gregor124b8782010-02-16 19:09:40 +0000229
230 continue;
231 }
232 }
233 }
234 }
235
236 if (isDependent) {
237 // We didn't find our type, but that's okay: it's dependent
238 // anyway.
239 NestedNameSpecifier *NNS = 0;
240 SourceRange Range;
241 if (SS.isSet()) {
242 NNS = (NestedNameSpecifier *)SS.getScopeRep();
243 Range = SourceRange(SS.getRange().getBegin(), NameLoc);
244 } else {
245 NNS = NestedNameSpecifier::Create(Context, &II);
246 Range = SourceRange(NameLoc);
247 }
248
John McCallb3d87482010-08-24 05:47:05 +0000249 QualType T = CheckTypenameType(ETK_None, NNS, II,
250 SourceLocation(),
251 Range, NameLoc);
252 return ParsedType::make(T);
Douglas Gregor124b8782010-02-16 19:09:40 +0000253 }
254
255 if (ObjectTypePtr)
256 Diag(NameLoc, diag::err_ident_in_pseudo_dtor_not_a_type)
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +0000257 << &II;
Douglas Gregor124b8782010-02-16 19:09:40 +0000258 else
259 Diag(NameLoc, diag::err_destructor_class_name);
260
John McCallb3d87482010-08-24 05:47:05 +0000261 return ParsedType();
Douglas Gregor124b8782010-02-16 19:09:40 +0000262}
263
Douglas Gregor57fdc8a2010-04-26 22:37:10 +0000264/// \brief Build a C++ typeid expression with a type operand.
John McCall60d7b3a2010-08-24 06:29:42 +0000265ExprResult Sema::BuildCXXTypeId(QualType TypeInfoType,
Douglas Gregor4eb4f0f2010-09-08 23:14:30 +0000266 SourceLocation TypeidLoc,
267 TypeSourceInfo *Operand,
268 SourceLocation RParenLoc) {
Douglas Gregor57fdc8a2010-04-26 22:37:10 +0000269 // C++ [expr.typeid]p4:
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +0000270 // The top-level cv-qualifiers of the lvalue expression or the type-id
Douglas Gregor57fdc8a2010-04-26 22:37:10 +0000271 // that is the operand of typeid are always ignored.
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +0000272 // If the type of the type-id is a class type or a reference to a class
Douglas Gregor57fdc8a2010-04-26 22:37:10 +0000273 // type, the class shall be completely-defined.
Douglas Gregord1c1d7b2010-06-02 06:16:02 +0000274 Qualifiers Quals;
275 QualType T
276 = Context.getUnqualifiedArrayType(Operand->getType().getNonReferenceType(),
277 Quals);
Douglas Gregor57fdc8a2010-04-26 22:37:10 +0000278 if (T->getAs<RecordType>() &&
279 RequireCompleteType(TypeidLoc, T, diag::err_incomplete_typeid))
280 return ExprError();
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +0000281
Douglas Gregor57fdc8a2010-04-26 22:37:10 +0000282 return Owned(new (Context) CXXTypeidExpr(TypeInfoType.withConst(),
283 Operand,
284 SourceRange(TypeidLoc, RParenLoc)));
285}
286
287/// \brief Build a C++ typeid expression with an expression operand.
John McCall60d7b3a2010-08-24 06:29:42 +0000288ExprResult Sema::BuildCXXTypeId(QualType TypeInfoType,
Douglas Gregor4eb4f0f2010-09-08 23:14:30 +0000289 SourceLocation TypeidLoc,
290 Expr *E,
291 SourceLocation RParenLoc) {
Douglas Gregor57fdc8a2010-04-26 22:37:10 +0000292 bool isUnevaluatedOperand = true;
Douglas Gregor57fdc8a2010-04-26 22:37:10 +0000293 if (E && !E->isTypeDependent()) {
294 QualType T = E->getType();
295 if (const RecordType *RecordT = T->getAs<RecordType>()) {
296 CXXRecordDecl *RecordD = cast<CXXRecordDecl>(RecordT->getDecl());
297 // C++ [expr.typeid]p3:
298 // [...] If the type of the expression is a class type, the class
299 // shall be completely-defined.
300 if (RequireCompleteType(TypeidLoc, T, diag::err_incomplete_typeid))
301 return ExprError();
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +0000302
Douglas Gregor57fdc8a2010-04-26 22:37:10 +0000303 // C++ [expr.typeid]p3:
Sebastian Redl906082e2010-07-20 04:20:21 +0000304 // When typeid is applied to an expression other than an glvalue of a
Douglas Gregor57fdc8a2010-04-26 22:37:10 +0000305 // polymorphic class type [...] [the] expression is an unevaluated
306 // operand. [...]
Sebastian Redl906082e2010-07-20 04:20:21 +0000307 if (RecordD->isPolymorphic() && E->Classify(Context).isGLValue()) {
Douglas Gregor57fdc8a2010-04-26 22:37:10 +0000308 isUnevaluatedOperand = false;
Douglas Gregor6fb745b2010-05-13 16:44:06 +0000309
310 // We require a vtable to query the type at run time.
311 MarkVTableUsed(TypeidLoc, RecordD);
312 }
Douglas Gregor57fdc8a2010-04-26 22:37:10 +0000313 }
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +0000314
Douglas Gregor57fdc8a2010-04-26 22:37:10 +0000315 // C++ [expr.typeid]p4:
316 // [...] If the type of the type-id is a reference to a possibly
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +0000317 // cv-qualified type, the result of the typeid expression refers to a
318 // std::type_info object representing the cv-unqualified referenced
Douglas Gregor57fdc8a2010-04-26 22:37:10 +0000319 // type.
Douglas Gregord1c1d7b2010-06-02 06:16:02 +0000320 Qualifiers Quals;
321 QualType UnqualT = Context.getUnqualifiedArrayType(T, Quals);
322 if (!Context.hasSameType(T, UnqualT)) {
323 T = UnqualT;
John McCall2de56d12010-08-25 11:45:40 +0000324 ImpCastExprToType(E, UnqualT, CK_NoOp, CastCategory(E));
Douglas Gregor57fdc8a2010-04-26 22:37:10 +0000325 }
326 }
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +0000327
Douglas Gregor57fdc8a2010-04-26 22:37:10 +0000328 // If this is an unevaluated operand, clear out the set of
329 // declaration references we have been computing and eliminate any
330 // temporaries introduced in its computation.
331 if (isUnevaluatedOperand)
332 ExprEvalContexts.back().Context = Unevaluated;
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +0000333
Douglas Gregor57fdc8a2010-04-26 22:37:10 +0000334 return Owned(new (Context) CXXTypeidExpr(TypeInfoType.withConst(),
John McCall9ae2f072010-08-23 23:25:46 +0000335 E,
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +0000336 SourceRange(TypeidLoc, RParenLoc)));
Douglas Gregor57fdc8a2010-04-26 22:37:10 +0000337}
338
339/// ActOnCXXTypeidOfType - Parse typeid( type-id ) or typeid (expression);
John McCall60d7b3a2010-08-24 06:29:42 +0000340ExprResult
Sebastian Redlc42e1182008-11-11 11:37:55 +0000341Sema::ActOnCXXTypeid(SourceLocation OpLoc, SourceLocation LParenLoc,
342 bool isType, void *TyOrExpr, SourceLocation RParenLoc) {
Douglas Gregor57fdc8a2010-04-26 22:37:10 +0000343 // Find the std::type_info type.
Douglas Gregor7adb10f2009-09-15 22:30:29 +0000344 if (!StdNamespace)
Sebastian Redlf53597f2009-03-15 17:47:39 +0000345 return ExprError(Diag(OpLoc, diag::err_need_header_before_typeid));
Argyrios Kyrtzidise8661902009-08-19 01:28:28 +0000346
Douglas Gregor4eb4f0f2010-09-08 23:14:30 +0000347 if (!CXXTypeInfoDecl) {
348 IdentifierInfo *TypeInfoII = &PP.getIdentifierTable().get("type_info");
349 LookupResult R(*this, TypeInfoII, SourceLocation(), LookupTagName);
350 LookupQualifiedName(R, getStdNamespace());
351 CXXTypeInfoDecl = R.getAsSingle<RecordDecl>();
352 if (!CXXTypeInfoDecl)
353 return ExprError(Diag(OpLoc, diag::err_need_header_before_typeid));
354 }
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +0000355
Douglas Gregor4eb4f0f2010-09-08 23:14:30 +0000356 QualType TypeInfoType = Context.getTypeDeclType(CXXTypeInfoDecl);
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +0000357
Douglas Gregor57fdc8a2010-04-26 22:37:10 +0000358 if (isType) {
359 // The operand is a type; handle it as such.
360 TypeSourceInfo *TInfo = 0;
John McCallb3d87482010-08-24 05:47:05 +0000361 QualType T = GetTypeFromParser(ParsedType::getFromOpaquePtr(TyOrExpr),
362 &TInfo);
Douglas Gregor57fdc8a2010-04-26 22:37:10 +0000363 if (T.isNull())
364 return ExprError();
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +0000365
Douglas Gregor57fdc8a2010-04-26 22:37:10 +0000366 if (!TInfo)
367 TInfo = Context.getTrivialTypeSourceInfo(T, OpLoc);
Sebastian Redlc42e1182008-11-11 11:37:55 +0000368
Douglas Gregor57fdc8a2010-04-26 22:37:10 +0000369 return BuildCXXTypeId(TypeInfoType, OpLoc, TInfo, RParenLoc);
Douglas Gregorac7610d2009-06-22 20:57:11 +0000370 }
Mike Stump1eb44332009-09-09 15:08:12 +0000371
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +0000372 // The operand is an expression.
John McCall9ae2f072010-08-23 23:25:46 +0000373 return BuildCXXTypeId(TypeInfoType, OpLoc, (Expr*)TyOrExpr, RParenLoc);
Sebastian Redlc42e1182008-11-11 11:37:55 +0000374}
375
Francois Pichet6915c522010-12-27 01:32:00 +0000376/// Retrieve the UuidAttr associated with QT.
377static UuidAttr *GetUuidAttrOfType(QualType QT) {
378 // Optionally remove one level of pointer, reference or array indirection.
John McCallf4c73712011-01-19 06:33:43 +0000379 const Type *Ty = QT.getTypePtr();;
Francois Pichet913b7bf2010-12-20 03:51:03 +0000380 if (QT->isPointerType() || QT->isReferenceType())
381 Ty = QT->getPointeeType().getTypePtr();
382 else if (QT->isArrayType())
383 Ty = cast<ArrayType>(QT)->getElementType().getTypePtr();
384
Francois Pichet6915c522010-12-27 01:32:00 +0000385 // Loop all class definition and declaration looking for an uuid attribute.
386 CXXRecordDecl *RD = Ty->getAsCXXRecordDecl();
387 while (RD) {
388 if (UuidAttr *Uuid = RD->getAttr<UuidAttr>())
389 return Uuid;
390 RD = RD->getPreviousDeclaration();
391 }
392 return 0;
Francois Pichet913b7bf2010-12-20 03:51:03 +0000393}
394
Francois Pichet01b7c302010-09-08 12:20:18 +0000395/// \brief Build a Microsoft __uuidof expression with a type operand.
396ExprResult Sema::BuildCXXUuidof(QualType TypeInfoType,
397 SourceLocation TypeidLoc,
398 TypeSourceInfo *Operand,
399 SourceLocation RParenLoc) {
Francois Pichet6915c522010-12-27 01:32:00 +0000400 if (!Operand->getType()->isDependentType()) {
401 if (!GetUuidAttrOfType(Operand->getType()))
402 return ExprError(Diag(TypeidLoc, diag::err_uuidof_without_guid));
403 }
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +0000404
Francois Pichet01b7c302010-09-08 12:20:18 +0000405 // FIXME: add __uuidof semantic analysis for type operand.
406 return Owned(new (Context) CXXUuidofExpr(TypeInfoType.withConst(),
407 Operand,
408 SourceRange(TypeidLoc, RParenLoc)));
409}
410
411/// \brief Build a Microsoft __uuidof expression with an expression operand.
412ExprResult Sema::BuildCXXUuidof(QualType TypeInfoType,
413 SourceLocation TypeidLoc,
414 Expr *E,
415 SourceLocation RParenLoc) {
Francois Pichet6915c522010-12-27 01:32:00 +0000416 if (!E->getType()->isDependentType()) {
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +0000417 if (!GetUuidAttrOfType(E->getType()) &&
Francois Pichet6915c522010-12-27 01:32:00 +0000418 !E->isNullPointerConstant(Context, Expr::NPC_ValueDependentIsNull))
419 return ExprError(Diag(TypeidLoc, diag::err_uuidof_without_guid));
420 }
421 // FIXME: add __uuidof semantic analysis for type operand.
Francois Pichet01b7c302010-09-08 12:20:18 +0000422 return Owned(new (Context) CXXUuidofExpr(TypeInfoType.withConst(),
423 E,
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +0000424 SourceRange(TypeidLoc, RParenLoc)));
Francois Pichet01b7c302010-09-08 12:20:18 +0000425}
426
427/// ActOnCXXUuidof - Parse __uuidof( type-id ) or __uuidof (expression);
428ExprResult
429Sema::ActOnCXXUuidof(SourceLocation OpLoc, SourceLocation LParenLoc,
430 bool isType, void *TyOrExpr, SourceLocation RParenLoc) {
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +0000431 // If MSVCGuidDecl has not been cached, do the lookup.
Francois Pichet01b7c302010-09-08 12:20:18 +0000432 if (!MSVCGuidDecl) {
433 IdentifierInfo *GuidII = &PP.getIdentifierTable().get("_GUID");
434 LookupResult R(*this, GuidII, SourceLocation(), LookupTagName);
435 LookupQualifiedName(R, Context.getTranslationUnitDecl());
436 MSVCGuidDecl = R.getAsSingle<RecordDecl>();
437 if (!MSVCGuidDecl)
438 return ExprError(Diag(OpLoc, diag::err_need_header_before_ms_uuidof));
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +0000439 }
440
Francois Pichet01b7c302010-09-08 12:20:18 +0000441 QualType GuidType = Context.getTypeDeclType(MSVCGuidDecl);
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +0000442
Francois Pichet01b7c302010-09-08 12:20:18 +0000443 if (isType) {
444 // The operand is a type; handle it as such.
445 TypeSourceInfo *TInfo = 0;
446 QualType T = GetTypeFromParser(ParsedType::getFromOpaquePtr(TyOrExpr),
447 &TInfo);
448 if (T.isNull())
449 return ExprError();
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +0000450
Francois Pichet01b7c302010-09-08 12:20:18 +0000451 if (!TInfo)
452 TInfo = Context.getTrivialTypeSourceInfo(T, OpLoc);
453
454 return BuildCXXUuidof(GuidType, OpLoc, TInfo, RParenLoc);
455 }
456
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +0000457 // The operand is an expression.
Francois Pichet01b7c302010-09-08 12:20:18 +0000458 return BuildCXXUuidof(GuidType, OpLoc, (Expr*)TyOrExpr, RParenLoc);
459}
460
Steve Naroff1b273c42007-09-16 14:56:35 +0000461/// ActOnCXXBoolLiteral - Parse {true,false} literals.
John McCall60d7b3a2010-08-24 06:29:42 +0000462ExprResult
Steve Naroff1b273c42007-09-16 14:56:35 +0000463Sema::ActOnCXXBoolLiteral(SourceLocation OpLoc, tok::TokenKind Kind) {
Douglas Gregor2f639b92008-10-24 15:36:09 +0000464 assert((Kind == tok::kw_true || Kind == tok::kw_false) &&
Reid Spencer5f016e22007-07-11 17:01:13 +0000465 "Unknown C++ Boolean value!");
Sebastian Redlf53597f2009-03-15 17:47:39 +0000466 return Owned(new (Context) CXXBoolLiteralExpr(Kind == tok::kw_true,
467 Context.BoolTy, OpLoc));
Reid Spencer5f016e22007-07-11 17:01:13 +0000468}
Chris Lattner50dd2892008-02-26 00:51:44 +0000469
Sebastian Redl6e8ed162009-05-10 18:38:11 +0000470/// ActOnCXXNullPtrLiteral - Parse 'nullptr'.
John McCall60d7b3a2010-08-24 06:29:42 +0000471ExprResult
Sebastian Redl6e8ed162009-05-10 18:38:11 +0000472Sema::ActOnCXXNullPtrLiteral(SourceLocation Loc) {
473 return Owned(new (Context) CXXNullPtrLiteralExpr(Context.NullPtrTy, Loc));
474}
475
Chris Lattner50dd2892008-02-26 00:51:44 +0000476/// ActOnCXXThrow - Parse throw expressions.
John McCall60d7b3a2010-08-24 06:29:42 +0000477ExprResult
John McCall9ae2f072010-08-23 23:25:46 +0000478Sema::ActOnCXXThrow(SourceLocation OpLoc, Expr *Ex) {
Anders Carlsson729b8532011-02-23 03:46:46 +0000479 // Don't report an error if 'throw' is used in system headers.
480 if (!getLangOptions().Exceptions &&
481 !getSourceManager().isInSystemHeader(OpLoc))
Anders Carlssonb1fba312011-02-19 21:53:09 +0000482 Diag(OpLoc, diag::err_exceptions_disabled) << "throw";
Anders Carlsson7f11d9c2011-02-19 19:26:44 +0000483
Sebastian Redl972041f2009-04-27 20:27:31 +0000484 if (Ex && !Ex->isTypeDependent() && CheckCXXThrowOperand(OpLoc, Ex))
485 return ExprError();
486 return Owned(new (Context) CXXThrowExpr(Ex, Context.VoidTy, OpLoc));
487}
488
489/// CheckCXXThrowOperand - Validate the operand of a throw.
490bool Sema::CheckCXXThrowOperand(SourceLocation ThrowLoc, Expr *&E) {
491 // C++ [except.throw]p3:
Douglas Gregor154fe982009-12-23 22:04:40 +0000492 // A throw-expression initializes a temporary object, called the exception
493 // object, the type of which is determined by removing any top-level
494 // cv-qualifiers from the static type of the operand of throw and adjusting
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +0000495 // the type from "array of T" or "function returning T" to "pointer to T"
Douglas Gregor154fe982009-12-23 22:04:40 +0000496 // or "pointer to function returning T", [...]
497 if (E->getType().hasQualifiers())
John McCall2de56d12010-08-25 11:45:40 +0000498 ImpCastExprToType(E, E->getType().getUnqualifiedType(), CK_NoOp,
Sebastian Redl906082e2010-07-20 04:20:21 +0000499 CastCategory(E));
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +0000500
Sebastian Redl972041f2009-04-27 20:27:31 +0000501 DefaultFunctionArrayConversion(E);
502
503 // If the type of the exception would be an incomplete type or a pointer
504 // to an incomplete type other than (cv) void the program is ill-formed.
505 QualType Ty = E->getType();
John McCallac418162010-04-22 01:10:34 +0000506 bool isPointer = false;
Ted Kremenek6217b802009-07-29 21:53:49 +0000507 if (const PointerType* Ptr = Ty->getAs<PointerType>()) {
Sebastian Redl972041f2009-04-27 20:27:31 +0000508 Ty = Ptr->getPointeeType();
John McCallac418162010-04-22 01:10:34 +0000509 isPointer = true;
Sebastian Redl972041f2009-04-27 20:27:31 +0000510 }
511 if (!isPointer || !Ty->isVoidType()) {
512 if (RequireCompleteType(ThrowLoc, Ty,
Anders Carlssond497ba72009-08-26 22:59:12 +0000513 PDiag(isPointer ? diag::err_throw_incomplete_ptr
514 : diag::err_throw_incomplete)
515 << E->getSourceRange()))
Sebastian Redl972041f2009-04-27 20:27:31 +0000516 return true;
Rafael Espindola7b9a5aa2010-03-02 21:28:26 +0000517
Douglas Gregorbf422f92010-04-15 18:05:39 +0000518 if (RequireNonAbstractType(ThrowLoc, E->getType(),
519 PDiag(diag::err_throw_abstract_type)
520 << E->getSourceRange()))
521 return true;
Sebastian Redl972041f2009-04-27 20:27:31 +0000522 }
523
John McCallac418162010-04-22 01:10:34 +0000524 // Initialize the exception result. This implicitly weeds out
525 // abstract types or types with inaccessible copy constructors.
Douglas Gregor72dfa272011-01-21 22:46:35 +0000526 const VarDecl *NRVOVariable = getCopyElisionCandidate(QualType(), E, false);
527
Douglas Gregorf5d8f462011-01-21 18:05:27 +0000528 // FIXME: Determine whether we can elide this copy per C++0x [class.copy]p32.
John McCallac418162010-04-22 01:10:34 +0000529 InitializedEntity Entity =
Douglas Gregor72dfa272011-01-21 22:46:35 +0000530 InitializedEntity::InitializeException(ThrowLoc, E->getType(),
531 /*NRVO=*/false);
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +0000532 ExprResult Res = PerformMoveOrCopyInitialization(Entity, NRVOVariable,
Douglas Gregor72dfa272011-01-21 22:46:35 +0000533 QualType(), E);
John McCallac418162010-04-22 01:10:34 +0000534 if (Res.isInvalid())
535 return true;
536 E = Res.takeAs<Expr>();
Douglas Gregor6fb745b2010-05-13 16:44:06 +0000537
Eli Friedman5ed9b932010-06-03 20:39:03 +0000538 // If the exception has class type, we need additional handling.
539 const RecordType *RecordTy = Ty->getAs<RecordType>();
540 if (!RecordTy)
541 return false;
542 CXXRecordDecl *RD = cast<CXXRecordDecl>(RecordTy->getDecl());
543
Douglas Gregor6fb745b2010-05-13 16:44:06 +0000544 // If we are throwing a polymorphic class type or pointer thereof,
545 // exception handling will make use of the vtable.
Eli Friedman5ed9b932010-06-03 20:39:03 +0000546 MarkVTableUsed(ThrowLoc, RD);
547
Eli Friedman98efb9f2010-10-12 20:32:36 +0000548 // If a pointer is thrown, the referenced object will not be destroyed.
549 if (isPointer)
550 return false;
551
Eli Friedman5ed9b932010-06-03 20:39:03 +0000552 // If the class has a non-trivial destructor, we must be able to call it.
553 if (RD->hasTrivialDestructor())
554 return false;
555
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +0000556 CXXDestructorDecl *Destructor
Douglas Gregordb89f282010-07-01 22:47:18 +0000557 = const_cast<CXXDestructorDecl*>(LookupDestructor(RD));
Eli Friedman5ed9b932010-06-03 20:39:03 +0000558 if (!Destructor)
559 return false;
560
561 MarkDeclarationReferenced(E->getExprLoc(), Destructor);
562 CheckDestructorAccess(E->getExprLoc(), Destructor,
Douglas Gregored8abf12010-07-08 06:14:04 +0000563 PDiag(diag::err_access_dtor_exception) << Ty);
Sebastian Redl972041f2009-04-27 20:27:31 +0000564 return false;
Chris Lattner50dd2892008-02-26 00:51:44 +0000565}
Argyrios Kyrtzidis07952322008-07-01 10:37:29 +0000566
John McCall5808ce42011-02-03 08:15:49 +0000567CXXMethodDecl *Sema::tryCaptureCXXThis() {
568 // Ignore block scopes: we can capture through them.
569 // Ignore nested enum scopes: we'll diagnose non-constant expressions
570 // where they're invalid, and other uses are legitimate.
571 // Don't ignore nested class scopes: you can't use 'this' in a local class.
John McCall469a1eb2011-02-02 13:00:07 +0000572 DeclContext *DC = CurContext;
John McCall5808ce42011-02-03 08:15:49 +0000573 while (true) {
574 if (isa<BlockDecl>(DC)) DC = cast<BlockDecl>(DC)->getDeclContext();
575 else if (isa<EnumDecl>(DC)) DC = cast<EnumDecl>(DC)->getDeclContext();
576 else break;
577 }
Argyrios Kyrtzidis07952322008-07-01 10:37:29 +0000578
John McCall5808ce42011-02-03 08:15:49 +0000579 // If we're not in an instance method, error out.
John McCall469a1eb2011-02-02 13:00:07 +0000580 CXXMethodDecl *method = dyn_cast<CXXMethodDecl>(DC);
581 if (!method || !method->isInstance())
John McCall5808ce42011-02-03 08:15:49 +0000582 return 0;
John McCall469a1eb2011-02-02 13:00:07 +0000583
584 // Mark that we're closing on 'this' in all the block scopes, if applicable.
585 for (unsigned idx = FunctionScopes.size() - 1;
586 isa<BlockScopeInfo>(FunctionScopes[idx]);
587 --idx)
588 cast<BlockScopeInfo>(FunctionScopes[idx])->CapturesCXXThis = true;
589
John McCall5808ce42011-02-03 08:15:49 +0000590 return method;
591}
592
593ExprResult Sema::ActOnCXXThis(SourceLocation loc) {
594 /// C++ 9.3.2: In the body of a non-static member function, the keyword this
595 /// is a non-lvalue expression whose value is the address of the object for
596 /// which the function is called.
597
598 CXXMethodDecl *method = tryCaptureCXXThis();
599 if (!method) return Diag(loc, diag::err_invalid_this_use);
600
601 return Owned(new (Context) CXXThisExpr(loc, method->getThisType(Context),
John McCall469a1eb2011-02-02 13:00:07 +0000602 /*isImplicit=*/false));
Argyrios Kyrtzidis07952322008-07-01 10:37:29 +0000603}
Argyrios Kyrtzidis987a14b2008-08-22 15:38:55 +0000604
John McCall60d7b3a2010-08-24 06:29:42 +0000605ExprResult
Douglas Gregorab6677e2010-09-08 00:15:04 +0000606Sema::ActOnCXXTypeConstructExpr(ParsedType TypeRep,
Argyrios Kyrtzidis987a14b2008-08-22 15:38:55 +0000607 SourceLocation LParenLoc,
Sebastian Redlf53597f2009-03-15 17:47:39 +0000608 MultiExprArg exprs,
Argyrios Kyrtzidis987a14b2008-08-22 15:38:55 +0000609 SourceLocation RParenLoc) {
Douglas Gregorae4c77d2010-02-05 19:11:37 +0000610 if (!TypeRep)
611 return ExprError();
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +0000612
John McCall9d125032010-01-15 18:39:57 +0000613 TypeSourceInfo *TInfo;
614 QualType Ty = GetTypeFromParser(TypeRep, &TInfo);
615 if (!TInfo)
616 TInfo = Context.getTrivialTypeSourceInfo(Ty, SourceLocation());
Douglas Gregorab6677e2010-09-08 00:15:04 +0000617
618 return BuildCXXTypeConstructExpr(TInfo, LParenLoc, exprs, RParenLoc);
619}
620
621/// ActOnCXXTypeConstructExpr - Parse construction of a specified type.
622/// Can be interpreted either as function-style casting ("int(x)")
623/// or class type construction ("ClassType(x,y,z)")
624/// or creation of a value-initialized type ("int()").
625ExprResult
626Sema::BuildCXXTypeConstructExpr(TypeSourceInfo *TInfo,
627 SourceLocation LParenLoc,
628 MultiExprArg exprs,
629 SourceLocation RParenLoc) {
630 QualType Ty = TInfo->getType();
Sebastian Redlf53597f2009-03-15 17:47:39 +0000631 unsigned NumExprs = exprs.size();
632 Expr **Exprs = (Expr**)exprs.get();
Douglas Gregorab6677e2010-09-08 00:15:04 +0000633 SourceLocation TyBeginLoc = TInfo->getTypeLoc().getBeginLoc();
Argyrios Kyrtzidis987a14b2008-08-22 15:38:55 +0000634 SourceRange FullRange = SourceRange(TyBeginLoc, RParenLoc);
635
Sebastian Redlf53597f2009-03-15 17:47:39 +0000636 if (Ty->isDependentType() ||
Douglas Gregorba498172009-03-13 21:01:28 +0000637 CallExpr::hasAnyTypeDependentArguments(Exprs, NumExprs)) {
Sebastian Redlf53597f2009-03-15 17:47:39 +0000638 exprs.release();
Mike Stump1eb44332009-09-09 15:08:12 +0000639
Douglas Gregorab6677e2010-09-08 00:15:04 +0000640 return Owned(CXXUnresolvedConstructExpr::Create(Context, TInfo,
Douglas Gregord81e6ca2009-05-20 18:46:25 +0000641 LParenLoc,
642 Exprs, NumExprs,
643 RParenLoc));
Douglas Gregorba498172009-03-13 21:01:28 +0000644 }
645
Anders Carlssonbb60a502009-08-27 03:53:50 +0000646 if (Ty->isArrayType())
647 return ExprError(Diag(TyBeginLoc,
648 diag::err_value_init_for_array_type) << FullRange);
649 if (!Ty->isVoidType() &&
650 RequireCompleteType(TyBeginLoc, Ty,
651 PDiag(diag::err_invalid_incomplete_type_use)
652 << FullRange))
653 return ExprError();
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +0000654
Anders Carlssonbb60a502009-08-27 03:53:50 +0000655 if (RequireNonAbstractType(TyBeginLoc, Ty,
656 diag::err_allocation_of_abstract_type))
657 return ExprError();
Mike Stump1eb44332009-09-09 15:08:12 +0000658
659
Douglas Gregor506ae412009-01-16 18:33:17 +0000660 // C++ [expr.type.conv]p1:
Argyrios Kyrtzidis987a14b2008-08-22 15:38:55 +0000661 // If the expression list is a single expression, the type conversion
662 // expression is equivalent (in definedness, and if defined in meaning) to the
663 // corresponding cast expression.
664 //
665 if (NumExprs == 1) {
John McCalldaa8e4e2010-11-15 09:13:47 +0000666 CastKind Kind = CK_Invalid;
John McCallf89e55a2010-11-18 06:31:45 +0000667 ExprValueKind VK = VK_RValue;
John McCallf871d0c2010-08-07 06:22:56 +0000668 CXXCastPath BasePath;
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +0000669 if (CheckCastTypes(TInfo->getTypeLoc().getSourceRange(), Ty, Exprs[0],
John McCallf89e55a2010-11-18 06:31:45 +0000670 Kind, VK, BasePath,
Anders Carlsson5cf86ba2010-04-24 19:06:50 +0000671 /*FunctionalStyle=*/true))
Sebastian Redlf53597f2009-03-15 17:47:39 +0000672 return ExprError();
Anders Carlsson0aebc812009-09-09 21:33:21 +0000673
674 exprs.release();
Anders Carlsson0aebc812009-09-09 21:33:21 +0000675
John McCallf871d0c2010-08-07 06:22:56 +0000676 return Owned(CXXFunctionalCastExpr::Create(Context,
Douglas Gregorab6677e2010-09-08 00:15:04 +0000677 Ty.getNonLValueExprType(Context),
John McCallf89e55a2010-11-18 06:31:45 +0000678 VK, TInfo, TyBeginLoc, Kind,
John McCallf871d0c2010-08-07 06:22:56 +0000679 Exprs[0], &BasePath,
680 RParenLoc));
Argyrios Kyrtzidis987a14b2008-08-22 15:38:55 +0000681 }
682
Douglas Gregor19311e72010-09-08 21:40:08 +0000683 InitializedEntity Entity = InitializedEntity::InitializeTemporary(TInfo);
684 InitializationKind Kind
685 = NumExprs ? InitializationKind::CreateDirect(TyBeginLoc,
686 LParenLoc, RParenLoc)
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +0000687 : InitializationKind::CreateValue(TyBeginLoc,
Douglas Gregor19311e72010-09-08 21:40:08 +0000688 LParenLoc, RParenLoc);
689 InitializationSequence InitSeq(*this, Entity, Kind, Exprs, NumExprs);
690 ExprResult Result = InitSeq.Perform(*this, Entity, Kind, move(exprs));
Sebastian Redlf53597f2009-03-15 17:47:39 +0000691
Douglas Gregor19311e72010-09-08 21:40:08 +0000692 // FIXME: Improve AST representation?
693 return move(Result);
Argyrios Kyrtzidis987a14b2008-08-22 15:38:55 +0000694}
Argyrios Kyrtzidis59210932008-09-10 02:17:11 +0000695
John McCall6ec278d2011-01-27 09:37:56 +0000696/// doesUsualArrayDeleteWantSize - Answers whether the usual
697/// operator delete[] for the given type has a size_t parameter.
698static bool doesUsualArrayDeleteWantSize(Sema &S, SourceLocation loc,
699 QualType allocType) {
700 const RecordType *record =
701 allocType->getBaseElementTypeUnsafe()->getAs<RecordType>();
702 if (!record) return false;
703
704 // Try to find an operator delete[] in class scope.
705
706 DeclarationName deleteName =
707 S.Context.DeclarationNames.getCXXOperatorName(OO_Array_Delete);
708 LookupResult ops(S, deleteName, loc, Sema::LookupOrdinaryName);
709 S.LookupQualifiedName(ops, record->getDecl());
710
711 // We're just doing this for information.
712 ops.suppressDiagnostics();
713
714 // Very likely: there's no operator delete[].
715 if (ops.empty()) return false;
716
717 // If it's ambiguous, it should be illegal to call operator delete[]
718 // on this thing, so it doesn't matter if we allocate extra space or not.
719 if (ops.isAmbiguous()) return false;
720
721 LookupResult::Filter filter = ops.makeFilter();
722 while (filter.hasNext()) {
723 NamedDecl *del = filter.next()->getUnderlyingDecl();
724
725 // C++0x [basic.stc.dynamic.deallocation]p2:
726 // A template instance is never a usual deallocation function,
727 // regardless of its signature.
728 if (isa<FunctionTemplateDecl>(del)) {
729 filter.erase();
730 continue;
731 }
732
733 // C++0x [basic.stc.dynamic.deallocation]p2:
734 // If class T does not declare [an operator delete[] with one
735 // parameter] but does declare a member deallocation function
736 // named operator delete[] with exactly two parameters, the
737 // second of which has type std::size_t, then this function
738 // is a usual deallocation function.
739 if (!cast<CXXMethodDecl>(del)->isUsualDeallocationFunction()) {
740 filter.erase();
741 continue;
742 }
743 }
744 filter.done();
745
746 if (!ops.isSingleResult()) return false;
747
748 const FunctionDecl *del = cast<FunctionDecl>(ops.getFoundDecl());
749 return (del->getNumParams() == 2);
750}
Argyrios Kyrtzidis59210932008-09-10 02:17:11 +0000751
Sebastian Redl4c5d3202008-11-21 19:14:01 +0000752/// ActOnCXXNew - Parsed a C++ 'new' expression (C++ 5.3.4), as in e.g.:
753/// @code new (memory) int[size][4] @endcode
754/// or
755/// @code ::new Foo(23, "hello") @endcode
756/// For the interpretation of this heap of arguments, consult the base version.
John McCall60d7b3a2010-08-24 06:29:42 +0000757ExprResult
Sebastian Redl4c5d3202008-11-21 19:14:01 +0000758Sema::ActOnCXXNew(SourceLocation StartLoc, bool UseGlobal,
Sebastian Redlf53597f2009-03-15 17:47:39 +0000759 SourceLocation PlacementLParen, MultiExprArg PlacementArgs,
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +0000760 SourceLocation PlacementRParen, SourceRange TypeIdParens,
Sebastian Redlcee63fb2008-12-02 14:43:59 +0000761 Declarator &D, SourceLocation ConstructorLParen,
Sebastian Redlf53597f2009-03-15 17:47:39 +0000762 MultiExprArg ConstructorArgs,
Mike Stump1eb44332009-09-09 15:08:12 +0000763 SourceLocation ConstructorRParen) {
Richard Smith34b41d92011-02-20 03:19:35 +0000764 bool TypeContainsAuto = D.getDeclSpec().getTypeSpecType() == DeclSpec::TST_auto;
765
Sebastian Redlcee63fb2008-12-02 14:43:59 +0000766 Expr *ArraySize = 0;
Sebastian Redlcee63fb2008-12-02 14:43:59 +0000767 // If the specified type is an array, unwrap it and save the expression.
768 if (D.getNumTypeObjects() > 0 &&
769 D.getTypeObject(0).Kind == DeclaratorChunk::Array) {
770 DeclaratorChunk &Chunk = D.getTypeObject(0);
Richard Smith34b41d92011-02-20 03:19:35 +0000771 if (TypeContainsAuto)
772 return ExprError(Diag(Chunk.Loc, diag::err_new_array_of_auto)
773 << D.getSourceRange());
Sebastian Redlcee63fb2008-12-02 14:43:59 +0000774 if (Chunk.Arr.hasStatic)
Sebastian Redlf53597f2009-03-15 17:47:39 +0000775 return ExprError(Diag(Chunk.Loc, diag::err_static_illegal_in_new)
776 << D.getSourceRange());
Sebastian Redlcee63fb2008-12-02 14:43:59 +0000777 if (!Chunk.Arr.NumElts)
Sebastian Redlf53597f2009-03-15 17:47:39 +0000778 return ExprError(Diag(Chunk.Loc, diag::err_array_new_needs_size)
779 << D.getSourceRange());
Sebastian Redl8ce35b02009-10-25 21:45:37 +0000780
Sebastian Redlcee63fb2008-12-02 14:43:59 +0000781 ArraySize = static_cast<Expr*>(Chunk.Arr.NumElts);
Sebastian Redl8ce35b02009-10-25 21:45:37 +0000782 D.DropFirstTypeObject();
Sebastian Redlcee63fb2008-12-02 14:43:59 +0000783 }
784
Douglas Gregor043cad22009-09-11 00:18:58 +0000785 // Every dimension shall be of constant size.
Sebastian Redl8ce35b02009-10-25 21:45:37 +0000786 if (ArraySize) {
787 for (unsigned I = 0, N = D.getNumTypeObjects(); I < N; ++I) {
Douglas Gregor043cad22009-09-11 00:18:58 +0000788 if (D.getTypeObject(I).Kind != DeclaratorChunk::Array)
789 break;
790
791 DeclaratorChunk::ArrayTypeInfo &Array = D.getTypeObject(I).Arr;
792 if (Expr *NumElts = (Expr *)Array.NumElts) {
793 if (!NumElts->isTypeDependent() && !NumElts->isValueDependent() &&
794 !NumElts->isIntegerConstantExpr(Context)) {
795 Diag(D.getTypeObject(I).Loc, diag::err_new_array_nonconst)
796 << NumElts->getSourceRange();
797 return ExprError();
798 }
799 }
800 }
801 }
Sebastian Redl8ce35b02009-10-25 21:45:37 +0000802
Richard Smith34b41d92011-02-20 03:19:35 +0000803 TypeSourceInfo *TInfo = GetTypeForDeclarator(D, /*Scope=*/0, /*OwnedDecl=*/0,
804 /*AllowAuto=*/true);
John McCallbf1a0282010-06-04 23:28:52 +0000805 QualType AllocType = TInfo->getType();
Chris Lattnereaaebc72009-04-25 08:06:05 +0000806 if (D.isInvalidType())
Sebastian Redlf53597f2009-03-15 17:47:39 +0000807 return ExprError();
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +0000808
Mike Stump1eb44332009-09-09 15:08:12 +0000809 return BuildCXXNew(StartLoc, UseGlobal,
Douglas Gregor3433cf72009-05-21 00:00:09 +0000810 PlacementLParen,
Mike Stump1eb44332009-09-09 15:08:12 +0000811 move(PlacementArgs),
Douglas Gregor3433cf72009-05-21 00:00:09 +0000812 PlacementRParen,
Douglas Gregor4bd40312010-07-13 15:54:32 +0000813 TypeIdParens,
Mike Stump1eb44332009-09-09 15:08:12 +0000814 AllocType,
Douglas Gregor1bb2a932010-09-07 21:49:58 +0000815 TInfo,
John McCall9ae2f072010-08-23 23:25:46 +0000816 ArraySize,
Douglas Gregor3433cf72009-05-21 00:00:09 +0000817 ConstructorLParen,
818 move(ConstructorArgs),
Richard Smith34b41d92011-02-20 03:19:35 +0000819 ConstructorRParen,
820 TypeContainsAuto);
Douglas Gregor3433cf72009-05-21 00:00:09 +0000821}
822
John McCall60d7b3a2010-08-24 06:29:42 +0000823ExprResult
Douglas Gregor3433cf72009-05-21 00:00:09 +0000824Sema::BuildCXXNew(SourceLocation StartLoc, bool UseGlobal,
825 SourceLocation PlacementLParen,
826 MultiExprArg PlacementArgs,
827 SourceLocation PlacementRParen,
Douglas Gregor4bd40312010-07-13 15:54:32 +0000828 SourceRange TypeIdParens,
Douglas Gregor3433cf72009-05-21 00:00:09 +0000829 QualType AllocType,
Douglas Gregor1bb2a932010-09-07 21:49:58 +0000830 TypeSourceInfo *AllocTypeInfo,
John McCall9ae2f072010-08-23 23:25:46 +0000831 Expr *ArraySize,
Douglas Gregor3433cf72009-05-21 00:00:09 +0000832 SourceLocation ConstructorLParen,
833 MultiExprArg ConstructorArgs,
Richard Smith34b41d92011-02-20 03:19:35 +0000834 SourceLocation ConstructorRParen,
835 bool TypeMayContainAuto) {
Douglas Gregor1bb2a932010-09-07 21:49:58 +0000836 SourceRange TypeRange = AllocTypeInfo->getTypeLoc().getSourceRange();
Sebastian Redlcee63fb2008-12-02 14:43:59 +0000837
Richard Smith34b41d92011-02-20 03:19:35 +0000838 // C++0x [decl.spec.auto]p6. Deduce the type which 'auto' stands in for.
839 if (TypeMayContainAuto && AllocType->getContainedAutoType()) {
840 if (ConstructorArgs.size() == 0)
841 return ExprError(Diag(StartLoc, diag::err_auto_new_requires_ctor_arg)
842 << AllocType << TypeRange);
843 if (ConstructorArgs.size() != 1) {
844 Expr *FirstBad = ConstructorArgs.get()[1];
845 return ExprError(Diag(FirstBad->getSourceRange().getBegin(),
846 diag::err_auto_new_ctor_multiple_expressions)
847 << AllocType << TypeRange);
848 }
849 QualType DeducedType;
850 if (!DeduceAutoType(AllocType, ConstructorArgs.get()[0], DeducedType))
851 return ExprError(Diag(StartLoc, diag::err_auto_new_deduction_failure)
852 << AllocType
853 << ConstructorArgs.get()[0]->getType()
854 << TypeRange
855 << ConstructorArgs.get()[0]->getSourceRange());
856
857 AllocType = DeducedType;
858 AllocTypeInfo = Context.getTrivialTypeSourceInfo(AllocType, StartLoc);
859 }
860
Douglas Gregor3caf04e2010-05-16 16:01:03 +0000861 // Per C++0x [expr.new]p5, the type being constructed may be a
862 // typedef of an array type.
John McCall9ae2f072010-08-23 23:25:46 +0000863 if (!ArraySize) {
Douglas Gregor3caf04e2010-05-16 16:01:03 +0000864 if (const ConstantArrayType *Array
865 = Context.getAsConstantArrayType(AllocType)) {
Argyrios Kyrtzidis9996a7f2010-08-28 09:06:06 +0000866 ArraySize = IntegerLiteral::Create(Context, Array->getSize(),
867 Context.getSizeType(),
868 TypeRange.getEnd());
Douglas Gregor3caf04e2010-05-16 16:01:03 +0000869 AllocType = Array->getElementType();
870 }
871 }
Sebastian Redl4c5d3202008-11-21 19:14:01 +0000872
Douglas Gregora0750762010-10-06 16:00:31 +0000873 if (CheckAllocatedType(AllocType, TypeRange.getBegin(), TypeRange))
874 return ExprError();
875
Douglas Gregor3caf04e2010-05-16 16:01:03 +0000876 QualType ResultType = Context.getPointerType(AllocType);
Sebastian Redlcee63fb2008-12-02 14:43:59 +0000877
Sebastian Redl4c5d3202008-11-21 19:14:01 +0000878 // C++ 5.3.4p6: "The expression in a direct-new-declarator shall have integral
879 // or enumeration type with a non-negative value."
Sebastian Redl28507842009-02-26 14:39:58 +0000880 if (ArraySize && !ArraySize->isTypeDependent()) {
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +0000881
Sebastian Redlcee63fb2008-12-02 14:43:59 +0000882 QualType SizeType = ArraySize->getType();
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +0000883
John McCall60d7b3a2010-08-24 06:29:42 +0000884 ExprResult ConvertedSize
John McCall9ae2f072010-08-23 23:25:46 +0000885 = ConvertToIntegralOrEnumerationType(StartLoc, ArraySize,
Douglas Gregor6bc574d2010-06-30 00:20:43 +0000886 PDiag(diag::err_array_size_not_integral),
887 PDiag(diag::err_array_size_incomplete_type)
888 << ArraySize->getSourceRange(),
889 PDiag(diag::err_array_size_explicit_conversion),
890 PDiag(diag::note_array_size_conversion),
891 PDiag(diag::err_array_size_ambiguous_conversion),
892 PDiag(diag::note_array_size_conversion),
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +0000893 PDiag(getLangOptions().CPlusPlus0x? 0
Douglas Gregor6bc574d2010-06-30 00:20:43 +0000894 : diag::ext_array_size_conversion));
895 if (ConvertedSize.isInvalid())
896 return ExprError();
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +0000897
John McCall9ae2f072010-08-23 23:25:46 +0000898 ArraySize = ConvertedSize.take();
Douglas Gregor6bc574d2010-06-30 00:20:43 +0000899 SizeType = ArraySize->getType();
Douglas Gregor1274ccd2010-10-08 23:50:27 +0000900 if (!SizeType->isIntegralOrUnscopedEnumerationType())
Douglas Gregor6bc574d2010-06-30 00:20:43 +0000901 return ExprError();
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +0000902
Sebastian Redlcee63fb2008-12-02 14:43:59 +0000903 // Let's see if this is a constant < 0. If so, we reject it out of hand.
904 // We don't care about special rules, so we tell the machinery it's not
905 // evaluated - it gives us a result in more cases.
Sebastian Redl28507842009-02-26 14:39:58 +0000906 if (!ArraySize->isValueDependent()) {
907 llvm::APSInt Value;
908 if (ArraySize->isIntegerConstantExpr(Value, Context, 0, false)) {
909 if (Value < llvm::APSInt(
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +0000910 llvm::APInt::getNullValue(Value.getBitWidth()),
Anders Carlssonac18b2e2009-09-23 00:37:25 +0000911 Value.isUnsigned()))
Sebastian Redlf53597f2009-03-15 17:47:39 +0000912 return ExprError(Diag(ArraySize->getSourceRange().getBegin(),
Douglas Gregor2767ce22010-08-18 00:39:00 +0000913 diag::err_typecheck_negative_array_size)
Sebastian Redlf53597f2009-03-15 17:47:39 +0000914 << ArraySize->getSourceRange());
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +0000915
Douglas Gregor2767ce22010-08-18 00:39:00 +0000916 if (!AllocType->isDependentType()) {
917 unsigned ActiveSizeBits
918 = ConstantArrayType::getNumAddressingBits(Context, AllocType, Value);
919 if (ActiveSizeBits > ConstantArrayType::getMaxSizeBits(Context)) {
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +0000920 Diag(ArraySize->getSourceRange().getBegin(),
Douglas Gregor2767ce22010-08-18 00:39:00 +0000921 diag::err_array_too_large)
922 << Value.toString(10)
923 << ArraySize->getSourceRange();
924 return ExprError();
925 }
926 }
Douglas Gregor4bd40312010-07-13 15:54:32 +0000927 } else if (TypeIdParens.isValid()) {
928 // Can't have dynamic array size when the type-id is in parentheses.
929 Diag(ArraySize->getLocStart(), diag::ext_new_paren_array_nonconst)
930 << ArraySize->getSourceRange()
931 << FixItHint::CreateRemoval(TypeIdParens.getBegin())
932 << FixItHint::CreateRemoval(TypeIdParens.getEnd());
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +0000933
Douglas Gregor4bd40312010-07-13 15:54:32 +0000934 TypeIdParens = SourceRange();
Sebastian Redl28507842009-02-26 14:39:58 +0000935 }
Sebastian Redlcee63fb2008-12-02 14:43:59 +0000936 }
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +0000937
Eli Friedman73c39ab2009-10-20 08:27:19 +0000938 ImpCastExprToType(ArraySize, Context.getSizeType(),
John McCall2de56d12010-08-25 11:45:40 +0000939 CK_IntegralCast);
Sebastian Redlcee63fb2008-12-02 14:43:59 +0000940 }
Sebastian Redl4c5d3202008-11-21 19:14:01 +0000941
Sebastian Redl4c5d3202008-11-21 19:14:01 +0000942 FunctionDecl *OperatorNew = 0;
943 FunctionDecl *OperatorDelete = 0;
Sebastian Redlf53597f2009-03-15 17:47:39 +0000944 Expr **PlaceArgs = (Expr**)PlacementArgs.get();
945 unsigned NumPlaceArgs = PlacementArgs.size();
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +0000946
Sebastian Redl28507842009-02-26 14:39:58 +0000947 if (!AllocType->isDependentType() &&
948 !Expr::hasAnyTypeDependentArguments(PlaceArgs, NumPlaceArgs) &&
949 FindAllocationFunctions(StartLoc,
Sebastian Redl00e68e22009-02-09 18:24:27 +0000950 SourceRange(PlacementLParen, PlacementRParen),
951 UseGlobal, AllocType, ArraySize, PlaceArgs,
952 NumPlaceArgs, OperatorNew, OperatorDelete))
Sebastian Redlf53597f2009-03-15 17:47:39 +0000953 return ExprError();
John McCall6ec278d2011-01-27 09:37:56 +0000954
955 // If this is an array allocation, compute whether the usual array
956 // deallocation function for the type has a size_t parameter.
957 bool UsualArrayDeleteWantsSize = false;
958 if (ArraySize && !AllocType->isDependentType())
959 UsualArrayDeleteWantsSize
960 = doesUsualArrayDeleteWantSize(*this, StartLoc, AllocType);
961
Fariborz Jahanian048f52a2009-11-24 18:29:37 +0000962 llvm::SmallVector<Expr *, 8> AllPlaceArgs;
Fariborz Jahanian498429f2009-11-19 18:39:40 +0000963 if (OperatorNew) {
964 // Add default arguments, if any.
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +0000965 const FunctionProtoType *Proto =
Fariborz Jahanian498429f2009-11-19 18:39:40 +0000966 OperatorNew->getType()->getAs<FunctionProtoType>();
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +0000967 VariadicCallType CallType =
Fariborz Jahanian4cd1c702009-11-24 19:27:49 +0000968 Proto->isVariadic() ? VariadicFunction : VariadicDoesNotApply;
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +0000969
Anders Carlsson28e94832010-05-03 02:07:56 +0000970 if (GatherArgumentsForCall(PlacementLParen, OperatorNew,
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +0000971 Proto, 1, PlaceArgs, NumPlaceArgs,
Anders Carlsson28e94832010-05-03 02:07:56 +0000972 AllPlaceArgs, CallType))
Fariborz Jahanian048f52a2009-11-24 18:29:37 +0000973 return ExprError();
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +0000974
Fariborz Jahanian498429f2009-11-19 18:39:40 +0000975 NumPlaceArgs = AllPlaceArgs.size();
976 if (NumPlaceArgs > 0)
977 PlaceArgs = &AllPlaceArgs[0];
978 }
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +0000979
Sebastian Redl4c5d3202008-11-21 19:14:01 +0000980 bool Init = ConstructorLParen.isValid();
981 // --- Choosing a constructor ---
Sebastian Redl4c5d3202008-11-21 19:14:01 +0000982 CXXConstructorDecl *Constructor = 0;
Sebastian Redlf53597f2009-03-15 17:47:39 +0000983 Expr **ConsArgs = (Expr**)ConstructorArgs.get();
984 unsigned NumConsArgs = ConstructorArgs.size();
John McCallca0408f2010-08-23 06:44:23 +0000985 ASTOwningVector<Expr*> ConvertedConstructorArgs(*this);
Eli Friedmana8ce9ec2009-11-08 22:15:39 +0000986
Anders Carlsson48c95012010-05-03 15:45:23 +0000987 // Array 'new' can't have any initializers.
Anders Carlsson55cbd6e2010-05-16 16:24:20 +0000988 if (NumConsArgs && (ResultType->isArrayType() || ArraySize)) {
Anders Carlsson48c95012010-05-03 15:45:23 +0000989 SourceRange InitRange(ConsArgs[0]->getLocStart(),
990 ConsArgs[NumConsArgs - 1]->getLocEnd());
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +0000991
Anders Carlsson48c95012010-05-03 15:45:23 +0000992 Diag(StartLoc, diag::err_new_array_init_args) << InitRange;
993 return ExprError();
994 }
995
Douglas Gregor99a2e602009-12-16 01:38:02 +0000996 if (!AllocType->isDependentType() &&
997 !Expr::hasAnyTypeDependentArguments(ConsArgs, NumConsArgs)) {
998 // C++0x [expr.new]p15:
999 // A new-expression that creates an object of type T initializes that
1000 // object as follows:
1001 InitializationKind Kind
1002 // - If the new-initializer is omitted, the object is default-
1003 // initialized (8.5); if no initialization is performed,
1004 // the object has indeterminate value
Douglas Gregor1bb2a932010-09-07 21:49:58 +00001005 = !Init? InitializationKind::CreateDefault(TypeRange.getBegin())
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001006 // - Otherwise, the new-initializer is interpreted according to the
Douglas Gregor99a2e602009-12-16 01:38:02 +00001007 // initialization rules of 8.5 for direct-initialization.
Douglas Gregor1bb2a932010-09-07 21:49:58 +00001008 : InitializationKind::CreateDirect(TypeRange.getBegin(),
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001009 ConstructorLParen,
Douglas Gregor99a2e602009-12-16 01:38:02 +00001010 ConstructorRParen);
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001011
Douglas Gregor99a2e602009-12-16 01:38:02 +00001012 InitializedEntity Entity
Douglas Gregord6542d82009-12-22 15:35:07 +00001013 = InitializedEntity::InitializeNew(StartLoc, AllocType);
Douglas Gregor99a2e602009-12-16 01:38:02 +00001014 InitializationSequence InitSeq(*this, Entity, Kind, ConsArgs, NumConsArgs);
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001015 ExprResult FullInit = InitSeq.Perform(*this, Entity, Kind,
Douglas Gregor99a2e602009-12-16 01:38:02 +00001016 move(ConstructorArgs));
1017 if (FullInit.isInvalid())
1018 return ExprError();
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001019
1020 // FullInit is our initializer; walk through it to determine if it's a
Douglas Gregor99a2e602009-12-16 01:38:02 +00001021 // constructor call, which CXXNewExpr handles directly.
1022 if (Expr *FullInitExpr = (Expr *)FullInit.get()) {
1023 if (CXXBindTemporaryExpr *Binder
1024 = dyn_cast<CXXBindTemporaryExpr>(FullInitExpr))
1025 FullInitExpr = Binder->getSubExpr();
1026 if (CXXConstructExpr *Construct
1027 = dyn_cast<CXXConstructExpr>(FullInitExpr)) {
1028 Constructor = Construct->getConstructor();
1029 for (CXXConstructExpr::arg_iterator A = Construct->arg_begin(),
1030 AEnd = Construct->arg_end();
1031 A != AEnd; ++A)
John McCall3fa5cae2010-10-26 07:05:15 +00001032 ConvertedConstructorArgs.push_back(*A);
Douglas Gregor99a2e602009-12-16 01:38:02 +00001033 } else {
1034 // Take the converted initializer.
1035 ConvertedConstructorArgs.push_back(FullInit.release());
1036 }
1037 } else {
1038 // No initialization required.
1039 }
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001040
Douglas Gregor99a2e602009-12-16 01:38:02 +00001041 // Take the converted arguments and use them for the new expression.
Douglas Gregor39da0b82009-09-09 23:08:42 +00001042 NumConsArgs = ConvertedConstructorArgs.size();
1043 ConsArgs = (Expr **)ConvertedConstructorArgs.take();
Sebastian Redl4c5d3202008-11-21 19:14:01 +00001044 }
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001045
Douglas Gregor6d908702010-02-26 05:06:18 +00001046 // Mark the new and delete operators as referenced.
1047 if (OperatorNew)
1048 MarkDeclarationReferenced(StartLoc, OperatorNew);
1049 if (OperatorDelete)
1050 MarkDeclarationReferenced(StartLoc, OperatorDelete);
1051
Sebastian Redl4c5d3202008-11-21 19:14:01 +00001052 // FIXME: Also check that the destructor is accessible. (C++ 5.3.4p16)
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001053
Sebastian Redlf53597f2009-03-15 17:47:39 +00001054 PlacementArgs.release();
1055 ConstructorArgs.release();
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001056
Ted Kremenekad7fe862010-02-11 22:51:03 +00001057 return Owned(new (Context) CXXNewExpr(Context, UseGlobal, OperatorNew,
Douglas Gregor4bd40312010-07-13 15:54:32 +00001058 PlaceArgs, NumPlaceArgs, TypeIdParens,
Ted Kremenekad7fe862010-02-11 22:51:03 +00001059 ArraySize, Constructor, Init,
1060 ConsArgs, NumConsArgs, OperatorDelete,
John McCall6ec278d2011-01-27 09:37:56 +00001061 UsualArrayDeleteWantsSize,
Douglas Gregor1bb2a932010-09-07 21:49:58 +00001062 ResultType, AllocTypeInfo,
1063 StartLoc,
Ted Kremenekad7fe862010-02-11 22:51:03 +00001064 Init ? ConstructorRParen :
Chandler Carruth428edaf2010-10-25 08:47:36 +00001065 TypeRange.getEnd(),
1066 ConstructorLParen, ConstructorRParen));
Sebastian Redl4c5d3202008-11-21 19:14:01 +00001067}
1068
1069/// CheckAllocatedType - Checks that a type is suitable as the allocated type
1070/// in a new-expression.
1071/// dimension off and stores the size expression in ArraySize.
Douglas Gregor3433cf72009-05-21 00:00:09 +00001072bool Sema::CheckAllocatedType(QualType AllocType, SourceLocation Loc,
Mike Stump1eb44332009-09-09 15:08:12 +00001073 SourceRange R) {
Sebastian Redl4c5d3202008-11-21 19:14:01 +00001074 // C++ 5.3.4p1: "[The] type shall be a complete object type, but not an
1075 // abstract class type or array thereof.
Douglas Gregore7450f52009-03-24 19:52:54 +00001076 if (AllocType->isFunctionType())
Douglas Gregor3433cf72009-05-21 00:00:09 +00001077 return Diag(Loc, diag::err_bad_new_type)
1078 << AllocType << 0 << R;
Douglas Gregore7450f52009-03-24 19:52:54 +00001079 else if (AllocType->isReferenceType())
Douglas Gregor3433cf72009-05-21 00:00:09 +00001080 return Diag(Loc, diag::err_bad_new_type)
1081 << AllocType << 1 << R;
Douglas Gregore7450f52009-03-24 19:52:54 +00001082 else if (!AllocType->isDependentType() &&
Douglas Gregor3433cf72009-05-21 00:00:09 +00001083 RequireCompleteType(Loc, AllocType,
Anders Carlssonb7906612009-08-26 23:45:07 +00001084 PDiag(diag::err_new_incomplete_type)
1085 << R))
Sebastian Redl4c5d3202008-11-21 19:14:01 +00001086 return true;
Douglas Gregor3433cf72009-05-21 00:00:09 +00001087 else if (RequireNonAbstractType(Loc, AllocType,
Douglas Gregore7450f52009-03-24 19:52:54 +00001088 diag::err_allocation_of_abstract_type))
1089 return true;
Douglas Gregora0750762010-10-06 16:00:31 +00001090 else if (AllocType->isVariablyModifiedType())
1091 return Diag(Loc, diag::err_variably_modified_new_type)
1092 << AllocType;
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001093
Sebastian Redl4c5d3202008-11-21 19:14:01 +00001094 return false;
1095}
1096
Douglas Gregor6d908702010-02-26 05:06:18 +00001097/// \brief Determine whether the given function is a non-placement
1098/// deallocation function.
1099static bool isNonPlacementDeallocationFunction(FunctionDecl *FD) {
1100 if (FD->isInvalidDecl())
1101 return false;
1102
1103 if (CXXMethodDecl *Method = dyn_cast<CXXMethodDecl>(FD))
1104 return Method->isUsualDeallocationFunction();
1105
1106 return ((FD->getOverloadedOperator() == OO_Delete ||
1107 FD->getOverloadedOperator() == OO_Array_Delete) &&
1108 FD->getNumParams() == 1);
1109}
1110
Sebastian Redlb5a57a62008-12-03 20:26:15 +00001111/// FindAllocationFunctions - Finds the overloads of operator new and delete
1112/// that are appropriate for the allocation.
Sebastian Redl00e68e22009-02-09 18:24:27 +00001113bool Sema::FindAllocationFunctions(SourceLocation StartLoc, SourceRange Range,
1114 bool UseGlobal, QualType AllocType,
1115 bool IsArray, Expr **PlaceArgs,
1116 unsigned NumPlaceArgs,
Sebastian Redlb5a57a62008-12-03 20:26:15 +00001117 FunctionDecl *&OperatorNew,
Mike Stump1eb44332009-09-09 15:08:12 +00001118 FunctionDecl *&OperatorDelete) {
Sebastian Redlb5a57a62008-12-03 20:26:15 +00001119 // --- Choosing an allocation function ---
1120 // C++ 5.3.4p8 - 14 & 18
1121 // 1) If UseGlobal is true, only look in the global scope. Else, also look
1122 // in the scope of the allocated class.
1123 // 2) If an array size is given, look for operator new[], else look for
1124 // operator new.
1125 // 3) The first argument is always size_t. Append the arguments from the
1126 // placement form.
Sebastian Redlb5a57a62008-12-03 20:26:15 +00001127
1128 llvm::SmallVector<Expr*, 8> AllocArgs(1 + NumPlaceArgs);
1129 // We don't care about the actual value of this argument.
1130 // FIXME: Should the Sema create the expression and embed it in the syntax
1131 // tree? Or should the consumer just recalculate the value?
Argyrios Kyrtzidis9996a7f2010-08-28 09:06:06 +00001132 IntegerLiteral Size(Context, llvm::APInt::getNullValue(
Anders Carlssond67c4c32009-08-16 20:29:29 +00001133 Context.Target.getPointerWidth(0)),
1134 Context.getSizeType(),
1135 SourceLocation());
1136 AllocArgs[0] = &Size;
Sebastian Redlb5a57a62008-12-03 20:26:15 +00001137 std::copy(PlaceArgs, PlaceArgs + NumPlaceArgs, AllocArgs.begin() + 1);
1138
Douglas Gregor6d908702010-02-26 05:06:18 +00001139 // C++ [expr.new]p8:
1140 // If the allocated type is a non-array type, the allocation
NAKAMURA Takumi00995302011-01-27 07:09:49 +00001141 // function's name is operator new and the deallocation function's
Douglas Gregor6d908702010-02-26 05:06:18 +00001142 // name is operator delete. If the allocated type is an array
NAKAMURA Takumi00995302011-01-27 07:09:49 +00001143 // type, the allocation function's name is operator new[] and the
1144 // deallocation function's name is operator delete[].
Sebastian Redlb5a57a62008-12-03 20:26:15 +00001145 DeclarationName NewName = Context.DeclarationNames.getCXXOperatorName(
1146 IsArray ? OO_Array_New : OO_New);
Douglas Gregor6d908702010-02-26 05:06:18 +00001147 DeclarationName DeleteName = Context.DeclarationNames.getCXXOperatorName(
1148 IsArray ? OO_Array_Delete : OO_Delete);
1149
Argyrios Kyrtzidisd2932982010-08-25 23:14:56 +00001150 QualType AllocElemType = Context.getBaseElementType(AllocType);
1151
1152 if (AllocElemType->isRecordType() && !UseGlobal) {
Mike Stump1eb44332009-09-09 15:08:12 +00001153 CXXRecordDecl *Record
Argyrios Kyrtzidisd2932982010-08-25 23:14:56 +00001154 = cast<CXXRecordDecl>(AllocElemType->getAs<RecordType>()->getDecl());
Sebastian Redl00e68e22009-02-09 18:24:27 +00001155 if (FindAllocationOverload(StartLoc, Range, NewName, &AllocArgs[0],
Sebastian Redl7f662392008-12-04 22:20:51 +00001156 AllocArgs.size(), Record, /*AllowMissing=*/true,
1157 OperatorNew))
Sebastian Redlb5a57a62008-12-03 20:26:15 +00001158 return true;
Sebastian Redlb5a57a62008-12-03 20:26:15 +00001159 }
1160 if (!OperatorNew) {
1161 // Didn't find a member overload. Look for a global one.
1162 DeclareGlobalNewDelete();
Sebastian Redl7f662392008-12-04 22:20:51 +00001163 DeclContext *TUDecl = Context.getTranslationUnitDecl();
Sebastian Redl00e68e22009-02-09 18:24:27 +00001164 if (FindAllocationOverload(StartLoc, Range, NewName, &AllocArgs[0],
Sebastian Redl7f662392008-12-04 22:20:51 +00001165 AllocArgs.size(), TUDecl, /*AllowMissing=*/false,
1166 OperatorNew))
Sebastian Redlb5a57a62008-12-03 20:26:15 +00001167 return true;
Sebastian Redlb5a57a62008-12-03 20:26:15 +00001168 }
1169
John McCall9c82afc2010-04-20 02:18:25 +00001170 // We don't need an operator delete if we're running under
1171 // -fno-exceptions.
1172 if (!getLangOptions().Exceptions) {
1173 OperatorDelete = 0;
1174 return false;
1175 }
1176
Anders Carlssond9583892009-05-31 20:26:12 +00001177 // FindAllocationOverload can change the passed in arguments, so we need to
1178 // copy them back.
1179 if (NumPlaceArgs > 0)
1180 std::copy(&AllocArgs[1], AllocArgs.end(), PlaceArgs);
Mike Stump1eb44332009-09-09 15:08:12 +00001181
Douglas Gregor6d908702010-02-26 05:06:18 +00001182 // C++ [expr.new]p19:
1183 //
1184 // If the new-expression begins with a unary :: operator, the
NAKAMURA Takumi00995302011-01-27 07:09:49 +00001185 // deallocation function's name is looked up in the global
Douglas Gregor6d908702010-02-26 05:06:18 +00001186 // scope. Otherwise, if the allocated type is a class type T or an
NAKAMURA Takumi00995302011-01-27 07:09:49 +00001187 // array thereof, the deallocation function's name is looked up in
Douglas Gregor6d908702010-02-26 05:06:18 +00001188 // the scope of T. If this lookup fails to find the name, or if
1189 // the allocated type is not a class type or array thereof, the
NAKAMURA Takumi00995302011-01-27 07:09:49 +00001190 // deallocation function's name is looked up in the global scope.
Douglas Gregor6d908702010-02-26 05:06:18 +00001191 LookupResult FoundDelete(*this, DeleteName, StartLoc, LookupOrdinaryName);
Argyrios Kyrtzidisd2932982010-08-25 23:14:56 +00001192 if (AllocElemType->isRecordType() && !UseGlobal) {
Douglas Gregor6d908702010-02-26 05:06:18 +00001193 CXXRecordDecl *RD
Argyrios Kyrtzidisd2932982010-08-25 23:14:56 +00001194 = cast<CXXRecordDecl>(AllocElemType->getAs<RecordType>()->getDecl());
Douglas Gregor6d908702010-02-26 05:06:18 +00001195 LookupQualifiedName(FoundDelete, RD);
1196 }
John McCall90c8c572010-03-18 08:19:33 +00001197 if (FoundDelete.isAmbiguous())
1198 return true; // FIXME: clean up expressions?
Douglas Gregor6d908702010-02-26 05:06:18 +00001199
1200 if (FoundDelete.empty()) {
1201 DeclareGlobalNewDelete();
1202 LookupQualifiedName(FoundDelete, Context.getTranslationUnitDecl());
1203 }
1204
1205 FoundDelete.suppressDiagnostics();
John McCall9aa472c2010-03-19 07:35:19 +00001206
1207 llvm::SmallVector<std::pair<DeclAccessPair,FunctionDecl*>, 2> Matches;
1208
John McCalledeb6c92010-09-14 21:34:24 +00001209 // Whether we're looking for a placement operator delete is dictated
1210 // by whether we selected a placement operator new, not by whether
1211 // we had explicit placement arguments. This matters for things like
1212 // struct A { void *operator new(size_t, int = 0); ... };
1213 // A *a = new A()
1214 bool isPlacementNew = (NumPlaceArgs > 0 || OperatorNew->param_size() != 1);
1215
1216 if (isPlacementNew) {
Douglas Gregor6d908702010-02-26 05:06:18 +00001217 // C++ [expr.new]p20:
1218 // A declaration of a placement deallocation function matches the
1219 // declaration of a placement allocation function if it has the
1220 // same number of parameters and, after parameter transformations
1221 // (8.3.5), all parameter types except the first are
1222 // identical. [...]
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001223 //
Douglas Gregor6d908702010-02-26 05:06:18 +00001224 // To perform this comparison, we compute the function type that
1225 // the deallocation function should have, and use that type both
1226 // for template argument deduction and for comparison purposes.
John McCalle23cf432010-12-14 08:05:40 +00001227 //
1228 // FIXME: this comparison should ignore CC and the like.
Douglas Gregor6d908702010-02-26 05:06:18 +00001229 QualType ExpectedFunctionType;
1230 {
1231 const FunctionProtoType *Proto
1232 = OperatorNew->getType()->getAs<FunctionProtoType>();
John McCalle23cf432010-12-14 08:05:40 +00001233
Douglas Gregor6d908702010-02-26 05:06:18 +00001234 llvm::SmallVector<QualType, 4> ArgTypes;
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001235 ArgTypes.push_back(Context.VoidPtrTy);
Douglas Gregor6d908702010-02-26 05:06:18 +00001236 for (unsigned I = 1, N = Proto->getNumArgs(); I < N; ++I)
1237 ArgTypes.push_back(Proto->getArgType(I));
1238
John McCalle23cf432010-12-14 08:05:40 +00001239 FunctionProtoType::ExtProtoInfo EPI;
1240 EPI.Variadic = Proto->isVariadic();
1241
Douglas Gregor6d908702010-02-26 05:06:18 +00001242 ExpectedFunctionType
1243 = Context.getFunctionType(Context.VoidTy, ArgTypes.data(),
John McCalle23cf432010-12-14 08:05:40 +00001244 ArgTypes.size(), EPI);
Douglas Gregor6d908702010-02-26 05:06:18 +00001245 }
1246
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001247 for (LookupResult::iterator D = FoundDelete.begin(),
Douglas Gregor6d908702010-02-26 05:06:18 +00001248 DEnd = FoundDelete.end();
1249 D != DEnd; ++D) {
1250 FunctionDecl *Fn = 0;
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001251 if (FunctionTemplateDecl *FnTmpl
Douglas Gregor6d908702010-02-26 05:06:18 +00001252 = dyn_cast<FunctionTemplateDecl>((*D)->getUnderlyingDecl())) {
1253 // Perform template argument deduction to try to match the
1254 // expected function type.
1255 TemplateDeductionInfo Info(Context, StartLoc);
1256 if (DeduceTemplateArguments(FnTmpl, 0, ExpectedFunctionType, Fn, Info))
1257 continue;
1258 } else
1259 Fn = cast<FunctionDecl>((*D)->getUnderlyingDecl());
1260
1261 if (Context.hasSameType(Fn->getType(), ExpectedFunctionType))
John McCall9aa472c2010-03-19 07:35:19 +00001262 Matches.push_back(std::make_pair(D.getPair(), Fn));
Douglas Gregor6d908702010-02-26 05:06:18 +00001263 }
1264 } else {
1265 // C++ [expr.new]p20:
1266 // [...] Any non-placement deallocation function matches a
1267 // non-placement allocation function. [...]
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001268 for (LookupResult::iterator D = FoundDelete.begin(),
Douglas Gregor6d908702010-02-26 05:06:18 +00001269 DEnd = FoundDelete.end();
1270 D != DEnd; ++D) {
1271 if (FunctionDecl *Fn = dyn_cast<FunctionDecl>((*D)->getUnderlyingDecl()))
1272 if (isNonPlacementDeallocationFunction(Fn))
John McCall9aa472c2010-03-19 07:35:19 +00001273 Matches.push_back(std::make_pair(D.getPair(), Fn));
Douglas Gregor6d908702010-02-26 05:06:18 +00001274 }
1275 }
1276
1277 // C++ [expr.new]p20:
1278 // [...] If the lookup finds a single matching deallocation
1279 // function, that function will be called; otherwise, no
1280 // deallocation function will be called.
1281 if (Matches.size() == 1) {
John McCall9aa472c2010-03-19 07:35:19 +00001282 OperatorDelete = Matches[0].second;
Douglas Gregor6d908702010-02-26 05:06:18 +00001283
1284 // C++0x [expr.new]p20:
1285 // If the lookup finds the two-parameter form of a usual
1286 // deallocation function (3.7.4.2) and that function, considered
1287 // as a placement deallocation function, would have been
1288 // selected as a match for the allocation function, the program
1289 // is ill-formed.
1290 if (NumPlaceArgs && getLangOptions().CPlusPlus0x &&
1291 isNonPlacementDeallocationFunction(OperatorDelete)) {
1292 Diag(StartLoc, diag::err_placement_new_non_placement_delete)
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001293 << SourceRange(PlaceArgs[0]->getLocStart(),
Douglas Gregor6d908702010-02-26 05:06:18 +00001294 PlaceArgs[NumPlaceArgs - 1]->getLocEnd());
1295 Diag(OperatorDelete->getLocation(), diag::note_previous_decl)
1296 << DeleteName;
John McCall90c8c572010-03-18 08:19:33 +00001297 } else {
1298 CheckAllocationAccess(StartLoc, Range, FoundDelete.getNamingClass(),
John McCall9aa472c2010-03-19 07:35:19 +00001299 Matches[0].first);
Douglas Gregor6d908702010-02-26 05:06:18 +00001300 }
1301 }
1302
Sebastian Redlb5a57a62008-12-03 20:26:15 +00001303 return false;
1304}
1305
Sebastian Redl7f662392008-12-04 22:20:51 +00001306/// FindAllocationOverload - Find an fitting overload for the allocation
1307/// function in the specified scope.
Sebastian Redl00e68e22009-02-09 18:24:27 +00001308bool Sema::FindAllocationOverload(SourceLocation StartLoc, SourceRange Range,
1309 DeclarationName Name, Expr** Args,
1310 unsigned NumArgs, DeclContext *Ctx,
Mike Stump1eb44332009-09-09 15:08:12 +00001311 bool AllowMissing, FunctionDecl *&Operator) {
John McCalla24dc2e2009-11-17 02:14:36 +00001312 LookupResult R(*this, Name, StartLoc, LookupOrdinaryName);
1313 LookupQualifiedName(R, Ctx);
John McCallf36e02d2009-10-09 21:13:30 +00001314 if (R.empty()) {
Sebastian Redl7f662392008-12-04 22:20:51 +00001315 if (AllowMissing)
1316 return false;
Sebastian Redl7f662392008-12-04 22:20:51 +00001317 return Diag(StartLoc, diag::err_ovl_no_viable_function_in_call)
Chris Lattner4330d652009-02-17 07:29:20 +00001318 << Name << Range;
Sebastian Redl7f662392008-12-04 22:20:51 +00001319 }
1320
John McCall90c8c572010-03-18 08:19:33 +00001321 if (R.isAmbiguous())
1322 return true;
1323
1324 R.suppressDiagnostics();
John McCallf36e02d2009-10-09 21:13:30 +00001325
John McCall5769d612010-02-08 23:07:23 +00001326 OverloadCandidateSet Candidates(StartLoc);
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001327 for (LookupResult::iterator Alloc = R.begin(), AllocEnd = R.end();
Douglas Gregor5d64e5b2009-09-30 00:03:47 +00001328 Alloc != AllocEnd; ++Alloc) {
Douglas Gregor3fc749d2008-12-23 00:26:44 +00001329 // Even member operator new/delete are implicitly treated as
1330 // static, so don't use AddMemberCandidate.
John McCall9aa472c2010-03-19 07:35:19 +00001331 NamedDecl *D = (*Alloc)->getUnderlyingDecl();
Chandler Carruth4a73ea92010-02-03 11:02:14 +00001332
John McCall9aa472c2010-03-19 07:35:19 +00001333 if (FunctionTemplateDecl *FnTemplate = dyn_cast<FunctionTemplateDecl>(D)) {
1334 AddTemplateOverloadCandidate(FnTemplate, Alloc.getPair(),
Chandler Carruth4a73ea92010-02-03 11:02:14 +00001335 /*ExplicitTemplateArgs=*/0, Args, NumArgs,
1336 Candidates,
1337 /*SuppressUserConversions=*/false);
Douglas Gregor90916562009-09-29 18:16:17 +00001338 continue;
Chandler Carruth4a73ea92010-02-03 11:02:14 +00001339 }
1340
John McCall9aa472c2010-03-19 07:35:19 +00001341 FunctionDecl *Fn = cast<FunctionDecl>(D);
1342 AddOverloadCandidate(Fn, Alloc.getPair(), Args, NumArgs, Candidates,
Chandler Carruth4a73ea92010-02-03 11:02:14 +00001343 /*SuppressUserConversions=*/false);
Sebastian Redl7f662392008-12-04 22:20:51 +00001344 }
1345
1346 // Do the resolution.
1347 OverloadCandidateSet::iterator Best;
John McCall120d63c2010-08-24 20:38:10 +00001348 switch (Candidates.BestViableFunction(*this, StartLoc, Best)) {
Sebastian Redl7f662392008-12-04 22:20:51 +00001349 case OR_Success: {
1350 // Got one!
1351 FunctionDecl *FnDecl = Best->Function;
1352 // The first argument is size_t, and the first parameter must be size_t,
1353 // too. This is checked on declaration and can be assumed. (It can't be
1354 // asserted on, though, since invalid decls are left in there.)
John McCall90c8c572010-03-18 08:19:33 +00001355 // Watch out for variadic allocator function.
Fariborz Jahanian048f52a2009-11-24 18:29:37 +00001356 unsigned NumArgsInFnDecl = FnDecl->getNumParams();
1357 for (unsigned i = 0; (i < NumArgs && i < NumArgsInFnDecl); ++i) {
John McCall60d7b3a2010-08-24 06:29:42 +00001358 ExprResult Result
Douglas Gregor29ecaba2010-03-26 20:35:59 +00001359 = PerformCopyInitialization(InitializedEntity::InitializeParameter(
Fariborz Jahanian745da3a2010-09-24 17:30:16 +00001360 Context,
Douglas Gregor29ecaba2010-03-26 20:35:59 +00001361 FnDecl->getParamDecl(i)),
1362 SourceLocation(),
John McCall3fa5cae2010-10-26 07:05:15 +00001363 Owned(Args[i]));
Douglas Gregor29ecaba2010-03-26 20:35:59 +00001364 if (Result.isInvalid())
Sebastian Redl7f662392008-12-04 22:20:51 +00001365 return true;
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001366
Douglas Gregor29ecaba2010-03-26 20:35:59 +00001367 Args[i] = Result.takeAs<Expr>();
Sebastian Redl7f662392008-12-04 22:20:51 +00001368 }
1369 Operator = FnDecl;
John McCall9aa472c2010-03-19 07:35:19 +00001370 CheckAllocationAccess(StartLoc, Range, R.getNamingClass(), Best->FoundDecl);
Sebastian Redl7f662392008-12-04 22:20:51 +00001371 return false;
1372 }
1373
1374 case OR_No_Viable_Function:
Sebastian Redl7f662392008-12-04 22:20:51 +00001375 Diag(StartLoc, diag::err_ovl_no_viable_function_in_call)
Chris Lattner4330d652009-02-17 07:29:20 +00001376 << Name << Range;
John McCall120d63c2010-08-24 20:38:10 +00001377 Candidates.NoteCandidates(*this, OCD_AllCandidates, Args, NumArgs);
Sebastian Redl7f662392008-12-04 22:20:51 +00001378 return true;
1379
1380 case OR_Ambiguous:
Sebastian Redl7f662392008-12-04 22:20:51 +00001381 Diag(StartLoc, diag::err_ovl_ambiguous_call)
Sebastian Redl00e68e22009-02-09 18:24:27 +00001382 << Name << Range;
John McCall120d63c2010-08-24 20:38:10 +00001383 Candidates.NoteCandidates(*this, OCD_ViableCandidates, Args, NumArgs);
Sebastian Redl7f662392008-12-04 22:20:51 +00001384 return true;
Douglas Gregor48f3bb92009-02-18 21:56:37 +00001385
1386 case OR_Deleted:
1387 Diag(StartLoc, diag::err_ovl_deleted_call)
1388 << Best->Function->isDeleted()
1389 << Name << Range;
John McCall120d63c2010-08-24 20:38:10 +00001390 Candidates.NoteCandidates(*this, OCD_AllCandidates, Args, NumArgs);
Douglas Gregor48f3bb92009-02-18 21:56:37 +00001391 return true;
Sebastian Redl7f662392008-12-04 22:20:51 +00001392 }
1393 assert(false && "Unreachable, bad result from BestViableFunction");
1394 return true;
1395}
1396
1397
Sebastian Redlb5a57a62008-12-03 20:26:15 +00001398/// DeclareGlobalNewDelete - Declare the global forms of operator new and
1399/// delete. These are:
1400/// @code
1401/// void* operator new(std::size_t) throw(std::bad_alloc);
1402/// void* operator new[](std::size_t) throw(std::bad_alloc);
1403/// void operator delete(void *) throw();
1404/// void operator delete[](void *) throw();
1405/// @endcode
1406/// Note that the placement and nothrow forms of new are *not* implicitly
1407/// declared. Their use requires including \<new\>.
Mike Stump1eb44332009-09-09 15:08:12 +00001408void Sema::DeclareGlobalNewDelete() {
Sebastian Redlb5a57a62008-12-03 20:26:15 +00001409 if (GlobalNewDeleteDeclared)
1410 return;
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001411
Douglas Gregor7adb10f2009-09-15 22:30:29 +00001412 // C++ [basic.std.dynamic]p2:
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001413 // [...] The following allocation and deallocation functions (18.4) are
1414 // implicitly declared in global scope in each translation unit of a
Douglas Gregor7adb10f2009-09-15 22:30:29 +00001415 // program
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001416 //
Douglas Gregor7adb10f2009-09-15 22:30:29 +00001417 // void* operator new(std::size_t) throw(std::bad_alloc);
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001418 // void* operator new[](std::size_t) throw(std::bad_alloc);
1419 // void operator delete(void*) throw();
Douglas Gregor7adb10f2009-09-15 22:30:29 +00001420 // void operator delete[](void*) throw();
1421 //
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001422 // These implicit declarations introduce only the function names operator
Douglas Gregor7adb10f2009-09-15 22:30:29 +00001423 // new, operator new[], operator delete, operator delete[].
1424 //
1425 // Here, we need to refer to std::bad_alloc, so we will implicitly declare
1426 // "std" or "bad_alloc" as necessary to form the exception specification.
1427 // However, we do not make these implicit declarations visible to name
1428 // lookup.
Douglas Gregor7adb10f2009-09-15 22:30:29 +00001429 if (!StdBadAlloc) {
1430 // The "std::bad_alloc" class has not yet been declared, so build it
1431 // implicitly.
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001432 StdBadAlloc = CXXRecordDecl::Create(Context, TTK_Class,
1433 getOrCreateStdNamespace(),
1434 SourceLocation(),
1435 &PP.getIdentifierTable().get("bad_alloc"),
Douglas Gregor7adb10f2009-09-15 22:30:29 +00001436 SourceLocation(), 0);
Argyrios Kyrtzidis76c38d32010-08-02 07:14:54 +00001437 getStdBadAlloc()->setImplicit(true);
Douglas Gregor7adb10f2009-09-15 22:30:29 +00001438 }
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001439
Sebastian Redlb5a57a62008-12-03 20:26:15 +00001440 GlobalNewDeleteDeclared = true;
1441
1442 QualType VoidPtr = Context.getPointerType(Context.VoidTy);
1443 QualType SizeT = Context.getSizeType();
Nuno Lopesfc284482009-12-16 16:59:22 +00001444 bool AssumeSaneOperatorNew = getLangOptions().AssumeSaneOperatorNew;
Sebastian Redlb5a57a62008-12-03 20:26:15 +00001445
Sebastian Redlb5a57a62008-12-03 20:26:15 +00001446 DeclareGlobalAllocationFunction(
1447 Context.DeclarationNames.getCXXOperatorName(OO_New),
Nuno Lopesfc284482009-12-16 16:59:22 +00001448 VoidPtr, SizeT, AssumeSaneOperatorNew);
Sebastian Redlb5a57a62008-12-03 20:26:15 +00001449 DeclareGlobalAllocationFunction(
1450 Context.DeclarationNames.getCXXOperatorName(OO_Array_New),
Nuno Lopesfc284482009-12-16 16:59:22 +00001451 VoidPtr, SizeT, AssumeSaneOperatorNew);
Sebastian Redlb5a57a62008-12-03 20:26:15 +00001452 DeclareGlobalAllocationFunction(
1453 Context.DeclarationNames.getCXXOperatorName(OO_Delete),
1454 Context.VoidTy, VoidPtr);
1455 DeclareGlobalAllocationFunction(
1456 Context.DeclarationNames.getCXXOperatorName(OO_Array_Delete),
1457 Context.VoidTy, VoidPtr);
1458}
1459
1460/// DeclareGlobalAllocationFunction - Declares a single implicit global
1461/// allocation function if it doesn't already exist.
1462void Sema::DeclareGlobalAllocationFunction(DeclarationName Name,
Nuno Lopesfc284482009-12-16 16:59:22 +00001463 QualType Return, QualType Argument,
1464 bool AddMallocAttr) {
Sebastian Redlb5a57a62008-12-03 20:26:15 +00001465 DeclContext *GlobalCtx = Context.getTranslationUnitDecl();
1466
1467 // Check if this function is already declared.
Douglas Gregor6ed40e32008-12-23 21:05:05 +00001468 {
Douglas Gregor5cc37092008-12-23 22:05:29 +00001469 DeclContext::lookup_iterator Alloc, AllocEnd;
Argyrios Kyrtzidis17945a02009-06-30 02:36:12 +00001470 for (llvm::tie(Alloc, AllocEnd) = GlobalCtx->lookup(Name);
Douglas Gregor6ed40e32008-12-23 21:05:05 +00001471 Alloc != AllocEnd; ++Alloc) {
Chandler Carruth4a73ea92010-02-03 11:02:14 +00001472 // Only look at non-template functions, as it is the predefined,
1473 // non-templated allocation function we are trying to declare here.
1474 if (FunctionDecl *Func = dyn_cast<FunctionDecl>(*Alloc)) {
1475 QualType InitialParamType =
Douglas Gregor6e790ab2009-12-22 23:42:49 +00001476 Context.getCanonicalType(
Chandler Carruth4a73ea92010-02-03 11:02:14 +00001477 Func->getParamDecl(0)->getType().getUnqualifiedType());
1478 // FIXME: Do we need to check for default arguments here?
Douglas Gregor7b868622010-08-18 15:06:25 +00001479 if (Func->getNumParams() == 1 && InitialParamType == Argument) {
1480 if(AddMallocAttr && !Func->hasAttr<MallocAttr>())
Sean Huntcf807c42010-08-18 23:23:40 +00001481 Func->addAttr(::new (Context) MallocAttr(SourceLocation(), Context));
Chandler Carruth4a73ea92010-02-03 11:02:14 +00001482 return;
Douglas Gregor7b868622010-08-18 15:06:25 +00001483 }
Chandler Carruth4a73ea92010-02-03 11:02:14 +00001484 }
Sebastian Redlb5a57a62008-12-03 20:26:15 +00001485 }
1486 }
1487
Douglas Gregor7adb10f2009-09-15 22:30:29 +00001488 QualType BadAllocType;
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001489 bool HasBadAllocExceptionSpec
Douglas Gregor7adb10f2009-09-15 22:30:29 +00001490 = (Name.getCXXOverloadedOperator() == OO_New ||
1491 Name.getCXXOverloadedOperator() == OO_Array_New);
1492 if (HasBadAllocExceptionSpec) {
1493 assert(StdBadAlloc && "Must have std::bad_alloc declared");
Argyrios Kyrtzidis76c38d32010-08-02 07:14:54 +00001494 BadAllocType = Context.getTypeDeclType(getStdBadAlloc());
Douglas Gregor7adb10f2009-09-15 22:30:29 +00001495 }
John McCalle23cf432010-12-14 08:05:40 +00001496
1497 FunctionProtoType::ExtProtoInfo EPI;
1498 EPI.HasExceptionSpec = true;
1499 if (HasBadAllocExceptionSpec) {
1500 EPI.NumExceptions = 1;
1501 EPI.Exceptions = &BadAllocType;
1502 }
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001503
John McCalle23cf432010-12-14 08:05:40 +00001504 QualType FnType = Context.getFunctionType(Return, &Argument, 1, EPI);
Sebastian Redlb5a57a62008-12-03 20:26:15 +00001505 FunctionDecl *Alloc =
1506 FunctionDecl::Create(Context, GlobalCtx, SourceLocation(), Name,
John McCalld931b082010-08-26 03:08:43 +00001507 FnType, /*TInfo=*/0, SC_None,
1508 SC_None, false, true);
Sebastian Redlb5a57a62008-12-03 20:26:15 +00001509 Alloc->setImplicit();
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001510
Nuno Lopesfc284482009-12-16 16:59:22 +00001511 if (AddMallocAttr)
Sean Huntcf807c42010-08-18 23:23:40 +00001512 Alloc->addAttr(::new (Context) MallocAttr(SourceLocation(), Context));
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001513
Sebastian Redlb5a57a62008-12-03 20:26:15 +00001514 ParmVarDecl *Param = ParmVarDecl::Create(Context, Alloc, SourceLocation(),
John McCalla93c9342009-12-07 02:54:59 +00001515 0, Argument, /*TInfo=*/0,
John McCalld931b082010-08-26 03:08:43 +00001516 SC_None,
1517 SC_None, 0);
Douglas Gregor838db382010-02-11 01:19:42 +00001518 Alloc->setParams(&Param, 1);
Sebastian Redlb5a57a62008-12-03 20:26:15 +00001519
Douglas Gregor6ed40e32008-12-23 21:05:05 +00001520 // FIXME: Also add this declaration to the IdentifierResolver, but
1521 // make sure it is at the end of the chain to coincide with the
1522 // global scope.
John McCall5f1e0942010-08-24 08:50:51 +00001523 Context.getTranslationUnitDecl()->addDecl(Alloc);
Sebastian Redlb5a57a62008-12-03 20:26:15 +00001524}
1525
Anders Carlsson78f74552009-11-15 18:45:20 +00001526bool Sema::FindDeallocationFunction(SourceLocation StartLoc, CXXRecordDecl *RD,
1527 DeclarationName Name,
Anders Carlsson5ec02ae2009-12-02 17:15:43 +00001528 FunctionDecl* &Operator) {
John McCalla24dc2e2009-11-17 02:14:36 +00001529 LookupResult Found(*this, Name, StartLoc, LookupOrdinaryName);
Anders Carlsson78f74552009-11-15 18:45:20 +00001530 // Try to find operator delete/operator delete[] in class scope.
John McCalla24dc2e2009-11-17 02:14:36 +00001531 LookupQualifiedName(Found, RD);
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001532
John McCalla24dc2e2009-11-17 02:14:36 +00001533 if (Found.isAmbiguous())
Anders Carlsson78f74552009-11-15 18:45:20 +00001534 return true;
Anders Carlsson78f74552009-11-15 18:45:20 +00001535
Chandler Carruth23893242010-06-28 00:30:51 +00001536 Found.suppressDiagnostics();
1537
John McCall046a7462010-08-04 00:31:26 +00001538 llvm::SmallVector<DeclAccessPair,4> Matches;
Anders Carlsson78f74552009-11-15 18:45:20 +00001539 for (LookupResult::iterator F = Found.begin(), FEnd = Found.end();
1540 F != FEnd; ++F) {
Chandler Carruth09556fd2010-08-08 07:04:00 +00001541 NamedDecl *ND = (*F)->getUnderlyingDecl();
1542
1543 // Ignore template operator delete members from the check for a usual
1544 // deallocation function.
1545 if (isa<FunctionTemplateDecl>(ND))
1546 continue;
1547
1548 if (cast<CXXMethodDecl>(ND)->isUsualDeallocationFunction())
John McCall046a7462010-08-04 00:31:26 +00001549 Matches.push_back(F.getPair());
1550 }
1551
1552 // There's exactly one suitable operator; pick it.
1553 if (Matches.size() == 1) {
1554 Operator = cast<CXXMethodDecl>(Matches[0]->getUnderlyingDecl());
1555 CheckAllocationAccess(StartLoc, SourceRange(), Found.getNamingClass(),
1556 Matches[0]);
1557 return false;
1558
1559 // We found multiple suitable operators; complain about the ambiguity.
1560 } else if (!Matches.empty()) {
1561 Diag(StartLoc, diag::err_ambiguous_suitable_delete_member_function_found)
1562 << Name << RD;
1563
1564 for (llvm::SmallVectorImpl<DeclAccessPair>::iterator
1565 F = Matches.begin(), FEnd = Matches.end(); F != FEnd; ++F)
1566 Diag((*F)->getUnderlyingDecl()->getLocation(),
1567 diag::note_member_declared_here) << Name;
1568 return true;
Anders Carlsson78f74552009-11-15 18:45:20 +00001569 }
1570
1571 // We did find operator delete/operator delete[] declarations, but
1572 // none of them were suitable.
1573 if (!Found.empty()) {
1574 Diag(StartLoc, diag::err_no_suitable_delete_member_function_found)
1575 << Name << RD;
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001576
Anders Carlsson78f74552009-11-15 18:45:20 +00001577 for (LookupResult::iterator F = Found.begin(), FEnd = Found.end();
John McCall046a7462010-08-04 00:31:26 +00001578 F != FEnd; ++F)
1579 Diag((*F)->getUnderlyingDecl()->getLocation(),
1580 diag::note_member_declared_here) << Name;
Anders Carlsson78f74552009-11-15 18:45:20 +00001581
1582 return true;
1583 }
1584
1585 // Look for a global declaration.
1586 DeclareGlobalNewDelete();
1587 DeclContext *TUDecl = Context.getTranslationUnitDecl();
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001588
Anders Carlsson78f74552009-11-15 18:45:20 +00001589 CXXNullPtrLiteralExpr Null(Context.VoidPtrTy, SourceLocation());
1590 Expr* DeallocArgs[1];
1591 DeallocArgs[0] = &Null;
1592 if (FindAllocationOverload(StartLoc, SourceRange(), Name,
1593 DeallocArgs, 1, TUDecl, /*AllowMissing=*/false,
1594 Operator))
1595 return true;
1596
1597 assert(Operator && "Did not find a deallocation function!");
1598 return false;
1599}
1600
Sebastian Redl4c5d3202008-11-21 19:14:01 +00001601/// ActOnCXXDelete - Parsed a C++ 'delete' expression (C++ 5.3.5), as in:
1602/// @code ::delete ptr; @endcode
1603/// or
1604/// @code delete [] ptr; @endcode
John McCall60d7b3a2010-08-24 06:29:42 +00001605ExprResult
Sebastian Redl4c5d3202008-11-21 19:14:01 +00001606Sema::ActOnCXXDelete(SourceLocation StartLoc, bool UseGlobal,
John McCall9ae2f072010-08-23 23:25:46 +00001607 bool ArrayForm, Expr *Ex) {
Douglas Gregor9cd9f3f2009-09-09 23:39:55 +00001608 // C++ [expr.delete]p1:
1609 // The operand shall have a pointer type, or a class type having a single
1610 // conversion function to a pointer type. The result has type void.
1611 //
Sebastian Redl4c5d3202008-11-21 19:14:01 +00001612 // DR599 amends "pointer type" to "pointer to object type" in both cases.
1613
Anders Carlssond67c4c32009-08-16 20:29:29 +00001614 FunctionDecl *OperatorDelete = 0;
Argyrios Kyrtzidis4076dac2010-09-13 20:15:54 +00001615 bool ArrayFormAsWritten = ArrayForm;
John McCall6ec278d2011-01-27 09:37:56 +00001616 bool UsualArrayDeleteWantsSize = false;
Mike Stump1eb44332009-09-09 15:08:12 +00001617
Sebastian Redl28507842009-02-26 14:39:58 +00001618 if (!Ex->isTypeDependent()) {
1619 QualType Type = Ex->getType();
Sebastian Redl4c5d3202008-11-21 19:14:01 +00001620
Douglas Gregor9cd9f3f2009-09-09 23:39:55 +00001621 if (const RecordType *Record = Type->getAs<RecordType>()) {
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001622 if (RequireCompleteType(StartLoc, Type,
Douglas Gregor254a9422010-07-29 14:44:35 +00001623 PDiag(diag::err_delete_incomplete_class_type)))
1624 return ExprError();
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001625
John McCall32daa422010-03-31 01:36:47 +00001626 llvm::SmallVector<CXXConversionDecl*, 4> ObjectPtrConversions;
1627
Fariborz Jahanian53462782009-09-11 21:44:33 +00001628 CXXRecordDecl *RD = cast<CXXRecordDecl>(Record->getDecl());
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001629 const UnresolvedSetImpl *Conversions = RD->getVisibleConversionFunctions();
John McCalleec51cf2010-01-20 00:46:10 +00001630 for (UnresolvedSetImpl::iterator I = Conversions->begin(),
John McCallba135432009-11-21 08:51:07 +00001631 E = Conversions->end(); I != E; ++I) {
John McCall32daa422010-03-31 01:36:47 +00001632 NamedDecl *D = I.getDecl();
1633 if (isa<UsingShadowDecl>(D))
1634 D = cast<UsingShadowDecl>(D)->getTargetDecl();
1635
Douglas Gregor9cd9f3f2009-09-09 23:39:55 +00001636 // Skip over templated conversion functions; they aren't considered.
John McCall32daa422010-03-31 01:36:47 +00001637 if (isa<FunctionTemplateDecl>(D))
Douglas Gregor9cd9f3f2009-09-09 23:39:55 +00001638 continue;
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001639
John McCall32daa422010-03-31 01:36:47 +00001640 CXXConversionDecl *Conv = cast<CXXConversionDecl>(D);
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001641
Douglas Gregor9cd9f3f2009-09-09 23:39:55 +00001642 QualType ConvType = Conv->getConversionType().getNonReferenceType();
1643 if (const PointerType *ConvPtrType = ConvType->getAs<PointerType>())
Eli Friedman13578692010-08-05 02:49:48 +00001644 if (ConvPtrType->getPointeeType()->isIncompleteOrObjectType())
Fariborz Jahanian8b915e72009-09-15 22:15:23 +00001645 ObjectPtrConversions.push_back(Conv);
Douglas Gregor9cd9f3f2009-09-09 23:39:55 +00001646 }
Fariborz Jahanian8b915e72009-09-15 22:15:23 +00001647 if (ObjectPtrConversions.size() == 1) {
1648 // We have a single conversion to a pointer-to-object type. Perform
1649 // that conversion.
John McCall32daa422010-03-31 01:36:47 +00001650 // TODO: don't redo the conversion calculation.
John McCall32daa422010-03-31 01:36:47 +00001651 if (!PerformImplicitConversion(Ex,
1652 ObjectPtrConversions.front()->getConversionType(),
Douglas Gregor68647482009-12-16 03:45:30 +00001653 AA_Converting)) {
Fariborz Jahanian8b915e72009-09-15 22:15:23 +00001654 Type = Ex->getType();
1655 }
1656 }
1657 else if (ObjectPtrConversions.size() > 1) {
1658 Diag(StartLoc, diag::err_ambiguous_delete_operand)
1659 << Type << Ex->getSourceRange();
John McCall32daa422010-03-31 01:36:47 +00001660 for (unsigned i= 0; i < ObjectPtrConversions.size(); i++)
1661 NoteOverloadCandidate(ObjectPtrConversions[i]);
Fariborz Jahanian8b915e72009-09-15 22:15:23 +00001662 return ExprError();
Douglas Gregor9cd9f3f2009-09-09 23:39:55 +00001663 }
Sebastian Redl28507842009-02-26 14:39:58 +00001664 }
1665
Sebastian Redlf53597f2009-03-15 17:47:39 +00001666 if (!Type->isPointerType())
1667 return ExprError(Diag(StartLoc, diag::err_delete_operand)
1668 << Type << Ex->getSourceRange());
Sebastian Redl28507842009-02-26 14:39:58 +00001669
Ted Kremenek6217b802009-07-29 21:53:49 +00001670 QualType Pointee = Type->getAs<PointerType>()->getPointeeType();
Douglas Gregor94a61572010-05-24 17:01:56 +00001671 if (Pointee->isVoidType() && !isSFINAEContext()) {
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001672 // The C++ standard bans deleting a pointer to a non-object type, which
Douglas Gregor94a61572010-05-24 17:01:56 +00001673 // effectively bans deletion of "void*". However, most compilers support
1674 // this, so we treat it as a warning unless we're in a SFINAE context.
1675 Diag(StartLoc, diag::ext_delete_void_ptr_operand)
1676 << Type << Ex->getSourceRange();
1677 } else if (Pointee->isFunctionType() || Pointee->isVoidType())
Sebastian Redlf53597f2009-03-15 17:47:39 +00001678 return ExprError(Diag(StartLoc, diag::err_delete_operand)
1679 << Type << Ex->getSourceRange());
Douglas Gregor8dcb29d2009-03-24 20:13:58 +00001680 else if (!Pointee->isDependentType() &&
Mike Stump1eb44332009-09-09 15:08:12 +00001681 RequireCompleteType(StartLoc, Pointee,
Anders Carlssonb7906612009-08-26 23:45:07 +00001682 PDiag(diag::warn_delete_incomplete)
1683 << Ex->getSourceRange()))
Douglas Gregor8dcb29d2009-03-24 20:13:58 +00001684 return ExprError();
Sebastian Redl28507842009-02-26 14:39:58 +00001685
Douglas Gregor1070c9f2009-09-29 21:38:53 +00001686 // C++ [expr.delete]p2:
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001687 // [Note: a pointer to a const type can be the operand of a
1688 // delete-expression; it is not necessary to cast away the constness
1689 // (5.2.11) of the pointer expression before it is used as the operand
Douglas Gregor1070c9f2009-09-29 21:38:53 +00001690 // of the delete-expression. ]
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001691 ImpCastExprToType(Ex, Context.getPointerType(Context.VoidTy),
John McCall2de56d12010-08-25 11:45:40 +00001692 CK_NoOp);
Argyrios Kyrtzidis4076dac2010-09-13 20:15:54 +00001693
1694 if (Pointee->isArrayType() && !ArrayForm) {
1695 Diag(StartLoc, diag::warn_delete_array_type)
1696 << Type << Ex->getSourceRange()
1697 << FixItHint::CreateInsertion(PP.getLocForEndOfToken(StartLoc), "[]");
1698 ArrayForm = true;
1699 }
1700
Anders Carlssond67c4c32009-08-16 20:29:29 +00001701 DeclarationName DeleteName = Context.DeclarationNames.getCXXOperatorName(
1702 ArrayForm ? OO_Array_Delete : OO_Delete);
1703
Argyrios Kyrtzidisd2932982010-08-25 23:14:56 +00001704 QualType PointeeElem = Context.getBaseElementType(Pointee);
1705 if (const RecordType *RT = PointeeElem->getAs<RecordType>()) {
Anders Carlsson78f74552009-11-15 18:45:20 +00001706 CXXRecordDecl *RD = cast<CXXRecordDecl>(RT->getDecl());
1707
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001708 if (!UseGlobal &&
Anders Carlsson78f74552009-11-15 18:45:20 +00001709 FindDeallocationFunction(StartLoc, RD, DeleteName, OperatorDelete))
Anders Carlsson0ba63ea2009-11-14 03:17:38 +00001710 return ExprError();
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001711
John McCall6ec278d2011-01-27 09:37:56 +00001712 // If we're allocating an array of records, check whether the
1713 // usual operator delete[] has a size_t parameter.
1714 if (ArrayForm) {
1715 // If the user specifically asked to use the global allocator,
1716 // we'll need to do the lookup into the class.
1717 if (UseGlobal)
1718 UsualArrayDeleteWantsSize =
1719 doesUsualArrayDeleteWantSize(*this, StartLoc, PointeeElem);
1720
1721 // Otherwise, the usual operator delete[] should be the
1722 // function we just found.
1723 else if (isa<CXXMethodDecl>(OperatorDelete))
1724 UsualArrayDeleteWantsSize = (OperatorDelete->getNumParams() == 2);
1725 }
1726
Anders Carlsson78f74552009-11-15 18:45:20 +00001727 if (!RD->hasTrivialDestructor())
Douglas Gregor9b623632010-10-12 23:32:35 +00001728 if (CXXDestructorDecl *Dtor = LookupDestructor(RD)) {
Mike Stump1eb44332009-09-09 15:08:12 +00001729 MarkDeclarationReferenced(StartLoc,
Fariborz Jahanian34374e62009-09-03 23:18:17 +00001730 const_cast<CXXDestructorDecl*>(Dtor));
Douglas Gregor9b623632010-10-12 23:32:35 +00001731 DiagnoseUseOfDecl(Dtor, StartLoc);
1732 }
Anders Carlssond67c4c32009-08-16 20:29:29 +00001733 }
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001734
Anders Carlssond67c4c32009-08-16 20:29:29 +00001735 if (!OperatorDelete) {
Anders Carlsson78f74552009-11-15 18:45:20 +00001736 // Look for a global declaration.
Anders Carlssond67c4c32009-08-16 20:29:29 +00001737 DeclareGlobalNewDelete();
1738 DeclContext *TUDecl = Context.getTranslationUnitDecl();
Mike Stump1eb44332009-09-09 15:08:12 +00001739 if (FindAllocationOverload(StartLoc, SourceRange(), DeleteName,
Douglas Gregor90916562009-09-29 18:16:17 +00001740 &Ex, 1, TUDecl, /*AllowMissing=*/false,
Anders Carlssond67c4c32009-08-16 20:29:29 +00001741 OperatorDelete))
1742 return ExprError();
1743 }
Mike Stump1eb44332009-09-09 15:08:12 +00001744
John McCall9c82afc2010-04-20 02:18:25 +00001745 MarkDeclarationReferenced(StartLoc, OperatorDelete);
John McCall6ec278d2011-01-27 09:37:56 +00001746
Douglas Gregord880f522011-02-01 15:50:11 +00001747 // Check access and ambiguity of operator delete and destructor.
1748 if (const RecordType *RT = PointeeElem->getAs<RecordType>()) {
1749 CXXRecordDecl *RD = cast<CXXRecordDecl>(RT->getDecl());
1750 if (CXXDestructorDecl *Dtor = LookupDestructor(RD)) {
1751 CheckDestructorAccess(Ex->getExprLoc(), Dtor,
1752 PDiag(diag::err_access_dtor) << PointeeElem);
1753 }
1754 }
1755
Sebastian Redl4c5d3202008-11-21 19:14:01 +00001756 }
1757
Sebastian Redlf53597f2009-03-15 17:47:39 +00001758 return Owned(new (Context) CXXDeleteExpr(Context.VoidTy, UseGlobal, ArrayForm,
John McCall6ec278d2011-01-27 09:37:56 +00001759 ArrayFormAsWritten,
1760 UsualArrayDeleteWantsSize,
1761 OperatorDelete, Ex, StartLoc));
Sebastian Redl4c5d3202008-11-21 19:14:01 +00001762}
1763
Douglas Gregor8cfe5a72009-11-23 23:44:04 +00001764/// \brief Check the use of the given variable as a C++ condition in an if,
1765/// while, do-while, or switch statement.
John McCall60d7b3a2010-08-24 06:29:42 +00001766ExprResult Sema::CheckConditionVariable(VarDecl *ConditionVar,
John McCallf89e55a2010-11-18 06:31:45 +00001767 SourceLocation StmtLoc,
1768 bool ConvertToBoolean) {
Douglas Gregor8cfe5a72009-11-23 23:44:04 +00001769 QualType T = ConditionVar->getType();
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001770
Douglas Gregor8cfe5a72009-11-23 23:44:04 +00001771 // C++ [stmt.select]p2:
1772 // The declarator shall not specify a function or an array.
1773 if (T->isFunctionType())
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001774 return ExprError(Diag(ConditionVar->getLocation(),
Douglas Gregor8cfe5a72009-11-23 23:44:04 +00001775 diag::err_invalid_use_of_function_type)
1776 << ConditionVar->getSourceRange());
1777 else if (T->isArrayType())
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001778 return ExprError(Diag(ConditionVar->getLocation(),
Douglas Gregor8cfe5a72009-11-23 23:44:04 +00001779 diag::err_invalid_use_of_array_type)
1780 << ConditionVar->getSourceRange());
Douglas Gregora7605db2009-11-24 16:07:02 +00001781
Douglas Gregor586596f2010-05-06 17:25:47 +00001782 Expr *Condition = DeclRefExpr::Create(Context, 0, SourceRange(), ConditionVar,
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001783 ConditionVar->getLocation(),
John McCallf89e55a2010-11-18 06:31:45 +00001784 ConditionVar->getType().getNonReferenceType(),
John McCall09431682010-11-18 19:01:18 +00001785 VK_LValue);
Douglas Gregorff331c12010-07-25 18:17:45 +00001786 if (ConvertToBoolean && CheckBooleanCondition(Condition, StmtLoc))
Douglas Gregor586596f2010-05-06 17:25:47 +00001787 return ExprError();
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001788
Douglas Gregor586596f2010-05-06 17:25:47 +00001789 return Owned(Condition);
Douglas Gregor8cfe5a72009-11-23 23:44:04 +00001790}
1791
Argyrios Kyrtzidis59210932008-09-10 02:17:11 +00001792/// CheckCXXBooleanCondition - Returns true if a conversion to bool is invalid.
1793bool Sema::CheckCXXBooleanCondition(Expr *&CondExpr) {
1794 // C++ 6.4p4:
1795 // The value of a condition that is an initialized declaration in a statement
1796 // other than a switch statement is the value of the declared variable
1797 // implicitly converted to type bool. If that conversion is ill-formed, the
1798 // program is ill-formed.
1799 // The value of a condition that is an expression is the value of the
1800 // expression, implicitly converted to bool.
1801 //
Douglas Gregor09f41cf2009-01-14 15:45:31 +00001802 return PerformContextuallyConvertToBool(CondExpr);
Argyrios Kyrtzidis59210932008-09-10 02:17:11 +00001803}
Douglas Gregor77a52232008-09-12 00:47:35 +00001804
1805/// Helper function to determine whether this is the (deprecated) C++
1806/// conversion from a string literal to a pointer to non-const char or
1807/// non-const wchar_t (for narrow and wide string literals,
1808/// respectively).
Mike Stump1eb44332009-09-09 15:08:12 +00001809bool
Douglas Gregor77a52232008-09-12 00:47:35 +00001810Sema::IsStringLiteralToNonConstPointerConversion(Expr *From, QualType ToType) {
1811 // Look inside the implicit cast, if it exists.
1812 if (ImplicitCastExpr *Cast = dyn_cast<ImplicitCastExpr>(From))
1813 From = Cast->getSubExpr();
1814
1815 // A string literal (2.13.4) that is not a wide string literal can
1816 // be converted to an rvalue of type "pointer to char"; a wide
1817 // string literal can be converted to an rvalue of type "pointer
1818 // to wchar_t" (C++ 4.2p2).
Douglas Gregor1984eb92010-06-22 23:47:37 +00001819 if (StringLiteral *StrLit = dyn_cast<StringLiteral>(From->IgnoreParens()))
Ted Kremenek6217b802009-07-29 21:53:49 +00001820 if (const PointerType *ToPtrType = ToType->getAs<PointerType>())
Mike Stump1eb44332009-09-09 15:08:12 +00001821 if (const BuiltinType *ToPointeeType
John McCall183700f2009-09-21 23:43:11 +00001822 = ToPtrType->getPointeeType()->getAs<BuiltinType>()) {
Douglas Gregor77a52232008-09-12 00:47:35 +00001823 // This conversion is considered only when there is an
1824 // explicit appropriate pointer target type (C++ 4.2p2).
John McCall0953e762009-09-24 19:53:00 +00001825 if (!ToPtrType->getPointeeType().hasQualifiers() &&
Douglas Gregor77a52232008-09-12 00:47:35 +00001826 ((StrLit->isWide() && ToPointeeType->isWideCharType()) ||
1827 (!StrLit->isWide() &&
1828 (ToPointeeType->getKind() == BuiltinType::Char_U ||
1829 ToPointeeType->getKind() == BuiltinType::Char_S))))
1830 return true;
1831 }
1832
1833 return false;
1834}
Douglas Gregor94b1dd22008-10-24 04:54:22 +00001835
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001836static ExprResult BuildCXXCastArgument(Sema &S,
John McCall2de56d12010-08-25 11:45:40 +00001837 SourceLocation CastLoc,
1838 QualType Ty,
1839 CastKind Kind,
1840 CXXMethodDecl *Method,
Douglas Gregor83eecbe2011-01-20 01:32:05 +00001841 NamedDecl *FoundDecl,
John McCall2de56d12010-08-25 11:45:40 +00001842 Expr *From) {
Douglas Gregorba70ab62010-04-16 22:17:36 +00001843 switch (Kind) {
1844 default: assert(0 && "Unhandled cast kind!");
John McCall2de56d12010-08-25 11:45:40 +00001845 case CK_ConstructorConversion: {
John McCallca0408f2010-08-23 06:44:23 +00001846 ASTOwningVector<Expr*> ConstructorArgs(S);
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001847
Douglas Gregorba70ab62010-04-16 22:17:36 +00001848 if (S.CompleteConstructorCall(cast<CXXConstructorDecl>(Method),
John McCallf312b1e2010-08-26 23:41:50 +00001849 MultiExprArg(&From, 1),
Douglas Gregorba70ab62010-04-16 22:17:36 +00001850 CastLoc, ConstructorArgs))
John McCallf312b1e2010-08-26 23:41:50 +00001851 return ExprError();
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001852
1853 ExprResult Result =
1854 S.BuildCXXConstructExpr(CastLoc, Ty, cast<CXXConstructorDecl>(Method),
John McCall7a1fad32010-08-24 07:32:53 +00001855 move_arg(ConstructorArgs),
Chandler Carruth428edaf2010-10-25 08:47:36 +00001856 /*ZeroInit*/ false, CXXConstructExpr::CK_Complete,
1857 SourceRange());
Douglas Gregorba70ab62010-04-16 22:17:36 +00001858 if (Result.isInvalid())
John McCallf312b1e2010-08-26 23:41:50 +00001859 return ExprError();
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001860
Douglas Gregorba70ab62010-04-16 22:17:36 +00001861 return S.MaybeBindToTemporary(Result.takeAs<Expr>());
1862 }
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001863
John McCall2de56d12010-08-25 11:45:40 +00001864 case CK_UserDefinedConversion: {
Douglas Gregorba70ab62010-04-16 22:17:36 +00001865 assert(!From->getType()->isPointerType() && "Arg can't have pointer type!");
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001866
Douglas Gregorba70ab62010-04-16 22:17:36 +00001867 // Create an implicit call expr that calls it.
Douglas Gregor83eecbe2011-01-20 01:32:05 +00001868 ExprResult Result = S.BuildCXXMemberCallExpr(From, FoundDecl, Method);
Douglas Gregorf2ae5262011-01-20 00:18:04 +00001869 if (Result.isInvalid())
1870 return ExprError();
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001871
Douglas Gregorf2ae5262011-01-20 00:18:04 +00001872 return S.MaybeBindToTemporary(Result.get());
Douglas Gregorba70ab62010-04-16 22:17:36 +00001873 }
1874 }
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001875}
Douglas Gregorba70ab62010-04-16 22:17:36 +00001876
Douglas Gregor09f41cf2009-01-14 15:45:31 +00001877/// PerformImplicitConversion - Perform an implicit conversion of the
1878/// expression From to the type ToType using the pre-computed implicit
1879/// conversion sequence ICS. Returns true if there was an error, false
1880/// otherwise. The expression From is replaced with the converted
Douglas Gregor68647482009-12-16 03:45:30 +00001881/// expression. Action is the kind of conversion we're performing,
Douglas Gregor09f41cf2009-01-14 15:45:31 +00001882/// used in the error message.
1883bool
1884Sema::PerformImplicitConversion(Expr *&From, QualType ToType,
1885 const ImplicitConversionSequence &ICS,
Douglas Gregor14d0aee2011-01-27 00:58:17 +00001886 AssignmentAction Action, bool CStyle) {
John McCall1d318332010-01-12 00:44:57 +00001887 switch (ICS.getKind()) {
Douglas Gregor94b1dd22008-10-24 04:54:22 +00001888 case ImplicitConversionSequence::StandardConversion:
Douglas Gregor68647482009-12-16 03:45:30 +00001889 if (PerformImplicitConversion(From, ToType, ICS.Standard, Action,
Douglas Gregor14d0aee2011-01-27 00:58:17 +00001890 CStyle))
Douglas Gregor94b1dd22008-10-24 04:54:22 +00001891 return true;
1892 break;
1893
Anders Carlssonf6c213a2009-09-15 06:28:28 +00001894 case ImplicitConversionSequence::UserDefinedConversion: {
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001895
Fariborz Jahanian7fe5d722009-08-28 22:04:50 +00001896 FunctionDecl *FD = ICS.UserDefined.ConversionFunction;
John McCalldaa8e4e2010-11-15 09:13:47 +00001897 CastKind CastKind;
Anders Carlssonf6c213a2009-09-15 06:28:28 +00001898 QualType BeforeToType;
1899 if (const CXXConversionDecl *Conv = dyn_cast<CXXConversionDecl>(FD)) {
John McCall2de56d12010-08-25 11:45:40 +00001900 CastKind = CK_UserDefinedConversion;
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001901
Anders Carlssonf6c213a2009-09-15 06:28:28 +00001902 // If the user-defined conversion is specified by a conversion function,
1903 // the initial standard conversion sequence converts the source type to
1904 // the implicit object parameter of the conversion function.
1905 BeforeToType = Context.getTagDeclType(Conv->getParent());
John McCall9ec94452010-12-04 09:57:16 +00001906 } else {
1907 const CXXConstructorDecl *Ctor = cast<CXXConstructorDecl>(FD);
John McCall2de56d12010-08-25 11:45:40 +00001908 CastKind = CK_ConstructorConversion;
Fariborz Jahanian966256a2009-11-06 00:23:08 +00001909 // Do no conversion if dealing with ... for the first conversion.
Douglas Gregore44201a2009-11-20 02:31:03 +00001910 if (!ICS.UserDefined.EllipsisConversion) {
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001911 // If the user-defined conversion is specified by a constructor, the
Fariborz Jahanian966256a2009-11-06 00:23:08 +00001912 // initial standard conversion sequence converts the source type to the
1913 // type required by the argument of the constructor
Douglas Gregore44201a2009-11-20 02:31:03 +00001914 BeforeToType = Ctor->getParamDecl(0)->getType().getNonReferenceType();
1915 }
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001916 }
Douglas Gregora3998bd2010-12-02 21:47:04 +00001917 // Watch out for elipsis conversion.
Fariborz Jahanian4c0cea22009-11-06 00:55:14 +00001918 if (!ICS.UserDefined.EllipsisConversion) {
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001919 if (PerformImplicitConversion(From, BeforeToType,
Douglas Gregor68647482009-12-16 03:45:30 +00001920 ICS.UserDefined.Before, AA_Converting,
Douglas Gregor14d0aee2011-01-27 00:58:17 +00001921 CStyle))
Fariborz Jahanian966256a2009-11-06 00:23:08 +00001922 return true;
1923 }
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001924
1925 ExprResult CastArg
Douglas Gregorba70ab62010-04-16 22:17:36 +00001926 = BuildCXXCastArgument(*this,
1927 From->getLocStart(),
Anders Carlsson0aebc812009-09-09 21:33:21 +00001928 ToType.getNonReferenceType(),
Douglas Gregor83eecbe2011-01-20 01:32:05 +00001929 CastKind, cast<CXXMethodDecl>(FD),
1930 ICS.UserDefined.FoundConversionFunction,
John McCall9ae2f072010-08-23 23:25:46 +00001931 From);
Anders Carlsson0aebc812009-09-09 21:33:21 +00001932
1933 if (CastArg.isInvalid())
1934 return true;
Eli Friedmand8889622009-11-27 04:41:50 +00001935
1936 From = CastArg.takeAs<Expr>();
1937
Eli Friedmand8889622009-11-27 04:41:50 +00001938 return PerformImplicitConversion(From, ToType, ICS.UserDefined.After,
Douglas Gregor14d0aee2011-01-27 00:58:17 +00001939 AA_Converting, CStyle);
Fariborz Jahanian93034ca2009-10-16 19:20:59 +00001940 }
John McCall1d318332010-01-12 00:44:57 +00001941
1942 case ImplicitConversionSequence::AmbiguousConversion:
John McCall120d63c2010-08-24 20:38:10 +00001943 ICS.DiagnoseAmbiguousConversion(*this, From->getExprLoc(),
John McCall1d318332010-01-12 00:44:57 +00001944 PDiag(diag::err_typecheck_ambiguous_condition)
1945 << From->getSourceRange());
1946 return true;
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001947
Douglas Gregor94b1dd22008-10-24 04:54:22 +00001948 case ImplicitConversionSequence::EllipsisConversion:
1949 assert(false && "Cannot perform an ellipsis conversion");
Douglas Gregor60d62c22008-10-31 16:23:19 +00001950 return false;
Douglas Gregor94b1dd22008-10-24 04:54:22 +00001951
1952 case ImplicitConversionSequence::BadConversion:
1953 return true;
1954 }
1955
1956 // Everything went well.
1957 return false;
1958}
1959
1960/// PerformImplicitConversion - Perform an implicit conversion of the
1961/// expression From to the type ToType by following the standard
1962/// conversion sequence SCS. Returns true if there was an error, false
1963/// otherwise. The expression From is replaced with the converted
Douglas Gregor45920e82008-12-19 17:40:08 +00001964/// expression. Flavor is the context in which we're performing this
1965/// conversion, for use in error messages.
Mike Stump1eb44332009-09-09 15:08:12 +00001966bool
Douglas Gregor94b1dd22008-10-24 04:54:22 +00001967Sema::PerformImplicitConversion(Expr *&From, QualType ToType,
Douglas Gregor45920e82008-12-19 17:40:08 +00001968 const StandardConversionSequence& SCS,
Douglas Gregor14d0aee2011-01-27 00:58:17 +00001969 AssignmentAction Action, bool CStyle) {
Mike Stump390b4cc2009-05-16 07:39:55 +00001970 // Overall FIXME: we are recomputing too many types here and doing far too
1971 // much extra work. What this means is that we need to keep track of more
1972 // information that is computed when we try the implicit conversion initially,
1973 // so that we don't need to recompute anything here.
Douglas Gregor94b1dd22008-10-24 04:54:22 +00001974 QualType FromType = From->getType();
1975
Douglas Gregor225c41e2008-11-03 19:09:14 +00001976 if (SCS.CopyConstructor) {
Anders Carlsson7c3e8a12009-05-19 04:45:15 +00001977 // FIXME: When can ToType be a reference type?
1978 assert(!ToType->isReferenceType());
Fariborz Jahanianb3c47742009-09-25 18:59:21 +00001979 if (SCS.Second == ICK_Derived_To_Base) {
John McCallca0408f2010-08-23 06:44:23 +00001980 ASTOwningVector<Expr*> ConstructorArgs(*this);
Fariborz Jahanianb3c47742009-09-25 18:59:21 +00001981 if (CompleteConstructorCall(cast<CXXConstructorDecl>(SCS.CopyConstructor),
John McCallca0408f2010-08-23 06:44:23 +00001982 MultiExprArg(*this, &From, 1),
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00001983 /*FIXME:ConstructLoc*/SourceLocation(),
Fariborz Jahanianb3c47742009-09-25 18:59:21 +00001984 ConstructorArgs))
1985 return true;
John McCall60d7b3a2010-08-24 06:29:42 +00001986 ExprResult FromResult =
Fariborz Jahanianb3c47742009-09-25 18:59:21 +00001987 BuildCXXConstructExpr(/*FIXME:ConstructLoc*/SourceLocation(),
1988 ToType, SCS.CopyConstructor,
John McCall7a1fad32010-08-24 07:32:53 +00001989 move_arg(ConstructorArgs),
1990 /*ZeroInit*/ false,
Chandler Carruth428edaf2010-10-25 08:47:36 +00001991 CXXConstructExpr::CK_Complete,
1992 SourceRange());
Fariborz Jahanianb3c47742009-09-25 18:59:21 +00001993 if (FromResult.isInvalid())
1994 return true;
1995 From = FromResult.takeAs<Expr>();
1996 return false;
1997 }
John McCall60d7b3a2010-08-24 06:29:42 +00001998 ExprResult FromResult =
Mike Stump1eb44332009-09-09 15:08:12 +00001999 BuildCXXConstructExpr(/*FIXME:ConstructLoc*/SourceLocation(),
2000 ToType, SCS.CopyConstructor,
John McCall7a1fad32010-08-24 07:32:53 +00002001 MultiExprArg(*this, &From, 1),
2002 /*ZeroInit*/ false,
Chandler Carruth428edaf2010-10-25 08:47:36 +00002003 CXXConstructExpr::CK_Complete,
2004 SourceRange());
Mike Stump1eb44332009-09-09 15:08:12 +00002005
Anders Carlssonda3f4e22009-08-25 05:12:04 +00002006 if (FromResult.isInvalid())
2007 return true;
Mike Stump1eb44332009-09-09 15:08:12 +00002008
Anders Carlssonda3f4e22009-08-25 05:12:04 +00002009 From = FromResult.takeAs<Expr>();
Douglas Gregor225c41e2008-11-03 19:09:14 +00002010 return false;
2011 }
2012
Douglas Gregorad4e02f2010-04-29 18:24:40 +00002013 // Resolve overloaded function references.
2014 if (Context.hasSameType(FromType, Context.OverloadTy)) {
2015 DeclAccessPair Found;
2016 FunctionDecl *Fn = ResolveAddressOfOverloadedFunction(From, ToType,
2017 true, Found);
2018 if (!Fn)
2019 return true;
2020
2021 if (DiagnoseUseOfDecl(Fn, From->getSourceRange().getBegin()))
2022 return true;
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00002023
Douglas Gregorad4e02f2010-04-29 18:24:40 +00002024 From = FixOverloadedFunctionReference(From, Found, Fn);
2025 FromType = From->getType();
2026 }
2027
Douglas Gregor94b1dd22008-10-24 04:54:22 +00002028 // Perform the first implicit conversion.
2029 switch (SCS.First) {
2030 case ICK_Identity:
Douglas Gregor94b1dd22008-10-24 04:54:22 +00002031 // Nothing to do.
2032 break;
2033
John McCallf6a16482010-12-04 03:47:34 +00002034 case ICK_Lvalue_To_Rvalue:
2035 // Should this get its own ICK?
2036 if (From->getObjectKind() == OK_ObjCProperty) {
2037 ConvertPropertyForRValue(From);
John McCall241d5582010-12-07 22:54:16 +00002038 if (!From->isGLValue()) break;
John McCallf6a16482010-12-04 03:47:34 +00002039 }
2040
Chandler Carruth35001ca2011-02-17 21:10:52 +00002041 // Check for trivial buffer overflows.
2042 if (const ArraySubscriptExpr *AE = dyn_cast<ArraySubscriptExpr>(From))
2043 CheckArrayAccess(AE);
2044
John McCallf6a16482010-12-04 03:47:34 +00002045 FromType = FromType.getUnqualifiedType();
2046 From = ImplicitCastExpr::Create(Context, FromType, CK_LValueToRValue,
2047 From, 0, VK_RValue);
2048 break;
2049
Douglas Gregor94b1dd22008-10-24 04:54:22 +00002050 case ICK_Array_To_Pointer:
Douglas Gregor48f3bb92009-02-18 21:56:37 +00002051 FromType = Context.getArrayDecayedType(FromType);
John McCall2de56d12010-08-25 11:45:40 +00002052 ImpCastExprToType(From, FromType, CK_ArrayToPointerDecay);
Douglas Gregor48f3bb92009-02-18 21:56:37 +00002053 break;
2054
2055 case ICK_Function_To_Pointer:
Douglas Gregor94b1dd22008-10-24 04:54:22 +00002056 FromType = Context.getPointerType(FromType);
John McCall2de56d12010-08-25 11:45:40 +00002057 ImpCastExprToType(From, FromType, CK_FunctionToPointerDecay);
Douglas Gregor94b1dd22008-10-24 04:54:22 +00002058 break;
2059
2060 default:
2061 assert(false && "Improper first standard conversion");
2062 break;
2063 }
2064
2065 // Perform the second implicit conversion
2066 switch (SCS.Second) {
2067 case ICK_Identity:
Sebastian Redl2c7588f2009-10-10 12:04:10 +00002068 // If both sides are functions (or pointers/references to them), there could
2069 // be incompatible exception declarations.
2070 if (CheckExceptionSpecCompatibility(From, ToType))
2071 return true;
2072 // Nothing else to do.
Douglas Gregor94b1dd22008-10-24 04:54:22 +00002073 break;
2074
Douglas Gregor43c79c22009-12-09 00:47:37 +00002075 case ICK_NoReturn_Adjustment:
2076 // If both sides are functions (or pointers/references to them), there could
2077 // be incompatible exception declarations.
2078 if (CheckExceptionSpecCompatibility(From, ToType))
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00002079 return true;
2080
John McCalle6a365d2010-12-19 02:44:49 +00002081 ImpCastExprToType(From, ToType, CK_NoOp);
Douglas Gregor43c79c22009-12-09 00:47:37 +00002082 break;
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00002083
Douglas Gregor94b1dd22008-10-24 04:54:22 +00002084 case ICK_Integral_Promotion:
Douglas Gregor94b1dd22008-10-24 04:54:22 +00002085 case ICK_Integral_Conversion:
John McCall2de56d12010-08-25 11:45:40 +00002086 ImpCastExprToType(From, ToType, CK_IntegralCast);
Eli Friedman73c39ab2009-10-20 08:27:19 +00002087 break;
2088
2089 case ICK_Floating_Promotion:
Douglas Gregor94b1dd22008-10-24 04:54:22 +00002090 case ICK_Floating_Conversion:
John McCall2de56d12010-08-25 11:45:40 +00002091 ImpCastExprToType(From, ToType, CK_FloatingCast);
Eli Friedman73c39ab2009-10-20 08:27:19 +00002092 break;
2093
2094 case ICK_Complex_Promotion:
John McCalldaa8e4e2010-11-15 09:13:47 +00002095 case ICK_Complex_Conversion: {
2096 QualType FromEl = From->getType()->getAs<ComplexType>()->getElementType();
2097 QualType ToEl = ToType->getAs<ComplexType>()->getElementType();
2098 CastKind CK;
2099 if (FromEl->isRealFloatingType()) {
2100 if (ToEl->isRealFloatingType())
2101 CK = CK_FloatingComplexCast;
2102 else
2103 CK = CK_FloatingComplexToIntegralComplex;
2104 } else if (ToEl->isRealFloatingType()) {
2105 CK = CK_IntegralComplexToFloatingComplex;
2106 } else {
2107 CK = CK_IntegralComplexCast;
2108 }
2109 ImpCastExprToType(From, ToType, CK);
Eli Friedman73c39ab2009-10-20 08:27:19 +00002110 break;
John McCalldaa8e4e2010-11-15 09:13:47 +00002111 }
Eli Friedman73c39ab2009-10-20 08:27:19 +00002112
Douglas Gregor94b1dd22008-10-24 04:54:22 +00002113 case ICK_Floating_Integral:
Douglas Gregor0c293ea2010-06-22 23:07:26 +00002114 if (ToType->isRealFloatingType())
John McCall2de56d12010-08-25 11:45:40 +00002115 ImpCastExprToType(From, ToType, CK_IntegralToFloating);
Eli Friedman73c39ab2009-10-20 08:27:19 +00002116 else
John McCall2de56d12010-08-25 11:45:40 +00002117 ImpCastExprToType(From, ToType, CK_FloatingToIntegral);
Eli Friedman73c39ab2009-10-20 08:27:19 +00002118 break;
2119
Douglas Gregorf9201e02009-02-11 23:02:49 +00002120 case ICK_Compatible_Conversion:
John McCall2de56d12010-08-25 11:45:40 +00002121 ImpCastExprToType(From, ToType, CK_NoOp);
Douglas Gregor94b1dd22008-10-24 04:54:22 +00002122 break;
2123
Anders Carlsson61faec12009-09-12 04:46:44 +00002124 case ICK_Pointer_Conversion: {
Douglas Gregora3998bd2010-12-02 21:47:04 +00002125 if (SCS.IncompatibleObjC && Action != AA_Casting) {
Douglas Gregor45920e82008-12-19 17:40:08 +00002126 // Diagnose incompatible Objective-C conversions
Mike Stump1eb44332009-09-09 15:08:12 +00002127 Diag(From->getSourceRange().getBegin(),
Douglas Gregor45920e82008-12-19 17:40:08 +00002128 diag::ext_typecheck_convert_incompatible_pointer)
Douglas Gregor68647482009-12-16 03:45:30 +00002129 << From->getType() << ToType << Action
Douglas Gregor45920e82008-12-19 17:40:08 +00002130 << From->getSourceRange();
2131 }
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00002132
John McCalldaa8e4e2010-11-15 09:13:47 +00002133 CastKind Kind = CK_Invalid;
John McCallf871d0c2010-08-07 06:22:56 +00002134 CXXCastPath BasePath;
Douglas Gregor14d0aee2011-01-27 00:58:17 +00002135 if (CheckPointerConversion(From, ToType, Kind, BasePath, CStyle))
Douglas Gregor94b1dd22008-10-24 04:54:22 +00002136 return true;
John McCall5baba9d2010-08-25 10:28:54 +00002137 ImpCastExprToType(From, ToType, Kind, VK_RValue, &BasePath);
Douglas Gregor94b1dd22008-10-24 04:54:22 +00002138 break;
Anders Carlsson61faec12009-09-12 04:46:44 +00002139 }
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00002140
Anders Carlsson61faec12009-09-12 04:46:44 +00002141 case ICK_Pointer_Member: {
John McCalldaa8e4e2010-11-15 09:13:47 +00002142 CastKind Kind = CK_Invalid;
John McCallf871d0c2010-08-07 06:22:56 +00002143 CXXCastPath BasePath;
Douglas Gregor14d0aee2011-01-27 00:58:17 +00002144 if (CheckMemberPointerConversion(From, ToType, Kind, BasePath, CStyle))
Anders Carlsson61faec12009-09-12 04:46:44 +00002145 return true;
Sebastian Redl2c7588f2009-10-10 12:04:10 +00002146 if (CheckExceptionSpecCompatibility(From, ToType))
2147 return true;
John McCall5baba9d2010-08-25 10:28:54 +00002148 ImpCastExprToType(From, ToType, Kind, VK_RValue, &BasePath);
Anders Carlsson61faec12009-09-12 04:46:44 +00002149 break;
2150 }
Anders Carlssonbc0e0782009-11-23 20:04:44 +00002151 case ICK_Boolean_Conversion: {
John McCalldaa8e4e2010-11-15 09:13:47 +00002152 CastKind Kind = CK_Invalid;
2153 switch (FromType->getScalarTypeKind()) {
2154 case Type::STK_Pointer: Kind = CK_PointerToBoolean; break;
2155 case Type::STK_MemberPointer: Kind = CK_MemberPointerToBoolean; break;
2156 case Type::STK_Bool: llvm_unreachable("bool -> bool conversion?");
2157 case Type::STK_Integral: Kind = CK_IntegralToBoolean; break;
2158 case Type::STK_Floating: Kind = CK_FloatingToBoolean; break;
2159 case Type::STK_IntegralComplex: Kind = CK_IntegralComplexToBoolean; break;
2160 case Type::STK_FloatingComplex: Kind = CK_FloatingComplexToBoolean; break;
2161 }
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00002162
Anders Carlssonbc0e0782009-11-23 20:04:44 +00002163 ImpCastExprToType(From, Context.BoolTy, Kind);
Douglas Gregor94b1dd22008-10-24 04:54:22 +00002164 break;
Anders Carlssonbc0e0782009-11-23 20:04:44 +00002165 }
Douglas Gregor94b1dd22008-10-24 04:54:22 +00002166
Douglas Gregor6fb745b2010-05-13 16:44:06 +00002167 case ICK_Derived_To_Base: {
John McCallf871d0c2010-08-07 06:22:56 +00002168 CXXCastPath BasePath;
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00002169 if (CheckDerivedToBaseConversion(From->getType(),
Douglas Gregorb7a86f52009-11-06 01:02:41 +00002170 ToType.getNonReferenceType(),
2171 From->getLocStart(),
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00002172 From->getSourceRange(),
Douglas Gregor6fb745b2010-05-13 16:44:06 +00002173 &BasePath,
Douglas Gregor14d0aee2011-01-27 00:58:17 +00002174 CStyle))
Douglas Gregorb7a86f52009-11-06 01:02:41 +00002175 return true;
Douglas Gregor6fb745b2010-05-13 16:44:06 +00002176
Sebastian Redl906082e2010-07-20 04:20:21 +00002177 ImpCastExprToType(From, ToType.getNonReferenceType(),
John McCall2de56d12010-08-25 11:45:40 +00002178 CK_DerivedToBase, CastCategory(From),
John McCallf871d0c2010-08-07 06:22:56 +00002179 &BasePath);
Douglas Gregorb7a86f52009-11-06 01:02:41 +00002180 break;
Douglas Gregor6fb745b2010-05-13 16:44:06 +00002181 }
2182
Douglas Gregorfb4a5432010-05-18 22:42:18 +00002183 case ICK_Vector_Conversion:
John McCall2de56d12010-08-25 11:45:40 +00002184 ImpCastExprToType(From, ToType, CK_BitCast);
Douglas Gregorfb4a5432010-05-18 22:42:18 +00002185 break;
2186
2187 case ICK_Vector_Splat:
John McCall2de56d12010-08-25 11:45:40 +00002188 ImpCastExprToType(From, ToType, CK_VectorSplat);
Douglas Gregorfb4a5432010-05-18 22:42:18 +00002189 break;
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00002190
Douglas Gregorfb4a5432010-05-18 22:42:18 +00002191 case ICK_Complex_Real:
John McCalldaa8e4e2010-11-15 09:13:47 +00002192 // Case 1. x -> _Complex y
2193 if (const ComplexType *ToComplex = ToType->getAs<ComplexType>()) {
2194 QualType ElType = ToComplex->getElementType();
2195 bool isFloatingComplex = ElType->isRealFloatingType();
2196
2197 // x -> y
2198 if (Context.hasSameUnqualifiedType(ElType, From->getType())) {
2199 // do nothing
2200 } else if (From->getType()->isRealFloatingType()) {
2201 ImpCastExprToType(From, ElType,
2202 isFloatingComplex ? CK_FloatingCast : CK_FloatingToIntegral);
2203 } else {
2204 assert(From->getType()->isIntegerType());
2205 ImpCastExprToType(From, ElType,
2206 isFloatingComplex ? CK_IntegralToFloating : CK_IntegralCast);
2207 }
2208 // y -> _Complex y
2209 ImpCastExprToType(From, ToType,
2210 isFloatingComplex ? CK_FloatingRealToComplex
2211 : CK_IntegralRealToComplex);
2212
2213 // Case 2. _Complex x -> y
2214 } else {
2215 const ComplexType *FromComplex = From->getType()->getAs<ComplexType>();
2216 assert(FromComplex);
2217
2218 QualType ElType = FromComplex->getElementType();
2219 bool isFloatingComplex = ElType->isRealFloatingType();
2220
2221 // _Complex x -> x
2222 ImpCastExprToType(From, ElType,
2223 isFloatingComplex ? CK_FloatingComplexToReal
2224 : CK_IntegralComplexToReal);
2225
2226 // x -> y
2227 if (Context.hasSameUnqualifiedType(ElType, ToType)) {
2228 // do nothing
2229 } else if (ToType->isRealFloatingType()) {
2230 ImpCastExprToType(From, ToType,
2231 isFloatingComplex ? CK_FloatingCast : CK_IntegralToFloating);
2232 } else {
2233 assert(ToType->isIntegerType());
2234 ImpCastExprToType(From, ToType,
2235 isFloatingComplex ? CK_FloatingToIntegral : CK_IntegralCast);
2236 }
2237 }
Douglas Gregorfb4a5432010-05-18 22:42:18 +00002238 break;
Fariborz Jahaniane3c8c642011-02-12 19:07:46 +00002239
2240 case ICK_Block_Pointer_Conversion: {
2241 ImpCastExprToType(From, ToType.getUnqualifiedType(), CK_BitCast, VK_RValue);
2242 break;
2243 }
2244
Douglas Gregorfb4a5432010-05-18 22:42:18 +00002245 case ICK_Lvalue_To_Rvalue:
2246 case ICK_Array_To_Pointer:
2247 case ICK_Function_To_Pointer:
2248 case ICK_Qualification:
2249 case ICK_Num_Conversion_Kinds:
Douglas Gregor94b1dd22008-10-24 04:54:22 +00002250 assert(false && "Improper second standard conversion");
2251 break;
2252 }
2253
2254 switch (SCS.Third) {
2255 case ICK_Identity:
2256 // Nothing to do.
2257 break;
2258
Sebastian Redl906082e2010-07-20 04:20:21 +00002259 case ICK_Qualification: {
2260 // The qualification keeps the category of the inner expression, unless the
2261 // target type isn't a reference.
John McCall5baba9d2010-08-25 10:28:54 +00002262 ExprValueKind VK = ToType->isReferenceType() ?
2263 CastCategory(From) : VK_RValue;
Douglas Gregor63982352010-07-13 18:40:04 +00002264 ImpCastExprToType(From, ToType.getNonLValueExprType(Context),
John McCall2de56d12010-08-25 11:45:40 +00002265 CK_NoOp, VK);
Douglas Gregora9bff302010-02-28 18:30:25 +00002266
2267 if (SCS.DeprecatedStringLiteralToCharPtr)
2268 Diag(From->getLocStart(), diag::warn_deprecated_string_literal_conversion)
2269 << ToType.getNonReferenceType();
2270
Douglas Gregor94b1dd22008-10-24 04:54:22 +00002271 break;
Sebastian Redl906082e2010-07-20 04:20:21 +00002272 }
2273
Douglas Gregor94b1dd22008-10-24 04:54:22 +00002274 default:
Douglas Gregorfb4a5432010-05-18 22:42:18 +00002275 assert(false && "Improper third standard conversion");
Douglas Gregor94b1dd22008-10-24 04:54:22 +00002276 break;
2277 }
2278
2279 return false;
2280}
2281
Sebastian Redl0dfd8482010-09-13 20:56:31 +00002282ExprResult Sema::ActOnUnaryTypeTrait(UnaryTypeTrait UTT,
Douglas Gregor3d37c0a2010-09-09 16:14:44 +00002283 SourceLocation KWLoc,
2284 ParsedType Ty,
2285 SourceLocation RParen) {
2286 TypeSourceInfo *TSInfo;
2287 QualType T = GetTypeFromParser(Ty, &TSInfo);
Mike Stump1eb44332009-09-09 15:08:12 +00002288
Douglas Gregor3d37c0a2010-09-09 16:14:44 +00002289 if (!TSInfo)
2290 TSInfo = Context.getTrivialTypeSourceInfo(T);
Sebastian Redl0dfd8482010-09-13 20:56:31 +00002291 return BuildUnaryTypeTrait(UTT, KWLoc, TSInfo, RParen);
Douglas Gregor3d37c0a2010-09-09 16:14:44 +00002292}
2293
Sebastian Redlf8aca862010-09-14 23:40:14 +00002294static bool EvaluateUnaryTypeTrait(Sema &Self, UnaryTypeTrait UTT, QualType T,
2295 SourceLocation KeyLoc) {
Douglas Gregora0506182011-01-27 20:35:44 +00002296 // FIXME: For many of these traits, we need a complete type before we can
2297 // check these properties.
Sebastian Redl0dfd8482010-09-13 20:56:31 +00002298 assert(!T->isDependentType() &&
2299 "Cannot evaluate traits for dependent types.");
2300 ASTContext &C = Self.Context;
2301 switch(UTT) {
2302 default: assert(false && "Unknown type trait or not implemented");
2303 case UTT_IsPOD: return T->isPODType();
2304 case UTT_IsLiteral: return T->isLiteralType();
2305 case UTT_IsClass: // Fallthrough
2306 case UTT_IsUnion:
2307 if (const RecordType *Record = T->getAs<RecordType>()) {
2308 bool Union = Record->getDecl()->isUnion();
2309 return UTT == UTT_IsUnion ? Union : !Union;
2310 }
2311 return false;
2312 case UTT_IsEnum: return T->isEnumeralType();
2313 case UTT_IsPolymorphic:
2314 if (const RecordType *Record = T->getAs<RecordType>()) {
2315 // Type traits are only parsed in C++, so we've got CXXRecords.
2316 return cast<CXXRecordDecl>(Record->getDecl())->isPolymorphic();
2317 }
2318 return false;
2319 case UTT_IsAbstract:
2320 if (const RecordType *RT = T->getAs<RecordType>())
2321 return cast<CXXRecordDecl>(RT->getDecl())->isAbstract();
2322 return false;
2323 case UTT_IsEmpty:
2324 if (const RecordType *Record = T->getAs<RecordType>()) {
2325 return !Record->getDecl()->isUnion()
2326 && cast<CXXRecordDecl>(Record->getDecl())->isEmpty();
2327 }
2328 return false;
2329 case UTT_HasTrivialConstructor:
2330 // http://gcc.gnu.org/onlinedocs/gcc/Type-Traits.html:
2331 // If __is_pod (type) is true then the trait is true, else if type is
2332 // a cv class or union type (or array thereof) with a trivial default
2333 // constructor ([class.ctor]) then the trait is true, else it is false.
2334 if (T->isPODType())
2335 return true;
2336 if (const RecordType *RT =
2337 C.getBaseElementType(T)->getAs<RecordType>())
2338 return cast<CXXRecordDecl>(RT->getDecl())->hasTrivialConstructor();
2339 return false;
2340 case UTT_HasTrivialCopy:
2341 // http://gcc.gnu.org/onlinedocs/gcc/Type-Traits.html:
2342 // If __is_pod (type) is true or type is a reference type then
2343 // the trait is true, else if type is a cv class or union type
2344 // with a trivial copy constructor ([class.copy]) then the trait
2345 // is true, else it is false.
2346 if (T->isPODType() || T->isReferenceType())
2347 return true;
2348 if (const RecordType *RT = T->getAs<RecordType>())
2349 return cast<CXXRecordDecl>(RT->getDecl())->hasTrivialCopyConstructor();
2350 return false;
2351 case UTT_HasTrivialAssign:
2352 // http://gcc.gnu.org/onlinedocs/gcc/Type-Traits.html:
2353 // If type is const qualified or is a reference type then the
2354 // trait is false. Otherwise if __is_pod (type) is true then the
2355 // trait is true, else if type is a cv class or union type with
2356 // a trivial copy assignment ([class.copy]) then the trait is
2357 // true, else it is false.
2358 // Note: the const and reference restrictions are interesting,
2359 // given that const and reference members don't prevent a class
2360 // from having a trivial copy assignment operator (but do cause
2361 // errors if the copy assignment operator is actually used, q.v.
2362 // [class.copy]p12).
2363
2364 if (C.getBaseElementType(T).isConstQualified())
2365 return false;
2366 if (T->isPODType())
2367 return true;
2368 if (const RecordType *RT = T->getAs<RecordType>())
2369 return cast<CXXRecordDecl>(RT->getDecl())->hasTrivialCopyAssignment();
2370 return false;
2371 case UTT_HasTrivialDestructor:
2372 // http://gcc.gnu.org/onlinedocs/gcc/Type-Traits.html:
2373 // If __is_pod (type) is true or type is a reference type
2374 // then the trait is true, else if type is a cv class or union
2375 // type (or array thereof) with a trivial destructor
2376 // ([class.dtor]) then the trait is true, else it is
2377 // false.
2378 if (T->isPODType() || T->isReferenceType())
2379 return true;
2380 if (const RecordType *RT =
2381 C.getBaseElementType(T)->getAs<RecordType>())
2382 return cast<CXXRecordDecl>(RT->getDecl())->hasTrivialDestructor();
2383 return false;
2384 // TODO: Propagate nothrowness for implicitly declared special members.
2385 case UTT_HasNothrowAssign:
2386 // http://gcc.gnu.org/onlinedocs/gcc/Type-Traits.html:
2387 // If type is const qualified or is a reference type then the
2388 // trait is false. Otherwise if __has_trivial_assign (type)
2389 // is true then the trait is true, else if type is a cv class
2390 // or union type with copy assignment operators that are known
2391 // not to throw an exception then the trait is true, else it is
2392 // false.
2393 if (C.getBaseElementType(T).isConstQualified())
2394 return false;
2395 if (T->isReferenceType())
2396 return false;
2397 if (T->isPODType())
2398 return true;
2399 if (const RecordType *RT = T->getAs<RecordType>()) {
2400 CXXRecordDecl* RD = cast<CXXRecordDecl>(RT->getDecl());
2401 if (RD->hasTrivialCopyAssignment())
2402 return true;
2403
2404 bool FoundAssign = false;
2405 bool AllNoThrow = true;
2406 DeclarationName Name = C.DeclarationNames.getCXXOperatorName(OO_Equal);
Sebastian Redlf8aca862010-09-14 23:40:14 +00002407 LookupResult Res(Self, DeclarationNameInfo(Name, KeyLoc),
2408 Sema::LookupOrdinaryName);
2409 if (Self.LookupQualifiedName(Res, RD)) {
2410 for (LookupResult::iterator Op = Res.begin(), OpEnd = Res.end();
2411 Op != OpEnd; ++Op) {
2412 CXXMethodDecl *Operator = cast<CXXMethodDecl>(*Op);
2413 if (Operator->isCopyAssignmentOperator()) {
2414 FoundAssign = true;
2415 const FunctionProtoType *CPT
2416 = Operator->getType()->getAs<FunctionProtoType>();
2417 if (!CPT->hasEmptyExceptionSpec()) {
2418 AllNoThrow = false;
2419 break;
2420 }
Sebastian Redl0dfd8482010-09-13 20:56:31 +00002421 }
2422 }
2423 }
2424
2425 return FoundAssign && AllNoThrow;
2426 }
2427 return false;
2428 case UTT_HasNothrowCopy:
2429 // http://gcc.gnu.org/onlinedocs/gcc/Type-Traits.html:
2430 // If __has_trivial_copy (type) is true then the trait is true, else
2431 // if type is a cv class or union type with copy constructors that are
2432 // known not to throw an exception then the trait is true, else it is
2433 // false.
2434 if (T->isPODType() || T->isReferenceType())
2435 return true;
2436 if (const RecordType *RT = T->getAs<RecordType>()) {
2437 CXXRecordDecl *RD = cast<CXXRecordDecl>(RT->getDecl());
2438 if (RD->hasTrivialCopyConstructor())
2439 return true;
2440
2441 bool FoundConstructor = false;
2442 bool AllNoThrow = true;
2443 unsigned FoundTQs;
Sebastian Redl0dfd8482010-09-13 20:56:31 +00002444 DeclContext::lookup_const_iterator Con, ConEnd;
Sebastian Redl5f4e8992010-09-13 21:10:20 +00002445 for (llvm::tie(Con, ConEnd) = Self.LookupConstructors(RD);
Sebastian Redl0dfd8482010-09-13 20:56:31 +00002446 Con != ConEnd; ++Con) {
Sebastian Redl08295a52010-09-13 22:18:28 +00002447 // A template constructor is never a copy constructor.
2448 // FIXME: However, it may actually be selected at the actual overload
2449 // resolution point.
2450 if (isa<FunctionTemplateDecl>(*Con))
2451 continue;
Sebastian Redl0dfd8482010-09-13 20:56:31 +00002452 CXXConstructorDecl *Constructor = cast<CXXConstructorDecl>(*Con);
2453 if (Constructor->isCopyConstructor(FoundTQs)) {
2454 FoundConstructor = true;
2455 const FunctionProtoType *CPT
2456 = Constructor->getType()->getAs<FunctionProtoType>();
Sebastian Redl751025d2010-09-13 22:02:47 +00002457 // TODO: check whether evaluating default arguments can throw.
2458 // For now, we'll be conservative and assume that they can throw.
2459 if (!CPT->hasEmptyExceptionSpec() || CPT->getNumArgs() > 1) {
Sebastian Redl0dfd8482010-09-13 20:56:31 +00002460 AllNoThrow = false;
2461 break;
2462 }
2463 }
2464 }
2465
2466 return FoundConstructor && AllNoThrow;
2467 }
2468 return false;
2469 case UTT_HasNothrowConstructor:
2470 // http://gcc.gnu.org/onlinedocs/gcc/Type-Traits.html:
2471 // If __has_trivial_constructor (type) is true then the trait is
2472 // true, else if type is a cv class or union type (or array
2473 // thereof) with a default constructor that is known not to
2474 // throw an exception then the trait is true, else it is false.
2475 if (T->isPODType())
2476 return true;
2477 if (const RecordType *RT = C.getBaseElementType(T)->getAs<RecordType>()) {
2478 CXXRecordDecl *RD = cast<CXXRecordDecl>(RT->getDecl());
2479 if (RD->hasTrivialConstructor())
2480 return true;
2481
Sebastian Redl751025d2010-09-13 22:02:47 +00002482 DeclContext::lookup_const_iterator Con, ConEnd;
2483 for (llvm::tie(Con, ConEnd) = Self.LookupConstructors(RD);
2484 Con != ConEnd; ++Con) {
Sebastian Redl08295a52010-09-13 22:18:28 +00002485 // FIXME: In C++0x, a constructor template can be a default constructor.
2486 if (isa<FunctionTemplateDecl>(*Con))
2487 continue;
Sebastian Redl751025d2010-09-13 22:02:47 +00002488 CXXConstructorDecl *Constructor = cast<CXXConstructorDecl>(*Con);
2489 if (Constructor->isDefaultConstructor()) {
2490 const FunctionProtoType *CPT
2491 = Constructor->getType()->getAs<FunctionProtoType>();
2492 // TODO: check whether evaluating default arguments can throw.
2493 // For now, we'll be conservative and assume that they can throw.
2494 return CPT->hasEmptyExceptionSpec() && CPT->getNumArgs() == 0;
2495 }
Sebastian Redl0dfd8482010-09-13 20:56:31 +00002496 }
2497 }
2498 return false;
2499 case UTT_HasVirtualDestructor:
2500 // http://gcc.gnu.org/onlinedocs/gcc/Type-Traits.html:
2501 // If type is a class type with a virtual destructor ([class.dtor])
2502 // then the trait is true, else it is false.
2503 if (const RecordType *Record = T->getAs<RecordType>()) {
2504 CXXRecordDecl *RD = cast<CXXRecordDecl>(Record->getDecl());
Sebastian Redlf8aca862010-09-14 23:40:14 +00002505 if (CXXDestructorDecl *Destructor = Self.LookupDestructor(RD))
Sebastian Redl0dfd8482010-09-13 20:56:31 +00002506 return Destructor->isVirtual();
2507 }
2508 return false;
2509 }
2510}
2511
2512ExprResult Sema::BuildUnaryTypeTrait(UnaryTypeTrait UTT,
Douglas Gregor3d37c0a2010-09-09 16:14:44 +00002513 SourceLocation KWLoc,
2514 TypeSourceInfo *TSInfo,
2515 SourceLocation RParen) {
2516 QualType T = TSInfo->getType();
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00002517
Anders Carlsson3292d5c2009-07-07 19:06:02 +00002518 // According to http://gcc.gnu.org/onlinedocs/gcc/Type-Traits.html
2519 // all traits except __is_class, __is_enum and __is_union require a the type
Sebastian Redl607a1782010-09-08 00:48:43 +00002520 // to be complete, an array of unknown bound, or void.
Sebastian Redl0dfd8482010-09-13 20:56:31 +00002521 if (UTT != UTT_IsClass && UTT != UTT_IsEnum && UTT != UTT_IsUnion) {
Sebastian Redl607a1782010-09-08 00:48:43 +00002522 QualType E = T;
2523 if (T->isIncompleteArrayType())
2524 E = Context.getAsArrayType(T)->getElementType();
2525 if (!T->isVoidType() &&
2526 RequireCompleteType(KWLoc, E,
Anders Carlssond497ba72009-08-26 22:59:12 +00002527 diag::err_incomplete_type_used_in_type_trait_expr))
Anders Carlsson3292d5c2009-07-07 19:06:02 +00002528 return ExprError();
2529 }
Sebastian Redl64b45f72009-01-05 20:52:13 +00002530
Sebastian Redl0dfd8482010-09-13 20:56:31 +00002531 bool Value = false;
2532 if (!T->isDependentType())
Sebastian Redlf8aca862010-09-14 23:40:14 +00002533 Value = EvaluateUnaryTypeTrait(*this, UTT, T, KWLoc);
Sebastian Redl0dfd8482010-09-13 20:56:31 +00002534
2535 return Owned(new (Context) UnaryTypeTraitExpr(KWLoc, UTT, TSInfo, Value,
Anders Carlsson3292d5c2009-07-07 19:06:02 +00002536 RParen, Context.BoolTy));
Sebastian Redl64b45f72009-01-05 20:52:13 +00002537}
Sebastian Redl7c8bd602009-02-07 20:10:22 +00002538
Francois Pichet6ad6f282010-12-07 00:08:36 +00002539ExprResult Sema::ActOnBinaryTypeTrait(BinaryTypeTrait BTT,
2540 SourceLocation KWLoc,
2541 ParsedType LhsTy,
2542 ParsedType RhsTy,
2543 SourceLocation RParen) {
2544 TypeSourceInfo *LhsTSInfo;
2545 QualType LhsT = GetTypeFromParser(LhsTy, &LhsTSInfo);
2546 if (!LhsTSInfo)
2547 LhsTSInfo = Context.getTrivialTypeSourceInfo(LhsT);
2548
2549 TypeSourceInfo *RhsTSInfo;
2550 QualType RhsT = GetTypeFromParser(RhsTy, &RhsTSInfo);
2551 if (!RhsTSInfo)
2552 RhsTSInfo = Context.getTrivialTypeSourceInfo(RhsT);
2553
2554 return BuildBinaryTypeTrait(BTT, KWLoc, LhsTSInfo, RhsTSInfo, RParen);
2555}
2556
2557static bool EvaluateBinaryTypeTrait(Sema &Self, BinaryTypeTrait BTT,
2558 QualType LhsT, QualType RhsT,
2559 SourceLocation KeyLoc) {
2560 assert((!LhsT->isDependentType() || RhsT->isDependentType()) &&
2561 "Cannot evaluate traits for dependent types.");
2562
2563 switch(BTT) {
John McCalld89d30f2011-01-28 22:02:36 +00002564 case BTT_IsBaseOf: {
Francois Pichet6ad6f282010-12-07 00:08:36 +00002565 // C++0x [meta.rel]p2
John McCalld89d30f2011-01-28 22:02:36 +00002566 // Base is a base class of Derived without regard to cv-qualifiers or
Francois Pichet6ad6f282010-12-07 00:08:36 +00002567 // Base and Derived are not unions and name the same class type without
2568 // regard to cv-qualifiers.
Francois Pichet6ad6f282010-12-07 00:08:36 +00002569
John McCalld89d30f2011-01-28 22:02:36 +00002570 const RecordType *lhsRecord = LhsT->getAs<RecordType>();
2571 if (!lhsRecord) return false;
2572
2573 const RecordType *rhsRecord = RhsT->getAs<RecordType>();
2574 if (!rhsRecord) return false;
2575
2576 assert(Self.Context.hasSameUnqualifiedType(LhsT, RhsT)
2577 == (lhsRecord == rhsRecord));
2578
2579 if (lhsRecord == rhsRecord)
2580 return !lhsRecord->getDecl()->isUnion();
2581
2582 // C++0x [meta.rel]p2:
2583 // If Base and Derived are class types and are different types
2584 // (ignoring possible cv-qualifiers) then Derived shall be a
2585 // complete type.
2586 if (Self.RequireCompleteType(KeyLoc, RhsT,
2587 diag::err_incomplete_type_used_in_type_trait_expr))
2588 return false;
2589
2590 return cast<CXXRecordDecl>(rhsRecord->getDecl())
2591 ->isDerivedFrom(cast<CXXRecordDecl>(lhsRecord->getDecl()));
2592 }
2593
Francois Pichetf1872372010-12-08 22:35:30 +00002594 case BTT_TypeCompatible:
2595 return Self.Context.typesAreCompatible(LhsT.getUnqualifiedType(),
2596 RhsT.getUnqualifiedType());
Douglas Gregor9f361132011-01-27 20:28:01 +00002597
2598 case BTT_IsConvertibleTo: {
2599 // C++0x [meta.rel]p4:
2600 // Given the following function prototype:
2601 //
2602 // template <class T>
2603 // typename add_rvalue_reference<T>::type create();
2604 //
2605 // the predicate condition for a template specialization
2606 // is_convertible<From, To> shall be satisfied if and only if
2607 // the return expression in the following code would be
2608 // well-formed, including any implicit conversions to the return
2609 // type of the function:
2610 //
2611 // To test() {
2612 // return create<From>();
2613 // }
2614 //
2615 // Access checking is performed as if in a context unrelated to To and
2616 // From. Only the validity of the immediate context of the expression
2617 // of the return-statement (including conversions to the return type)
2618 // is considered.
2619 //
2620 // We model the initialization as a copy-initialization of a temporary
2621 // of the appropriate type, which for this expression is identical to the
2622 // return statement (since NRVO doesn't apply).
2623 if (LhsT->isObjectType() || LhsT->isFunctionType())
2624 LhsT = Self.Context.getRValueReferenceType(LhsT);
2625
2626 InitializedEntity To(InitializedEntity::InitializeTemporary(RhsT));
Douglas Gregorb608b982011-01-28 02:26:04 +00002627 OpaqueValueExpr From(KeyLoc, LhsT.getNonLValueExprType(Self.Context),
Douglas Gregor9f361132011-01-27 20:28:01 +00002628 Expr::getValueKindForType(LhsT));
2629 Expr *FromPtr = &From;
2630 InitializationKind Kind(InitializationKind::CreateCopy(KeyLoc,
2631 SourceLocation()));
2632
Douglas Gregor1eee5dc2011-01-27 22:31:44 +00002633 // Perform the initialization within a SFINAE trap at translation unit
2634 // scope.
2635 Sema::SFINAETrap SFINAE(Self, /*AccessCheckingSFINAE=*/true);
2636 Sema::ContextRAII TUContext(Self, Self.Context.getTranslationUnitDecl());
Douglas Gregor9f361132011-01-27 20:28:01 +00002637 InitializationSequence Init(Self, To, Kind, &FromPtr, 1);
2638 if (Init.getKind() == InitializationSequence::FailedSequence)
2639 return false;
Douglas Gregor1eee5dc2011-01-27 22:31:44 +00002640
Douglas Gregor9f361132011-01-27 20:28:01 +00002641 ExprResult Result = Init.Perform(Self, To, Kind, MultiExprArg(&FromPtr, 1));
2642 return !Result.isInvalid() && !SFINAE.hasErrorOccurred();
2643 }
Francois Pichet6ad6f282010-12-07 00:08:36 +00002644 }
2645 llvm_unreachable("Unknown type trait or not implemented");
2646}
2647
2648ExprResult Sema::BuildBinaryTypeTrait(BinaryTypeTrait BTT,
2649 SourceLocation KWLoc,
2650 TypeSourceInfo *LhsTSInfo,
2651 TypeSourceInfo *RhsTSInfo,
2652 SourceLocation RParen) {
2653 QualType LhsT = LhsTSInfo->getType();
2654 QualType RhsT = RhsTSInfo->getType();
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00002655
John McCalld89d30f2011-01-28 22:02:36 +00002656 if (BTT == BTT_TypeCompatible) {
Francois Pichetf1872372010-12-08 22:35:30 +00002657 if (getLangOptions().CPlusPlus) {
2658 Diag(KWLoc, diag::err_types_compatible_p_in_cplusplus)
2659 << SourceRange(KWLoc, RParen);
2660 return ExprError();
2661 }
Francois Pichet6ad6f282010-12-07 00:08:36 +00002662 }
2663
2664 bool Value = false;
2665 if (!LhsT->isDependentType() && !RhsT->isDependentType())
2666 Value = EvaluateBinaryTypeTrait(*this, BTT, LhsT, RhsT, KWLoc);
2667
Francois Pichetf1872372010-12-08 22:35:30 +00002668 // Select trait result type.
2669 QualType ResultType;
2670 switch (BTT) {
Francois Pichetf1872372010-12-08 22:35:30 +00002671 case BTT_IsBaseOf: ResultType = Context.BoolTy; break;
2672 case BTT_TypeCompatible: ResultType = Context.IntTy; break;
Douglas Gregor9f361132011-01-27 20:28:01 +00002673 case BTT_IsConvertibleTo: ResultType = Context.BoolTy; break;
Francois Pichetf1872372010-12-08 22:35:30 +00002674 }
2675
Francois Pichet6ad6f282010-12-07 00:08:36 +00002676 return Owned(new (Context) BinaryTypeTraitExpr(KWLoc, BTT, LhsTSInfo,
2677 RhsTSInfo, Value, RParen,
Francois Pichetf1872372010-12-08 22:35:30 +00002678 ResultType));
Francois Pichet6ad6f282010-12-07 00:08:36 +00002679}
2680
John McCallf89e55a2010-11-18 06:31:45 +00002681QualType Sema::CheckPointerToMemberOperands(Expr *&lex, Expr *&rex,
2682 ExprValueKind &VK,
2683 SourceLocation Loc,
2684 bool isIndirect) {
Sebastian Redl7c8bd602009-02-07 20:10:22 +00002685 const char *OpSpelling = isIndirect ? "->*" : ".*";
2686 // C++ 5.5p2
2687 // The binary operator .* [p3: ->*] binds its second operand, which shall
2688 // be of type "pointer to member of T" (where T is a completely-defined
2689 // class type) [...]
2690 QualType RType = rex->getType();
Ted Kremenek6217b802009-07-29 21:53:49 +00002691 const MemberPointerType *MemPtr = RType->getAs<MemberPointerType>();
Douglas Gregore7450f52009-03-24 19:52:54 +00002692 if (!MemPtr) {
Sebastian Redl7c8bd602009-02-07 20:10:22 +00002693 Diag(Loc, diag::err_bad_memptr_rhs)
2694 << OpSpelling << RType << rex->getSourceRange();
2695 return QualType();
Mike Stump1eb44332009-09-09 15:08:12 +00002696 }
Douglas Gregore7450f52009-03-24 19:52:54 +00002697
Sebastian Redl7c8bd602009-02-07 20:10:22 +00002698 QualType Class(MemPtr->getClass(), 0);
2699
Douglas Gregor7d520ba2010-10-13 20:41:14 +00002700 // Note: C++ [expr.mptr.oper]p2-3 says that the class type into which the
2701 // member pointer points must be completely-defined. However, there is no
2702 // reason for this semantic distinction, and the rule is not enforced by
2703 // other compilers. Therefore, we do not check this property, as it is
2704 // likely to be considered a defect.
Sebastian Redl59fc2692010-04-10 10:14:54 +00002705
Sebastian Redl7c8bd602009-02-07 20:10:22 +00002706 // C++ 5.5p2
2707 // [...] to its first operand, which shall be of class T or of a class of
2708 // which T is an unambiguous and accessible base class. [p3: a pointer to
2709 // such a class]
2710 QualType LType = lex->getType();
2711 if (isIndirect) {
Ted Kremenek6217b802009-07-29 21:53:49 +00002712 if (const PointerType *Ptr = LType->getAs<PointerType>())
John McCallf89e55a2010-11-18 06:31:45 +00002713 LType = Ptr->getPointeeType();
Sebastian Redl7c8bd602009-02-07 20:10:22 +00002714 else {
2715 Diag(Loc, diag::err_bad_memptr_lhs)
Fariborz Jahanianef78ac62009-10-26 20:45:27 +00002716 << OpSpelling << 1 << LType
Douglas Gregor849b2432010-03-31 17:46:05 +00002717 << FixItHint::CreateReplacement(SourceRange(Loc), ".*");
Sebastian Redl7c8bd602009-02-07 20:10:22 +00002718 return QualType();
2719 }
2720 }
2721
Douglas Gregora4923eb2009-11-16 21:35:15 +00002722 if (!Context.hasSameUnqualifiedType(Class, LType)) {
Sebastian Redl17e1d352010-04-23 17:18:26 +00002723 // If we want to check the hierarchy, we need a complete type.
2724 if (RequireCompleteType(Loc, LType, PDiag(diag::err_bad_memptr_lhs)
2725 << OpSpelling << (int)isIndirect)) {
2726 return QualType();
2727 }
Anders Carlsson5cf86ba2010-04-24 19:06:50 +00002728 CXXBasePaths Paths(/*FindAmbiguities=*/true, /*RecordPaths=*/true,
Douglas Gregora8f32e02009-10-06 17:59:45 +00002729 /*DetectVirtual=*/false);
Mike Stump390b4cc2009-05-16 07:39:55 +00002730 // FIXME: Would it be useful to print full ambiguity paths, or is that
2731 // overkill?
Sebastian Redl7c8bd602009-02-07 20:10:22 +00002732 if (!IsDerivedFrom(LType, Class, Paths) ||
2733 Paths.isAmbiguous(Context.getCanonicalType(Class))) {
2734 Diag(Loc, diag::err_bad_memptr_lhs) << OpSpelling
Eli Friedman3005efe2010-01-16 00:00:48 +00002735 << (int)isIndirect << lex->getType();
Sebastian Redl7c8bd602009-02-07 20:10:22 +00002736 return QualType();
2737 }
Eli Friedman3005efe2010-01-16 00:00:48 +00002738 // Cast LHS to type of use.
2739 QualType UseType = isIndirect ? Context.getPointerType(Class) : Class;
John McCall5baba9d2010-08-25 10:28:54 +00002740 ExprValueKind VK =
2741 isIndirect ? VK_RValue : CastCategory(lex);
Sebastian Redl906082e2010-07-20 04:20:21 +00002742
John McCallf871d0c2010-08-07 06:22:56 +00002743 CXXCastPath BasePath;
Anders Carlsson5cf86ba2010-04-24 19:06:50 +00002744 BuildBasePathArray(Paths, BasePath);
John McCall5baba9d2010-08-25 10:28:54 +00002745 ImpCastExprToType(lex, UseType, CK_DerivedToBase, VK, &BasePath);
Sebastian Redl7c8bd602009-02-07 20:10:22 +00002746 }
2747
Douglas Gregored8abf12010-07-08 06:14:04 +00002748 if (isa<CXXScalarValueInitExpr>(rex->IgnoreParens())) {
Fariborz Jahanian05ebda92009-11-18 21:54:48 +00002749 // Diagnose use of pointer-to-member type which when used as
2750 // the functional cast in a pointer-to-member expression.
2751 Diag(Loc, diag::err_pointer_to_member_type) << isIndirect;
2752 return QualType();
2753 }
John McCallf89e55a2010-11-18 06:31:45 +00002754
Sebastian Redl7c8bd602009-02-07 20:10:22 +00002755 // C++ 5.5p2
2756 // The result is an object or a function of the type specified by the
2757 // second operand.
2758 // The cv qualifiers are the union of those in the pointer and the left side,
2759 // in accordance with 5.5p5 and 5.2.5.
2760 // FIXME: This returns a dereferenced member function pointer as a normal
2761 // function type. However, the only operation valid on such functions is
Mike Stump390b4cc2009-05-16 07:39:55 +00002762 // calling them. There's also a GCC extension to get a function pointer to the
2763 // thing, which is another complication, because this type - unlike the type
2764 // that is the result of this expression - takes the class as the first
Sebastian Redl7c8bd602009-02-07 20:10:22 +00002765 // argument.
2766 // We probably need a "MemberFunctionClosureType" or something like that.
2767 QualType Result = MemPtr->getPointeeType();
John McCall0953e762009-09-24 19:53:00 +00002768 Result = Context.getCVRQualifiedType(Result, LType.getCVRQualifiers());
John McCallf89e55a2010-11-18 06:31:45 +00002769
Douglas Gregor6b4df912011-01-26 16:40:18 +00002770 // C++0x [expr.mptr.oper]p6:
2771 // In a .* expression whose object expression is an rvalue, the program is
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00002772 // ill-formed if the second operand is a pointer to member function with
2773 // ref-qualifier &. In a ->* expression or in a .* expression whose object
2774 // expression is an lvalue, the program is ill-formed if the second operand
Douglas Gregor6b4df912011-01-26 16:40:18 +00002775 // is a pointer to member function with ref-qualifier &&.
2776 if (const FunctionProtoType *Proto = Result->getAs<FunctionProtoType>()) {
2777 switch (Proto->getRefQualifier()) {
2778 case RQ_None:
2779 // Do nothing
2780 break;
2781
2782 case RQ_LValue:
2783 if (!isIndirect && !lex->Classify(Context).isLValue())
2784 Diag(Loc, diag::err_pointer_to_member_oper_value_classify)
2785 << RType << 1 << lex->getSourceRange();
2786 break;
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00002787
Douglas Gregor6b4df912011-01-26 16:40:18 +00002788 case RQ_RValue:
2789 if (isIndirect || !lex->Classify(Context).isRValue())
2790 Diag(Loc, diag::err_pointer_to_member_oper_value_classify)
2791 << RType << 0 << lex->getSourceRange();
2792 break;
2793 }
2794 }
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00002795
John McCallf89e55a2010-11-18 06:31:45 +00002796 // C++ [expr.mptr.oper]p6:
2797 // The result of a .* expression whose second operand is a pointer
2798 // to a data member is of the same value category as its
2799 // first operand. The result of a .* expression whose second
2800 // operand is a pointer to a member function is a prvalue. The
2801 // result of an ->* expression is an lvalue if its second operand
2802 // is a pointer to data member and a prvalue otherwise.
2803 if (Result->isFunctionType())
2804 VK = VK_RValue;
2805 else if (isIndirect)
2806 VK = VK_LValue;
2807 else
2808 VK = lex->getValueKind();
2809
Sebastian Redl7c8bd602009-02-07 20:10:22 +00002810 return Result;
2811}
Sebastian Redl3201f6b2009-04-16 17:51:27 +00002812
Sebastian Redl3201f6b2009-04-16 17:51:27 +00002813/// \brief Try to convert a type to another according to C++0x 5.16p3.
2814///
2815/// This is part of the parameter validation for the ? operator. If either
2816/// value operand is a class type, the two operands are attempted to be
2817/// converted to each other. This function does the conversion in one direction.
Douglas Gregorb70cf442010-03-26 20:14:36 +00002818/// It returns true if the program is ill-formed and has already been diagnosed
2819/// as such.
Sebastian Redl3201f6b2009-04-16 17:51:27 +00002820static bool TryClassUnification(Sema &Self, Expr *From, Expr *To,
2821 SourceLocation QuestionLoc,
Douglas Gregorb70cf442010-03-26 20:14:36 +00002822 bool &HaveConversion,
2823 QualType &ToType) {
2824 HaveConversion = false;
2825 ToType = To->getType();
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00002826
2827 InitializationKind Kind = InitializationKind::CreateCopy(To->getLocStart(),
Douglas Gregorb70cf442010-03-26 20:14:36 +00002828 SourceLocation());
Sebastian Redl3201f6b2009-04-16 17:51:27 +00002829 // C++0x 5.16p3
2830 // The process for determining whether an operand expression E1 of type T1
2831 // can be converted to match an operand expression E2 of type T2 is defined
2832 // as follows:
2833 // -- If E2 is an lvalue:
John McCall7eb0a9e2010-11-24 05:12:34 +00002834 bool ToIsLvalue = To->isLValue();
Douglas Gregor0fd8ff72010-03-26 20:59:55 +00002835 if (ToIsLvalue) {
Sebastian Redl3201f6b2009-04-16 17:51:27 +00002836 // E1 can be converted to match E2 if E1 can be implicitly converted to
2837 // type "lvalue reference to T2", subject to the constraint that in the
2838 // conversion the reference must bind directly to E1.
Douglas Gregorb70cf442010-03-26 20:14:36 +00002839 QualType T = Self.Context.getLValueReferenceType(ToType);
2840 InitializedEntity Entity = InitializedEntity::InitializeTemporary(T);
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00002841
Douglas Gregorb70cf442010-03-26 20:14:36 +00002842 InitializationSequence InitSeq(Self, Entity, Kind, &From, 1);
2843 if (InitSeq.isDirectReferenceBinding()) {
2844 ToType = T;
2845 HaveConversion = true;
2846 return false;
Sebastian Redl3201f6b2009-04-16 17:51:27 +00002847 }
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00002848
Douglas Gregorb70cf442010-03-26 20:14:36 +00002849 if (InitSeq.isAmbiguous())
2850 return InitSeq.Diagnose(Self, Entity, Kind, &From, 1);
Sebastian Redl3201f6b2009-04-16 17:51:27 +00002851 }
John McCallb1bdc622010-02-25 01:37:24 +00002852
Sebastian Redl3201f6b2009-04-16 17:51:27 +00002853 // -- If E2 is an rvalue, or if the conversion above cannot be done:
2854 // -- if E1 and E2 have class type, and the underlying class types are
2855 // the same or one is a base class of the other:
2856 QualType FTy = From->getType();
2857 QualType TTy = To->getType();
Ted Kremenek6217b802009-07-29 21:53:49 +00002858 const RecordType *FRec = FTy->getAs<RecordType>();
2859 const RecordType *TRec = TTy->getAs<RecordType>();
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00002860 bool FDerivedFromT = FRec && TRec && FRec != TRec &&
Douglas Gregorb70cf442010-03-26 20:14:36 +00002861 Self.IsDerivedFrom(FTy, TTy);
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00002862 if (FRec && TRec &&
Douglas Gregorb70cf442010-03-26 20:14:36 +00002863 (FRec == TRec || FDerivedFromT || Self.IsDerivedFrom(TTy, FTy))) {
Sebastian Redl3201f6b2009-04-16 17:51:27 +00002864 // E1 can be converted to match E2 if the class of T2 is the
2865 // same type as, or a base class of, the class of T1, and
2866 // [cv2 > cv1].
John McCallb1bdc622010-02-25 01:37:24 +00002867 if (FRec == TRec || FDerivedFromT) {
2868 if (TTy.isAtLeastAsQualifiedAs(FTy)) {
Douglas Gregorb70cf442010-03-26 20:14:36 +00002869 InitializedEntity Entity = InitializedEntity::InitializeTemporary(TTy);
2870 InitializationSequence InitSeq(Self, Entity, Kind, &From, 1);
2871 if (InitSeq.getKind() != InitializationSequence::FailedSequence) {
2872 HaveConversion = true;
2873 return false;
2874 }
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00002875
Douglas Gregorb70cf442010-03-26 20:14:36 +00002876 if (InitSeq.isAmbiguous())
2877 return InitSeq.Diagnose(Self, Entity, Kind, &From, 1);
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00002878 }
Sebastian Redl3201f6b2009-04-16 17:51:27 +00002879 }
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00002880
Douglas Gregorb70cf442010-03-26 20:14:36 +00002881 return false;
Sebastian Redl3201f6b2009-04-16 17:51:27 +00002882 }
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00002883
Douglas Gregorb70cf442010-03-26 20:14:36 +00002884 // -- Otherwise: E1 can be converted to match E2 if E1 can be
2885 // implicitly converted to the type that expression E2 would have
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00002886 // if E2 were converted to an rvalue (or the type it has, if E2 is
Douglas Gregor0fd8ff72010-03-26 20:59:55 +00002887 // an rvalue).
2888 //
2889 // This actually refers very narrowly to the lvalue-to-rvalue conversion, not
2890 // to the array-to-pointer or function-to-pointer conversions.
2891 if (!TTy->getAs<TagType>())
2892 TTy = TTy.getUnqualifiedType();
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00002893
Douglas Gregorb70cf442010-03-26 20:14:36 +00002894 InitializedEntity Entity = InitializedEntity::InitializeTemporary(TTy);
2895 InitializationSequence InitSeq(Self, Entity, Kind, &From, 1);
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00002896 HaveConversion = InitSeq.getKind() != InitializationSequence::FailedSequence;
Douglas Gregorb70cf442010-03-26 20:14:36 +00002897 ToType = TTy;
2898 if (InitSeq.isAmbiguous())
2899 return InitSeq.Diagnose(Self, Entity, Kind, &From, 1);
2900
Sebastian Redl3201f6b2009-04-16 17:51:27 +00002901 return false;
2902}
2903
2904/// \brief Try to find a common type for two according to C++0x 5.16p5.
2905///
2906/// This is part of the parameter validation for the ? operator. If either
2907/// value operand is a class type, overload resolution is used to find a
2908/// conversion to a common type.
2909static bool FindConditionalOverload(Sema &Self, Expr *&LHS, Expr *&RHS,
Chandler Carruth82214a82011-02-18 23:54:50 +00002910 SourceLocation QuestionLoc) {
Sebastian Redl3201f6b2009-04-16 17:51:27 +00002911 Expr *Args[2] = { LHS, RHS };
Chandler Carruth82214a82011-02-18 23:54:50 +00002912 OverloadCandidateSet CandidateSet(QuestionLoc);
2913 Self.AddBuiltinOperatorCandidates(OO_Conditional, QuestionLoc, Args, 2,
2914 CandidateSet);
Sebastian Redl3201f6b2009-04-16 17:51:27 +00002915
2916 OverloadCandidateSet::iterator Best;
Chandler Carruth82214a82011-02-18 23:54:50 +00002917 switch (CandidateSet.BestViableFunction(Self, QuestionLoc, Best)) {
Douglas Gregor20093b42009-12-09 23:02:17 +00002918 case OR_Success:
Sebastian Redl3201f6b2009-04-16 17:51:27 +00002919 // We found a match. Perform the conversions on the arguments and move on.
2920 if (Self.PerformImplicitConversion(LHS, Best->BuiltinTypes.ParamTypes[0],
Douglas Gregor68647482009-12-16 03:45:30 +00002921 Best->Conversions[0], Sema::AA_Converting) ||
Sebastian Redl3201f6b2009-04-16 17:51:27 +00002922 Self.PerformImplicitConversion(RHS, Best->BuiltinTypes.ParamTypes[1],
Douglas Gregor68647482009-12-16 03:45:30 +00002923 Best->Conversions[1], Sema::AA_Converting))
Sebastian Redl3201f6b2009-04-16 17:51:27 +00002924 break;
2925 return false;
2926
Douglas Gregor20093b42009-12-09 23:02:17 +00002927 case OR_No_Viable_Function:
Chandler Carruth82214a82011-02-18 23:54:50 +00002928
2929 // Emit a better diagnostic if one of the expressions is a null pointer
2930 // constant and the other is a pointer type. In this case, the user most
2931 // likely forgot to take the address of the other expression.
2932 if (Self.DiagnoseConditionalForNull(LHS, RHS, QuestionLoc))
2933 return true;
2934
2935 Self.Diag(QuestionLoc, diag::err_typecheck_cond_incompatible_operands)
Sebastian Redl3201f6b2009-04-16 17:51:27 +00002936 << LHS->getType() << RHS->getType()
2937 << LHS->getSourceRange() << RHS->getSourceRange();
2938 return true;
2939
Douglas Gregor20093b42009-12-09 23:02:17 +00002940 case OR_Ambiguous:
Chandler Carruth82214a82011-02-18 23:54:50 +00002941 Self.Diag(QuestionLoc, diag::err_conditional_ambiguous_ovl)
Sebastian Redl3201f6b2009-04-16 17:51:27 +00002942 << LHS->getType() << RHS->getType()
2943 << LHS->getSourceRange() << RHS->getSourceRange();
Mike Stump390b4cc2009-05-16 07:39:55 +00002944 // FIXME: Print the possible common types by printing the return types of
2945 // the viable candidates.
Sebastian Redl3201f6b2009-04-16 17:51:27 +00002946 break;
2947
Douglas Gregor20093b42009-12-09 23:02:17 +00002948 case OR_Deleted:
Sebastian Redl3201f6b2009-04-16 17:51:27 +00002949 assert(false && "Conditional operator has only built-in overloads");
2950 break;
2951 }
2952 return true;
2953}
2954
Sebastian Redl76458502009-04-17 16:30:52 +00002955/// \brief Perform an "extended" implicit conversion as returned by
2956/// TryClassUnification.
Douglas Gregorb70cf442010-03-26 20:14:36 +00002957static bool ConvertForConditional(Sema &Self, Expr *&E, QualType T) {
2958 InitializedEntity Entity = InitializedEntity::InitializeTemporary(T);
2959 InitializationKind Kind = InitializationKind::CreateCopy(E->getLocStart(),
2960 SourceLocation());
2961 InitializationSequence InitSeq(Self, Entity, Kind, &E, 1);
John McCallf312b1e2010-08-26 23:41:50 +00002962 ExprResult Result = InitSeq.Perform(Self, Entity, Kind, MultiExprArg(&E, 1));
Douglas Gregorb70cf442010-03-26 20:14:36 +00002963 if (Result.isInvalid())
Sebastian Redl76458502009-04-17 16:30:52 +00002964 return true;
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00002965
Douglas Gregorb70cf442010-03-26 20:14:36 +00002966 E = Result.takeAs<Expr>();
Sebastian Redl76458502009-04-17 16:30:52 +00002967 return false;
2968}
2969
Sebastian Redl3201f6b2009-04-16 17:51:27 +00002970/// \brief Check the operands of ?: under C++ semantics.
2971///
2972/// See C++ [expr.cond]. Note that LHS is never null, even for the GNU x ?: y
2973/// extension. In this case, LHS == Cond. (But they're not aliases.)
2974QualType Sema::CXXCheckConditionalOperands(Expr *&Cond, Expr *&LHS, Expr *&RHS,
John McCall56ca35d2011-02-17 10:25:35 +00002975 ExprValueKind &VK, ExprObjectKind &OK,
Sebastian Redl3201f6b2009-04-16 17:51:27 +00002976 SourceLocation QuestionLoc) {
Mike Stump390b4cc2009-05-16 07:39:55 +00002977 // FIXME: Handle C99's complex types, vector types, block pointers and Obj-C++
2978 // interface pointers.
Sebastian Redl3201f6b2009-04-16 17:51:27 +00002979
2980 // C++0x 5.16p1
2981 // The first expression is contextually converted to bool.
2982 if (!Cond->isTypeDependent()) {
2983 if (CheckCXXBooleanCondition(Cond))
2984 return QualType();
2985 }
2986
John McCallf89e55a2010-11-18 06:31:45 +00002987 // Assume r-value.
2988 VK = VK_RValue;
John McCall09431682010-11-18 19:01:18 +00002989 OK = OK_Ordinary;
John McCallf89e55a2010-11-18 06:31:45 +00002990
Sebastian Redl3201f6b2009-04-16 17:51:27 +00002991 // Either of the arguments dependent?
2992 if (LHS->isTypeDependent() || RHS->isTypeDependent())
2993 return Context.DependentTy;
2994
2995 // C++0x 5.16p2
2996 // If either the second or the third operand has type (cv) void, ...
2997 QualType LTy = LHS->getType();
2998 QualType RTy = RHS->getType();
2999 bool LVoid = LTy->isVoidType();
3000 bool RVoid = RTy->isVoidType();
3001 if (LVoid || RVoid) {
3002 // ... then the [l2r] conversions are performed on the second and third
3003 // operands ...
Douglas Gregora873dfc2010-02-03 00:27:59 +00003004 DefaultFunctionArrayLvalueConversion(LHS);
3005 DefaultFunctionArrayLvalueConversion(RHS);
Sebastian Redl3201f6b2009-04-16 17:51:27 +00003006 LTy = LHS->getType();
3007 RTy = RHS->getType();
3008
3009 // ... and one of the following shall hold:
3010 // -- The second or the third operand (but not both) is a throw-
3011 // expression; the result is of the type of the other and is an rvalue.
3012 bool LThrow = isa<CXXThrowExpr>(LHS);
3013 bool RThrow = isa<CXXThrowExpr>(RHS);
3014 if (LThrow && !RThrow)
3015 return RTy;
3016 if (RThrow && !LThrow)
3017 return LTy;
3018
3019 // -- Both the second and third operands have type void; the result is of
3020 // type void and is an rvalue.
3021 if (LVoid && RVoid)
3022 return Context.VoidTy;
3023
3024 // Neither holds, error.
3025 Diag(QuestionLoc, diag::err_conditional_void_nonvoid)
3026 << (LVoid ? RTy : LTy) << (LVoid ? 0 : 1)
3027 << LHS->getSourceRange() << RHS->getSourceRange();
3028 return QualType();
3029 }
3030
3031 // Neither is void.
3032
3033 // C++0x 5.16p3
3034 // Otherwise, if the second and third operand have different types, and
3035 // either has (cv) class type, and attempt is made to convert each of those
3036 // operands to the other.
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003037 if (!Context.hasSameType(LTy, RTy) &&
Sebastian Redl3201f6b2009-04-16 17:51:27 +00003038 (LTy->isRecordType() || RTy->isRecordType())) {
3039 ImplicitConversionSequence ICSLeftToRight, ICSRightToLeft;
3040 // These return true if a single direction is already ambiguous.
Douglas Gregorb70cf442010-03-26 20:14:36 +00003041 QualType L2RType, R2LType;
3042 bool HaveL2R, HaveR2L;
3043 if (TryClassUnification(*this, LHS, RHS, QuestionLoc, HaveL2R, L2RType))
Sebastian Redl3201f6b2009-04-16 17:51:27 +00003044 return QualType();
Douglas Gregorb70cf442010-03-26 20:14:36 +00003045 if (TryClassUnification(*this, RHS, LHS, QuestionLoc, HaveR2L, R2LType))
Sebastian Redl3201f6b2009-04-16 17:51:27 +00003046 return QualType();
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003047
Sebastian Redl3201f6b2009-04-16 17:51:27 +00003048 // If both can be converted, [...] the program is ill-formed.
3049 if (HaveL2R && HaveR2L) {
3050 Diag(QuestionLoc, diag::err_conditional_ambiguous)
3051 << LTy << RTy << LHS->getSourceRange() << RHS->getSourceRange();
3052 return QualType();
3053 }
3054
3055 // If exactly one conversion is possible, that conversion is applied to
3056 // the chosen operand and the converted operands are used in place of the
3057 // original operands for the remainder of this section.
3058 if (HaveL2R) {
Douglas Gregorb70cf442010-03-26 20:14:36 +00003059 if (ConvertForConditional(*this, LHS, L2RType))
Sebastian Redl3201f6b2009-04-16 17:51:27 +00003060 return QualType();
3061 LTy = LHS->getType();
3062 } else if (HaveR2L) {
Douglas Gregorb70cf442010-03-26 20:14:36 +00003063 if (ConvertForConditional(*this, RHS, R2LType))
Sebastian Redl3201f6b2009-04-16 17:51:27 +00003064 return QualType();
3065 RTy = RHS->getType();
3066 }
3067 }
3068
3069 // C++0x 5.16p4
John McCallf89e55a2010-11-18 06:31:45 +00003070 // If the second and third operands are glvalues of the same value
3071 // category and have the same type, the result is of that type and
3072 // value category and it is a bit-field if the second or the third
3073 // operand is a bit-field, or if both are bit-fields.
John McCall09431682010-11-18 19:01:18 +00003074 // We only extend this to bitfields, not to the crazy other kinds of
3075 // l-values.
Douglas Gregor1927b1f2010-04-01 22:47:07 +00003076 bool Same = Context.hasSameType(LTy, RTy);
John McCallf89e55a2010-11-18 06:31:45 +00003077 if (Same &&
John McCall56ca35d2011-02-17 10:25:35 +00003078 LHS->isGLValue() &&
John McCallf89e55a2010-11-18 06:31:45 +00003079 LHS->getValueKind() == RHS->getValueKind() &&
John McCall56ca35d2011-02-17 10:25:35 +00003080 LHS->isOrdinaryOrBitFieldObject() &&
3081 RHS->isOrdinaryOrBitFieldObject()) {
John McCallf89e55a2010-11-18 06:31:45 +00003082 VK = LHS->getValueKind();
John McCall09431682010-11-18 19:01:18 +00003083 if (LHS->getObjectKind() == OK_BitField ||
3084 RHS->getObjectKind() == OK_BitField)
3085 OK = OK_BitField;
John McCallf89e55a2010-11-18 06:31:45 +00003086 return LTy;
Fariborz Jahanian3911a1a2010-09-25 01:08:05 +00003087 }
Sebastian Redl3201f6b2009-04-16 17:51:27 +00003088
3089 // C++0x 5.16p5
3090 // Otherwise, the result is an rvalue. If the second and third operands
3091 // do not have the same type, and either has (cv) class type, ...
3092 if (!Same && (LTy->isRecordType() || RTy->isRecordType())) {
3093 // ... overload resolution is used to determine the conversions (if any)
3094 // to be applied to the operands. If the overload resolution fails, the
3095 // program is ill-formed.
3096 if (FindConditionalOverload(*this, LHS, RHS, QuestionLoc))
3097 return QualType();
3098 }
3099
3100 // C++0x 5.16p6
3101 // LValue-to-rvalue, array-to-pointer, and function-to-pointer standard
3102 // conversions are performed on the second and third operands.
Douglas Gregora873dfc2010-02-03 00:27:59 +00003103 DefaultFunctionArrayLvalueConversion(LHS);
3104 DefaultFunctionArrayLvalueConversion(RHS);
Sebastian Redl3201f6b2009-04-16 17:51:27 +00003105 LTy = LHS->getType();
3106 RTy = RHS->getType();
3107
3108 // After those conversions, one of the following shall hold:
3109 // -- The second and third operands have the same type; the result
Douglas Gregorb65a4582010-05-19 23:40:50 +00003110 // is of that type. If the operands have class type, the result
3111 // is a prvalue temporary of the result type, which is
3112 // copy-initialized from either the second operand or the third
3113 // operand depending on the value of the first operand.
3114 if (Context.getCanonicalType(LTy) == Context.getCanonicalType(RTy)) {
3115 if (LTy->isRecordType()) {
3116 // The operands have class type. Make a temporary copy.
3117 InitializedEntity Entity = InitializedEntity::InitializeTemporary(LTy);
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003118 ExprResult LHSCopy = PerformCopyInitialization(Entity,
3119 SourceLocation(),
John McCallf6a16482010-12-04 03:47:34 +00003120 Owned(LHS));
Douglas Gregorb65a4582010-05-19 23:40:50 +00003121 if (LHSCopy.isInvalid())
3122 return QualType();
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003123
3124 ExprResult RHSCopy = PerformCopyInitialization(Entity,
3125 SourceLocation(),
John McCallf6a16482010-12-04 03:47:34 +00003126 Owned(RHS));
Douglas Gregorb65a4582010-05-19 23:40:50 +00003127 if (RHSCopy.isInvalid())
3128 return QualType();
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003129
Douglas Gregorb65a4582010-05-19 23:40:50 +00003130 LHS = LHSCopy.takeAs<Expr>();
3131 RHS = RHSCopy.takeAs<Expr>();
3132 }
3133
Sebastian Redl3201f6b2009-04-16 17:51:27 +00003134 return LTy;
Douglas Gregorb65a4582010-05-19 23:40:50 +00003135 }
Sebastian Redl3201f6b2009-04-16 17:51:27 +00003136
Douglas Gregorfb4a5432010-05-18 22:42:18 +00003137 // Extension: conditional operator involving vector types.
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003138 if (LTy->isVectorType() || RTy->isVectorType())
Douglas Gregorfb4a5432010-05-18 22:42:18 +00003139 return CheckVectorOperands(QuestionLoc, LHS, RHS);
3140
Sebastian Redl3201f6b2009-04-16 17:51:27 +00003141 // -- The second and third operands have arithmetic or enumeration type;
3142 // the usual arithmetic conversions are performed to bring them to a
3143 // common type, and the result is of that type.
3144 if (LTy->isArithmeticType() && RTy->isArithmeticType()) {
3145 UsualArithmeticConversions(LHS, RHS);
3146 return LHS->getType();
3147 }
3148
3149 // -- The second and third operands have pointer type, or one has pointer
3150 // type and the other is a null pointer constant; pointer conversions
3151 // and qualification conversions are performed to bring them to their
3152 // composite pointer type. The result is of the composite pointer type.
Eli Friedmande8ac492010-01-02 22:56:07 +00003153 // -- The second and third operands have pointer to member type, or one has
3154 // pointer to member type and the other is a null pointer constant;
3155 // pointer to member conversions and qualification conversions are
3156 // performed to bring them to a common type, whose cv-qualification
3157 // shall match the cv-qualification of either the second or the third
3158 // operand. The result is of the common type.
Douglas Gregorb2cb1cb2010-02-25 22:29:57 +00003159 bool NonStandardCompositeType = false;
Douglas Gregor8f00dcf2010-04-16 23:20:25 +00003160 QualType Composite = FindCompositePointerType(QuestionLoc, LHS, RHS,
Douglas Gregorb2cb1cb2010-02-25 22:29:57 +00003161 isSFINAEContext()? 0 : &NonStandardCompositeType);
3162 if (!Composite.isNull()) {
3163 if (NonStandardCompositeType)
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003164 Diag(QuestionLoc,
Douglas Gregorb2cb1cb2010-02-25 22:29:57 +00003165 diag::ext_typecheck_cond_incompatible_operands_nonstandard)
3166 << LTy << RTy << Composite
3167 << LHS->getSourceRange() << RHS->getSourceRange();
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003168
Sebastian Redld1bd7fc2009-04-19 19:26:31 +00003169 return Composite;
Douglas Gregorb2cb1cb2010-02-25 22:29:57 +00003170 }
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003171
Douglas Gregor1927b1f2010-04-01 22:47:07 +00003172 // Similarly, attempt to find composite type of two objective-c pointers.
Fariborz Jahanian55016362009-12-10 20:46:08 +00003173 Composite = FindCompositeObjCPointerType(LHS, RHS, QuestionLoc);
3174 if (!Composite.isNull())
3175 return Composite;
Sebastian Redl3201f6b2009-04-16 17:51:27 +00003176
Chandler Carruth7ef93242011-02-19 00:13:59 +00003177 // Check if we are using a null with a non-pointer type.
3178 if (DiagnoseConditionalForNull(LHS, RHS, QuestionLoc))
3179 return QualType();
3180
Sebastian Redl3201f6b2009-04-16 17:51:27 +00003181 Diag(QuestionLoc, diag::err_typecheck_cond_incompatible_operands)
3182 << LHS->getType() << RHS->getType()
3183 << LHS->getSourceRange() << RHS->getSourceRange();
3184 return QualType();
3185}
Sebastian Redld1bd7fc2009-04-19 19:26:31 +00003186
3187/// \brief Find a merged pointer type and convert the two expressions to it.
3188///
Douglas Gregor20b3e992009-08-24 17:42:35 +00003189/// This finds the composite pointer type (or member pointer type) for @p E1
3190/// and @p E2 according to C++0x 5.9p2. It converts both expressions to this
3191/// type and returns it.
Sebastian Redld1bd7fc2009-04-19 19:26:31 +00003192/// It does not emit diagnostics.
Douglas Gregorb2cb1cb2010-02-25 22:29:57 +00003193///
Douglas Gregor8f00dcf2010-04-16 23:20:25 +00003194/// \param Loc The location of the operator requiring these two expressions to
3195/// be converted to the composite pointer type.
3196///
Douglas Gregorb2cb1cb2010-02-25 22:29:57 +00003197/// If \p NonStandardCompositeType is non-NULL, then we are permitted to find
3198/// a non-standard (but still sane) composite type to which both expressions
3199/// can be converted. When such a type is chosen, \c *NonStandardCompositeType
3200/// will be set true.
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003201QualType Sema::FindCompositePointerType(SourceLocation Loc,
Douglas Gregor8f00dcf2010-04-16 23:20:25 +00003202 Expr *&E1, Expr *&E2,
Douglas Gregorb2cb1cb2010-02-25 22:29:57 +00003203 bool *NonStandardCompositeType) {
3204 if (NonStandardCompositeType)
3205 *NonStandardCompositeType = false;
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003206
Sebastian Redld1bd7fc2009-04-19 19:26:31 +00003207 assert(getLangOptions().CPlusPlus && "This function assumes C++");
3208 QualType T1 = E1->getType(), T2 = E2->getType();
Mike Stump1eb44332009-09-09 15:08:12 +00003209
Fariborz Jahanian0cedfbd2009-12-08 20:04:24 +00003210 if (!T1->isAnyPointerType() && !T1->isMemberPointerType() &&
3211 !T2->isAnyPointerType() && !T2->isMemberPointerType())
Douglas Gregor20b3e992009-08-24 17:42:35 +00003212 return QualType();
Sebastian Redld1bd7fc2009-04-19 19:26:31 +00003213
3214 // C++0x 5.9p2
3215 // Pointer conversions and qualification conversions are performed on
3216 // pointer operands to bring them to their composite pointer type. If
3217 // one operand is a null pointer constant, the composite pointer type is
3218 // the type of the other operand.
Douglas Gregorce940492009-09-25 04:25:58 +00003219 if (E1->isNullPointerConstant(Context, Expr::NPC_ValueDependentIsNull)) {
Eli Friedman73c39ab2009-10-20 08:27:19 +00003220 if (T2->isMemberPointerType())
John McCall2de56d12010-08-25 11:45:40 +00003221 ImpCastExprToType(E1, T2, CK_NullToMemberPointer);
Eli Friedman73c39ab2009-10-20 08:27:19 +00003222 else
John McCall404cd162010-11-13 01:35:44 +00003223 ImpCastExprToType(E1, T2, CK_NullToPointer);
Sebastian Redld1bd7fc2009-04-19 19:26:31 +00003224 return T2;
3225 }
Douglas Gregorce940492009-09-25 04:25:58 +00003226 if (E2->isNullPointerConstant(Context, Expr::NPC_ValueDependentIsNull)) {
Eli Friedman73c39ab2009-10-20 08:27:19 +00003227 if (T1->isMemberPointerType())
John McCall2de56d12010-08-25 11:45:40 +00003228 ImpCastExprToType(E2, T1, CK_NullToMemberPointer);
Eli Friedman73c39ab2009-10-20 08:27:19 +00003229 else
John McCall404cd162010-11-13 01:35:44 +00003230 ImpCastExprToType(E2, T1, CK_NullToPointer);
Sebastian Redld1bd7fc2009-04-19 19:26:31 +00003231 return T1;
3232 }
Mike Stump1eb44332009-09-09 15:08:12 +00003233
Douglas Gregor20b3e992009-08-24 17:42:35 +00003234 // Now both have to be pointers or member pointers.
Sebastian Redla439e6f2009-11-16 21:03:45 +00003235 if ((!T1->isPointerType() && !T1->isMemberPointerType()) ||
3236 (!T2->isPointerType() && !T2->isMemberPointerType()))
Sebastian Redld1bd7fc2009-04-19 19:26:31 +00003237 return QualType();
3238
3239 // Otherwise, of one of the operands has type "pointer to cv1 void," then
3240 // the other has type "pointer to cv2 T" and the composite pointer type is
3241 // "pointer to cv12 void," where cv12 is the union of cv1 and cv2.
3242 // Otherwise, the composite pointer type is a pointer type similar to the
3243 // type of one of the operands, with a cv-qualification signature that is
3244 // the union of the cv-qualification signatures of the operand types.
3245 // In practice, the first part here is redundant; it's subsumed by the second.
3246 // What we do here is, we build the two possible composite types, and try the
3247 // conversions in both directions. If only one works, or if the two composite
3248 // types are the same, we have succeeded.
John McCall0953e762009-09-24 19:53:00 +00003249 // FIXME: extended qualifiers?
Sebastian Redla439e6f2009-11-16 21:03:45 +00003250 typedef llvm::SmallVector<unsigned, 4> QualifierVector;
3251 QualifierVector QualifierUnion;
3252 typedef llvm::SmallVector<std::pair<const Type *, const Type *>, 4>
3253 ContainingClassVector;
3254 ContainingClassVector MemberOfClass;
3255 QualType Composite1 = Context.getCanonicalType(T1),
3256 Composite2 = Context.getCanonicalType(T2);
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003257 unsigned NeedConstBefore = 0;
Douglas Gregor20b3e992009-08-24 17:42:35 +00003258 do {
3259 const PointerType *Ptr1, *Ptr2;
3260 if ((Ptr1 = Composite1->getAs<PointerType>()) &&
3261 (Ptr2 = Composite2->getAs<PointerType>())) {
3262 Composite1 = Ptr1->getPointeeType();
3263 Composite2 = Ptr2->getPointeeType();
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003264
Douglas Gregorb2cb1cb2010-02-25 22:29:57 +00003265 // If we're allowed to create a non-standard composite type, keep track
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003266 // of where we need to fill in additional 'const' qualifiers.
Douglas Gregorb2cb1cb2010-02-25 22:29:57 +00003267 if (NonStandardCompositeType &&
3268 Composite1.getCVRQualifiers() != Composite2.getCVRQualifiers())
3269 NeedConstBefore = QualifierUnion.size();
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003270
Douglas Gregor20b3e992009-08-24 17:42:35 +00003271 QualifierUnion.push_back(
3272 Composite1.getCVRQualifiers() | Composite2.getCVRQualifiers());
3273 MemberOfClass.push_back(std::make_pair((const Type *)0, (const Type *)0));
3274 continue;
3275 }
Mike Stump1eb44332009-09-09 15:08:12 +00003276
Douglas Gregor20b3e992009-08-24 17:42:35 +00003277 const MemberPointerType *MemPtr1, *MemPtr2;
3278 if ((MemPtr1 = Composite1->getAs<MemberPointerType>()) &&
3279 (MemPtr2 = Composite2->getAs<MemberPointerType>())) {
3280 Composite1 = MemPtr1->getPointeeType();
3281 Composite2 = MemPtr2->getPointeeType();
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003282
Douglas Gregorb2cb1cb2010-02-25 22:29:57 +00003283 // If we're allowed to create a non-standard composite type, keep track
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003284 // of where we need to fill in additional 'const' qualifiers.
Douglas Gregorb2cb1cb2010-02-25 22:29:57 +00003285 if (NonStandardCompositeType &&
3286 Composite1.getCVRQualifiers() != Composite2.getCVRQualifiers())
3287 NeedConstBefore = QualifierUnion.size();
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003288
Douglas Gregor20b3e992009-08-24 17:42:35 +00003289 QualifierUnion.push_back(
3290 Composite1.getCVRQualifiers() | Composite2.getCVRQualifiers());
3291 MemberOfClass.push_back(std::make_pair(MemPtr1->getClass(),
3292 MemPtr2->getClass()));
3293 continue;
3294 }
Mike Stump1eb44332009-09-09 15:08:12 +00003295
Douglas Gregor20b3e992009-08-24 17:42:35 +00003296 // FIXME: block pointer types?
Mike Stump1eb44332009-09-09 15:08:12 +00003297
Douglas Gregor20b3e992009-08-24 17:42:35 +00003298 // Cannot unwrap any more types.
3299 break;
3300 } while (true);
Mike Stump1eb44332009-09-09 15:08:12 +00003301
Douglas Gregorb2cb1cb2010-02-25 22:29:57 +00003302 if (NeedConstBefore && NonStandardCompositeType) {
3303 // Extension: Add 'const' to qualifiers that come before the first qualifier
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003304 // mismatch, so that our (non-standard!) composite type meets the
Douglas Gregorb2cb1cb2010-02-25 22:29:57 +00003305 // requirements of C++ [conv.qual]p4 bullet 3.
3306 for (unsigned I = 0; I != NeedConstBefore; ++I) {
3307 if ((QualifierUnion[I] & Qualifiers::Const) == 0) {
3308 QualifierUnion[I] = QualifierUnion[I] | Qualifiers::Const;
3309 *NonStandardCompositeType = true;
3310 }
3311 }
3312 }
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003313
Douglas Gregor20b3e992009-08-24 17:42:35 +00003314 // Rewrap the composites as pointers or member pointers with the union CVRs.
Sebastian Redla439e6f2009-11-16 21:03:45 +00003315 ContainingClassVector::reverse_iterator MOC
3316 = MemberOfClass.rbegin();
3317 for (QualifierVector::reverse_iterator
3318 I = QualifierUnion.rbegin(),
3319 E = QualifierUnion.rend();
Douglas Gregor20b3e992009-08-24 17:42:35 +00003320 I != E; (void)++I, ++MOC) {
John McCall0953e762009-09-24 19:53:00 +00003321 Qualifiers Quals = Qualifiers::fromCVRMask(*I);
Douglas Gregor20b3e992009-08-24 17:42:35 +00003322 if (MOC->first && MOC->second) {
3323 // Rebuild member pointer type
John McCall0953e762009-09-24 19:53:00 +00003324 Composite1 = Context.getMemberPointerType(
3325 Context.getQualifiedType(Composite1, Quals),
3326 MOC->first);
3327 Composite2 = Context.getMemberPointerType(
3328 Context.getQualifiedType(Composite2, Quals),
3329 MOC->second);
Douglas Gregor20b3e992009-08-24 17:42:35 +00003330 } else {
3331 // Rebuild pointer type
John McCall0953e762009-09-24 19:53:00 +00003332 Composite1
3333 = Context.getPointerType(Context.getQualifiedType(Composite1, Quals));
3334 Composite2
3335 = Context.getPointerType(Context.getQualifiedType(Composite2, Quals));
Douglas Gregor20b3e992009-08-24 17:42:35 +00003336 }
Sebastian Redld1bd7fc2009-04-19 19:26:31 +00003337 }
3338
Douglas Gregor8f00dcf2010-04-16 23:20:25 +00003339 // Try to convert to the first composite pointer type.
3340 InitializedEntity Entity1
3341 = InitializedEntity::InitializeTemporary(Composite1);
3342 InitializationKind Kind
3343 = InitializationKind::CreateCopy(Loc, SourceLocation());
3344 InitializationSequence E1ToC1(*this, Entity1, Kind, &E1, 1);
3345 InitializationSequence E2ToC1(*this, Entity1, Kind, &E2, 1);
Mike Stump1eb44332009-09-09 15:08:12 +00003346
Douglas Gregor8f00dcf2010-04-16 23:20:25 +00003347 if (E1ToC1 && E2ToC1) {
3348 // Conversion to Composite1 is viable.
3349 if (!Context.hasSameType(Composite1, Composite2)) {
3350 // Composite2 is a different type from Composite1. Check whether
3351 // Composite2 is also viable.
3352 InitializedEntity Entity2
3353 = InitializedEntity::InitializeTemporary(Composite2);
3354 InitializationSequence E1ToC2(*this, Entity2, Kind, &E1, 1);
3355 InitializationSequence E2ToC2(*this, Entity2, Kind, &E2, 1);
3356 if (E1ToC2 && E2ToC2) {
3357 // Both Composite1 and Composite2 are viable and are different;
3358 // this is an ambiguity.
3359 return QualType();
3360 }
3361 }
3362
3363 // Convert E1 to Composite1
John McCall60d7b3a2010-08-24 06:29:42 +00003364 ExprResult E1Result
John McCallca0408f2010-08-23 06:44:23 +00003365 = E1ToC1.Perform(*this, Entity1, Kind, MultiExprArg(*this,&E1,1));
Douglas Gregor8f00dcf2010-04-16 23:20:25 +00003366 if (E1Result.isInvalid())
3367 return QualType();
3368 E1 = E1Result.takeAs<Expr>();
3369
3370 // Convert E2 to Composite1
John McCall60d7b3a2010-08-24 06:29:42 +00003371 ExprResult E2Result
John McCallca0408f2010-08-23 06:44:23 +00003372 = E2ToC1.Perform(*this, Entity1, Kind, MultiExprArg(*this,&E2,1));
Douglas Gregor8f00dcf2010-04-16 23:20:25 +00003373 if (E2Result.isInvalid())
3374 return QualType();
3375 E2 = E2Result.takeAs<Expr>();
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003376
Douglas Gregor8f00dcf2010-04-16 23:20:25 +00003377 return Composite1;
Sebastian Redld1bd7fc2009-04-19 19:26:31 +00003378 }
3379
Douglas Gregor8f00dcf2010-04-16 23:20:25 +00003380 // Check whether Composite2 is viable.
3381 InitializedEntity Entity2
3382 = InitializedEntity::InitializeTemporary(Composite2);
3383 InitializationSequence E1ToC2(*this, Entity2, Kind, &E1, 1);
3384 InitializationSequence E2ToC2(*this, Entity2, Kind, &E2, 1);
3385 if (!E1ToC2 || !E2ToC2)
3386 return QualType();
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003387
Douglas Gregor8f00dcf2010-04-16 23:20:25 +00003388 // Convert E1 to Composite2
John McCall60d7b3a2010-08-24 06:29:42 +00003389 ExprResult E1Result
John McCallca0408f2010-08-23 06:44:23 +00003390 = E1ToC2.Perform(*this, Entity2, Kind, MultiExprArg(*this, &E1, 1));
Douglas Gregor8f00dcf2010-04-16 23:20:25 +00003391 if (E1Result.isInvalid())
3392 return QualType();
3393 E1 = E1Result.takeAs<Expr>();
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003394
Douglas Gregor8f00dcf2010-04-16 23:20:25 +00003395 // Convert E2 to Composite2
John McCall60d7b3a2010-08-24 06:29:42 +00003396 ExprResult E2Result
John McCallca0408f2010-08-23 06:44:23 +00003397 = E2ToC2.Perform(*this, Entity2, Kind, MultiExprArg(*this, &E2, 1));
Douglas Gregor8f00dcf2010-04-16 23:20:25 +00003398 if (E2Result.isInvalid())
3399 return QualType();
3400 E2 = E2Result.takeAs<Expr>();
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003401
Douglas Gregor8f00dcf2010-04-16 23:20:25 +00003402 return Composite2;
Sebastian Redld1bd7fc2009-04-19 19:26:31 +00003403}
Anders Carlsson165a0a02009-05-17 18:41:29 +00003404
John McCall60d7b3a2010-08-24 06:29:42 +00003405ExprResult Sema::MaybeBindToTemporary(Expr *E) {
Douglas Gregor19cc1c72010-11-01 21:10:29 +00003406 if (!E)
3407 return ExprError();
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003408
Anders Carlsson089c2602009-08-15 23:41:35 +00003409 if (!Context.getLangOptions().CPlusPlus)
3410 return Owned(E);
Mike Stump1eb44332009-09-09 15:08:12 +00003411
Douglas Gregor51326552009-12-24 18:51:59 +00003412 assert(!isa<CXXBindTemporaryExpr>(E) && "Double-bound temporary?");
3413
Ted Kremenek6217b802009-07-29 21:53:49 +00003414 const RecordType *RT = E->getType()->getAs<RecordType>();
Anders Carlssondef11992009-05-30 20:36:53 +00003415 if (!RT)
3416 return Owned(E);
Mike Stump1eb44332009-09-09 15:08:12 +00003417
Douglas Gregor5e6fcd42011-02-08 02:14:35 +00003418 // If the result is a glvalue, we shouldn't bind it.
3419 if (E->Classify(Context).isGLValue())
3420 return Owned(E);
John McCall86ff3082010-02-04 22:26:26 +00003421
3422 // That should be enough to guarantee that this type is complete.
3423 // If it has a trivial destructor, we can avoid the extra copy.
Jeffrey Yasskinb7ee2e52011-01-27 19:17:54 +00003424 CXXRecordDecl *RD = cast<CXXRecordDecl>(RT->getDecl());
John McCall507384f2010-08-12 02:40:37 +00003425 if (RD->isInvalidDecl() || RD->hasTrivialDestructor())
John McCall86ff3082010-02-04 22:26:26 +00003426 return Owned(E);
3427
Douglas Gregordb89f282010-07-01 22:47:18 +00003428 CXXTemporary *Temp = CXXTemporary::Create(Context, LookupDestructor(RD));
Anders Carlsson860306e2009-05-30 21:21:49 +00003429 ExprTemporaries.push_back(Temp);
Douglas Gregordb89f282010-07-01 22:47:18 +00003430 if (CXXDestructorDecl *Destructor = LookupDestructor(RD)) {
Fariborz Jahaniana83f7ed2009-08-03 19:13:25 +00003431 MarkDeclarationReferenced(E->getExprLoc(), Destructor);
John McCallc91cc662010-04-07 00:41:46 +00003432 CheckDestructorAccess(E->getExprLoc(), Destructor,
3433 PDiag(diag::err_access_dtor_temp)
3434 << E->getType());
3435 }
Anders Carlssondef11992009-05-30 20:36:53 +00003436 // FIXME: Add the temporary to the temporaries vector.
3437 return Owned(CXXBindTemporaryExpr::Create(Context, Temp, E));
3438}
3439
John McCall4765fa02010-12-06 08:20:24 +00003440Expr *Sema::MaybeCreateExprWithCleanups(Expr *SubExpr) {
Anders Carlsson99ba36d2009-06-05 15:38:08 +00003441 assert(SubExpr && "sub expression can't be null!");
Mike Stump1eb44332009-09-09 15:08:12 +00003442
Douglas Gregor1f5f3a42009-12-03 17:10:37 +00003443 unsigned FirstTemporary = ExprEvalContexts.back().NumTemporaries;
3444 assert(ExprTemporaries.size() >= FirstTemporary);
3445 if (ExprTemporaries.size() == FirstTemporary)
Anders Carlsson99ba36d2009-06-05 15:38:08 +00003446 return SubExpr;
Mike Stump1eb44332009-09-09 15:08:12 +00003447
John McCall4765fa02010-12-06 08:20:24 +00003448 Expr *E = ExprWithCleanups::Create(Context, SubExpr,
3449 &ExprTemporaries[FirstTemporary],
3450 ExprTemporaries.size() - FirstTemporary);
Douglas Gregor1f5f3a42009-12-03 17:10:37 +00003451 ExprTemporaries.erase(ExprTemporaries.begin() + FirstTemporary,
3452 ExprTemporaries.end());
Mike Stump1eb44332009-09-09 15:08:12 +00003453
Anders Carlsson99ba36d2009-06-05 15:38:08 +00003454 return E;
3455}
3456
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003457ExprResult
John McCall4765fa02010-12-06 08:20:24 +00003458Sema::MaybeCreateExprWithCleanups(ExprResult SubExpr) {
Douglas Gregor90f93822009-12-22 22:17:25 +00003459 if (SubExpr.isInvalid())
3460 return ExprError();
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003461
John McCall4765fa02010-12-06 08:20:24 +00003462 return Owned(MaybeCreateExprWithCleanups(SubExpr.take()));
Douglas Gregor90f93822009-12-22 22:17:25 +00003463}
3464
John McCall4765fa02010-12-06 08:20:24 +00003465Stmt *Sema::MaybeCreateStmtWithCleanups(Stmt *SubStmt) {
Argyrios Kyrtzidisbf8cafa2010-11-02 02:33:08 +00003466 assert(SubStmt && "sub statement can't be null!");
3467
3468 unsigned FirstTemporary = ExprEvalContexts.back().NumTemporaries;
3469 assert(ExprTemporaries.size() >= FirstTemporary);
3470 if (ExprTemporaries.size() == FirstTemporary)
3471 return SubStmt;
3472
3473 // FIXME: In order to attach the temporaries, wrap the statement into
3474 // a StmtExpr; currently this is only used for asm statements.
3475 // This is hacky, either create a new CXXStmtWithTemporaries statement or
3476 // a new AsmStmtWithTemporaries.
3477 CompoundStmt *CompStmt = new (Context) CompoundStmt(Context, &SubStmt, 1,
3478 SourceLocation(),
3479 SourceLocation());
3480 Expr *E = new (Context) StmtExpr(CompStmt, Context.VoidTy, SourceLocation(),
3481 SourceLocation());
John McCall4765fa02010-12-06 08:20:24 +00003482 return MaybeCreateExprWithCleanups(E);
Argyrios Kyrtzidisbf8cafa2010-11-02 02:33:08 +00003483}
3484
John McCall60d7b3a2010-08-24 06:29:42 +00003485ExprResult
John McCall9ae2f072010-08-23 23:25:46 +00003486Sema::ActOnStartCXXMemberReference(Scope *S, Expr *Base, SourceLocation OpLoc,
John McCallb3d87482010-08-24 05:47:05 +00003487 tok::TokenKind OpKind, ParsedType &ObjectType,
Douglas Gregord4dca082010-02-24 18:44:31 +00003488 bool &MayBePseudoDestructor) {
Douglas Gregor2dd078a2009-09-02 22:59:36 +00003489 // Since this might be a postfix expression, get rid of ParenListExprs.
John McCall60d7b3a2010-08-24 06:29:42 +00003490 ExprResult Result = MaybeConvertParenListExprToParenExpr(S, Base);
John McCall9ae2f072010-08-23 23:25:46 +00003491 if (Result.isInvalid()) return ExprError();
3492 Base = Result.get();
Mike Stump1eb44332009-09-09 15:08:12 +00003493
John McCall9ae2f072010-08-23 23:25:46 +00003494 QualType BaseType = Base->getType();
Douglas Gregord4dca082010-02-24 18:44:31 +00003495 MayBePseudoDestructor = false;
Douglas Gregor2dd078a2009-09-02 22:59:36 +00003496 if (BaseType->isDependentType()) {
Douglas Gregor43d88632009-11-04 22:49:18 +00003497 // If we have a pointer to a dependent type and are using the -> operator,
3498 // the object type is the type that the pointer points to. We might still
3499 // have enough information about that type to do something useful.
3500 if (OpKind == tok::arrow)
3501 if (const PointerType *Ptr = BaseType->getAs<PointerType>())
3502 BaseType = Ptr->getPointeeType();
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003503
John McCallb3d87482010-08-24 05:47:05 +00003504 ObjectType = ParsedType::make(BaseType);
Douglas Gregord4dca082010-02-24 18:44:31 +00003505 MayBePseudoDestructor = true;
John McCall9ae2f072010-08-23 23:25:46 +00003506 return Owned(Base);
Douglas Gregor2dd078a2009-09-02 22:59:36 +00003507 }
Mike Stump1eb44332009-09-09 15:08:12 +00003508
Douglas Gregor2dd078a2009-09-02 22:59:36 +00003509 // C++ [over.match.oper]p8:
Mike Stump1eb44332009-09-09 15:08:12 +00003510 // [...] When operator->returns, the operator-> is applied to the value
Douglas Gregor2dd078a2009-09-02 22:59:36 +00003511 // returned, with the original second operand.
3512 if (OpKind == tok::arrow) {
John McCallc4e83212009-09-30 01:01:30 +00003513 // The set of types we've considered so far.
John McCall432887f2009-09-30 01:30:54 +00003514 llvm::SmallPtrSet<CanQualType,8> CTypes;
Fariborz Jahanian7a8233a2009-09-30 17:46:20 +00003515 llvm::SmallVector<SourceLocation, 8> Locations;
John McCall432887f2009-09-30 01:30:54 +00003516 CTypes.insert(Context.getCanonicalType(BaseType));
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003517
Douglas Gregor2dd078a2009-09-02 22:59:36 +00003518 while (BaseType->isRecordType()) {
John McCall9ae2f072010-08-23 23:25:46 +00003519 Result = BuildOverloadedArrowExpr(S, Base, OpLoc);
3520 if (Result.isInvalid())
Douglas Gregor2dd078a2009-09-02 22:59:36 +00003521 return ExprError();
John McCall9ae2f072010-08-23 23:25:46 +00003522 Base = Result.get();
3523 if (CXXOperatorCallExpr *OpCall = dyn_cast<CXXOperatorCallExpr>(Base))
Anders Carlssonde699e52009-10-13 22:55:59 +00003524 Locations.push_back(OpCall->getDirectCallee()->getLocation());
John McCall9ae2f072010-08-23 23:25:46 +00003525 BaseType = Base->getType();
John McCallc4e83212009-09-30 01:01:30 +00003526 CanQualType CBaseType = Context.getCanonicalType(BaseType);
John McCall432887f2009-09-30 01:30:54 +00003527 if (!CTypes.insert(CBaseType)) {
Fariborz Jahanian4a4e3452009-09-30 00:19:41 +00003528 Diag(OpLoc, diag::err_operator_arrow_circular);
Fariborz Jahanian7a8233a2009-09-30 17:46:20 +00003529 for (unsigned i = 0; i < Locations.size(); i++)
3530 Diag(Locations[i], diag::note_declared_at);
Fariborz Jahanian4a4e3452009-09-30 00:19:41 +00003531 return ExprError();
3532 }
Douglas Gregor2dd078a2009-09-02 22:59:36 +00003533 }
Mike Stump1eb44332009-09-09 15:08:12 +00003534
Douglas Gregor31658df2009-11-20 19:58:21 +00003535 if (BaseType->isPointerType())
3536 BaseType = BaseType->getPointeeType();
3537 }
Mike Stump1eb44332009-09-09 15:08:12 +00003538
3539 // We could end up with various non-record types here, such as extended
Douglas Gregor2dd078a2009-09-02 22:59:36 +00003540 // vector types or Objective-C interfaces. Just return early and let
3541 // ActOnMemberReferenceExpr do the work.
Douglas Gregorc68afe22009-09-03 21:38:09 +00003542 if (!BaseType->isRecordType()) {
3543 // C++ [basic.lookup.classref]p2:
3544 // [...] If the type of the object expression is of pointer to scalar
3545 // type, the unqualified-id is looked up in the context of the complete
3546 // postfix-expression.
Douglas Gregord4dca082010-02-24 18:44:31 +00003547 //
3548 // This also indicates that we should be parsing a
3549 // pseudo-destructor-name.
John McCallb3d87482010-08-24 05:47:05 +00003550 ObjectType = ParsedType();
Douglas Gregord4dca082010-02-24 18:44:31 +00003551 MayBePseudoDestructor = true;
John McCall9ae2f072010-08-23 23:25:46 +00003552 return Owned(Base);
Douglas Gregorc68afe22009-09-03 21:38:09 +00003553 }
Mike Stump1eb44332009-09-09 15:08:12 +00003554
Douglas Gregor03c57052009-11-17 05:17:33 +00003555 // The object type must be complete (or dependent).
3556 if (!BaseType->isDependentType() &&
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003557 RequireCompleteType(OpLoc, BaseType,
Douglas Gregor03c57052009-11-17 05:17:33 +00003558 PDiag(diag::err_incomplete_member_access)))
3559 return ExprError();
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003560
Douglas Gregorc68afe22009-09-03 21:38:09 +00003561 // C++ [basic.lookup.classref]p2:
Mike Stump1eb44332009-09-09 15:08:12 +00003562 // If the id-expression in a class member access (5.2.5) is an
Douglas Gregor03c57052009-11-17 05:17:33 +00003563 // unqualified-id, and the type of the object expression is of a class
Douglas Gregorc68afe22009-09-03 21:38:09 +00003564 // type C (or of pointer to a class type C), the unqualified-id is looked
3565 // up in the scope of class C. [...]
John McCallb3d87482010-08-24 05:47:05 +00003566 ObjectType = ParsedType::make(BaseType);
Mike Stump1eb44332009-09-09 15:08:12 +00003567 return move(Base);
Douglas Gregor2dd078a2009-09-02 22:59:36 +00003568}
3569
John McCall60d7b3a2010-08-24 06:29:42 +00003570ExprResult Sema::DiagnoseDtorReference(SourceLocation NameLoc,
John McCall9ae2f072010-08-23 23:25:46 +00003571 Expr *MemExpr) {
Douglas Gregor77549082010-02-24 21:29:12 +00003572 SourceLocation ExpectedLParenLoc = PP.getLocForEndOfToken(NameLoc);
John McCall9ae2f072010-08-23 23:25:46 +00003573 Diag(MemExpr->getLocStart(), diag::err_dtor_expr_without_call)
3574 << isa<CXXPseudoDestructorExpr>(MemExpr)
Douglas Gregor849b2432010-03-31 17:46:05 +00003575 << FixItHint::CreateInsertion(ExpectedLParenLoc, "()");
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003576
Douglas Gregor77549082010-02-24 21:29:12 +00003577 return ActOnCallExpr(/*Scope*/ 0,
John McCall9ae2f072010-08-23 23:25:46 +00003578 MemExpr,
Douglas Gregor77549082010-02-24 21:29:12 +00003579 /*LPLoc*/ ExpectedLParenLoc,
John McCallf312b1e2010-08-26 23:41:50 +00003580 MultiExprArg(),
Douglas Gregor77549082010-02-24 21:29:12 +00003581 /*RPLoc*/ ExpectedLParenLoc);
3582}
Douglas Gregord4dca082010-02-24 18:44:31 +00003583
John McCall60d7b3a2010-08-24 06:29:42 +00003584ExprResult Sema::BuildPseudoDestructorExpr(Expr *Base,
Douglas Gregorb57fb492010-02-24 22:38:50 +00003585 SourceLocation OpLoc,
3586 tok::TokenKind OpKind,
3587 const CXXScopeSpec &SS,
Douglas Gregor26d4ac92010-02-24 23:40:28 +00003588 TypeSourceInfo *ScopeTypeInfo,
Douglas Gregorb57fb492010-02-24 22:38:50 +00003589 SourceLocation CCLoc,
Douglas Gregorfce46ee2010-02-24 23:50:37 +00003590 SourceLocation TildeLoc,
Douglas Gregora2e7dd22010-02-25 01:56:36 +00003591 PseudoDestructorTypeStorage Destructed,
Douglas Gregorb57fb492010-02-24 22:38:50 +00003592 bool HasTrailingLParen) {
Douglas Gregora2e7dd22010-02-25 01:56:36 +00003593 TypeSourceInfo *DestructedTypeInfo = Destructed.getTypeSourceInfo();
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003594
Douglas Gregorb57fb492010-02-24 22:38:50 +00003595 // C++ [expr.pseudo]p2:
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003596 // The left-hand side of the dot operator shall be of scalar type. The
Douglas Gregorb57fb492010-02-24 22:38:50 +00003597 // left-hand side of the arrow operator shall be of pointer to scalar type.
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003598 // This scalar type is the object type.
John McCall9ae2f072010-08-23 23:25:46 +00003599 QualType ObjectType = Base->getType();
Douglas Gregorb57fb492010-02-24 22:38:50 +00003600 if (OpKind == tok::arrow) {
3601 if (const PointerType *Ptr = ObjectType->getAs<PointerType>()) {
3602 ObjectType = Ptr->getPointeeType();
John McCall9ae2f072010-08-23 23:25:46 +00003603 } else if (!Base->isTypeDependent()) {
Douglas Gregorb57fb492010-02-24 22:38:50 +00003604 // The user wrote "p->" when she probably meant "p."; fix it.
3605 Diag(OpLoc, diag::err_typecheck_member_reference_suggestion)
3606 << ObjectType << true
Douglas Gregor849b2432010-03-31 17:46:05 +00003607 << FixItHint::CreateReplacement(OpLoc, ".");
Douglas Gregorb57fb492010-02-24 22:38:50 +00003608 if (isSFINAEContext())
3609 return ExprError();
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003610
Douglas Gregorb57fb492010-02-24 22:38:50 +00003611 OpKind = tok::period;
3612 }
3613 }
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003614
Douglas Gregorb57fb492010-02-24 22:38:50 +00003615 if (!ObjectType->isDependentType() && !ObjectType->isScalarType()) {
3616 Diag(OpLoc, diag::err_pseudo_dtor_base_not_scalar)
John McCall9ae2f072010-08-23 23:25:46 +00003617 << ObjectType << Base->getSourceRange();
Douglas Gregorb57fb492010-02-24 22:38:50 +00003618 return ExprError();
3619 }
3620
3621 // C++ [expr.pseudo]p2:
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003622 // [...] The cv-unqualified versions of the object type and of the type
Douglas Gregorb57fb492010-02-24 22:38:50 +00003623 // designated by the pseudo-destructor-name shall be the same type.
Douglas Gregora2e7dd22010-02-25 01:56:36 +00003624 if (DestructedTypeInfo) {
3625 QualType DestructedType = DestructedTypeInfo->getType();
3626 SourceLocation DestructedTypeStart
Abramo Bagnarabd054db2010-05-20 10:00:11 +00003627 = DestructedTypeInfo->getTypeLoc().getLocalSourceRange().getBegin();
Douglas Gregora2e7dd22010-02-25 01:56:36 +00003628 if (!DestructedType->isDependentType() && !ObjectType->isDependentType() &&
3629 !Context.hasSameUnqualifiedType(DestructedType, ObjectType)) {
3630 Diag(DestructedTypeStart, diag::err_pseudo_dtor_type_mismatch)
John McCall9ae2f072010-08-23 23:25:46 +00003631 << ObjectType << DestructedType << Base->getSourceRange()
Abramo Bagnarabd054db2010-05-20 10:00:11 +00003632 << DestructedTypeInfo->getTypeLoc().getLocalSourceRange();
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003633
Douglas Gregora2e7dd22010-02-25 01:56:36 +00003634 // Recover by setting the destructed type to the object type.
3635 DestructedType = ObjectType;
3636 DestructedTypeInfo = Context.getTrivialTypeSourceInfo(ObjectType,
3637 DestructedTypeStart);
3638 Destructed = PseudoDestructorTypeStorage(DestructedTypeInfo);
3639 }
Douglas Gregorb57fb492010-02-24 22:38:50 +00003640 }
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003641
Douglas Gregorb57fb492010-02-24 22:38:50 +00003642 // C++ [expr.pseudo]p2:
3643 // [...] Furthermore, the two type-names in a pseudo-destructor-name of the
3644 // form
3645 //
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003646 // ::[opt] nested-name-specifier[opt] type-name :: ~ type-name
Douglas Gregorb57fb492010-02-24 22:38:50 +00003647 //
3648 // shall designate the same scalar type.
3649 if (ScopeTypeInfo) {
3650 QualType ScopeType = ScopeTypeInfo->getType();
3651 if (!ScopeType->isDependentType() && !ObjectType->isDependentType() &&
John McCall81e317a2010-06-11 17:36:40 +00003652 !Context.hasSameUnqualifiedType(ScopeType, ObjectType)) {
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003653
Abramo Bagnarabd054db2010-05-20 10:00:11 +00003654 Diag(ScopeTypeInfo->getTypeLoc().getLocalSourceRange().getBegin(),
Douglas Gregorb57fb492010-02-24 22:38:50 +00003655 diag::err_pseudo_dtor_type_mismatch)
John McCall9ae2f072010-08-23 23:25:46 +00003656 << ObjectType << ScopeType << Base->getSourceRange()
Abramo Bagnarabd054db2010-05-20 10:00:11 +00003657 << ScopeTypeInfo->getTypeLoc().getLocalSourceRange();
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003658
Douglas Gregorb57fb492010-02-24 22:38:50 +00003659 ScopeType = QualType();
3660 ScopeTypeInfo = 0;
3661 }
3662 }
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003663
John McCall9ae2f072010-08-23 23:25:46 +00003664 Expr *Result
3665 = new (Context) CXXPseudoDestructorExpr(Context, Base,
3666 OpKind == tok::arrow, OpLoc,
3667 SS.getScopeRep(), SS.getRange(),
3668 ScopeTypeInfo,
3669 CCLoc,
3670 TildeLoc,
3671 Destructed);
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003672
Douglas Gregorb57fb492010-02-24 22:38:50 +00003673 if (HasTrailingLParen)
John McCall9ae2f072010-08-23 23:25:46 +00003674 return Owned(Result);
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003675
John McCall9ae2f072010-08-23 23:25:46 +00003676 return DiagnoseDtorReference(Destructed.getLocation(), Result);
Douglas Gregor77549082010-02-24 21:29:12 +00003677}
3678
John McCall60d7b3a2010-08-24 06:29:42 +00003679ExprResult Sema::ActOnPseudoDestructorExpr(Scope *S, Expr *Base,
Douglas Gregor77549082010-02-24 21:29:12 +00003680 SourceLocation OpLoc,
3681 tok::TokenKind OpKind,
Jeffrey Yasskin9ab14542010-04-08 16:38:48 +00003682 CXXScopeSpec &SS,
Douglas Gregor77549082010-02-24 21:29:12 +00003683 UnqualifiedId &FirstTypeName,
3684 SourceLocation CCLoc,
3685 SourceLocation TildeLoc,
3686 UnqualifiedId &SecondTypeName,
3687 bool HasTrailingLParen) {
3688 assert((FirstTypeName.getKind() == UnqualifiedId::IK_TemplateId ||
3689 FirstTypeName.getKind() == UnqualifiedId::IK_Identifier) &&
3690 "Invalid first type name in pseudo-destructor");
3691 assert((SecondTypeName.getKind() == UnqualifiedId::IK_TemplateId ||
3692 SecondTypeName.getKind() == UnqualifiedId::IK_Identifier) &&
3693 "Invalid second type name in pseudo-destructor");
3694
Douglas Gregor77549082010-02-24 21:29:12 +00003695 // C++ [expr.pseudo]p2:
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003696 // The left-hand side of the dot operator shall be of scalar type. The
Douglas Gregor77549082010-02-24 21:29:12 +00003697 // left-hand side of the arrow operator shall be of pointer to scalar type.
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003698 // This scalar type is the object type.
John McCall9ae2f072010-08-23 23:25:46 +00003699 QualType ObjectType = Base->getType();
Douglas Gregor77549082010-02-24 21:29:12 +00003700 if (OpKind == tok::arrow) {
3701 if (const PointerType *Ptr = ObjectType->getAs<PointerType>()) {
3702 ObjectType = Ptr->getPointeeType();
Douglas Gregora2e7dd22010-02-25 01:56:36 +00003703 } else if (!ObjectType->isDependentType()) {
Douglas Gregor77549082010-02-24 21:29:12 +00003704 // The user wrote "p->" when she probably meant "p."; fix it.
3705 Diag(OpLoc, diag::err_typecheck_member_reference_suggestion)
Douglas Gregora2e7dd22010-02-25 01:56:36 +00003706 << ObjectType << true
Douglas Gregor849b2432010-03-31 17:46:05 +00003707 << FixItHint::CreateReplacement(OpLoc, ".");
Douglas Gregor77549082010-02-24 21:29:12 +00003708 if (isSFINAEContext())
3709 return ExprError();
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003710
Douglas Gregor77549082010-02-24 21:29:12 +00003711 OpKind = tok::period;
3712 }
3713 }
Douglas Gregora2e7dd22010-02-25 01:56:36 +00003714
3715 // Compute the object type that we should use for name lookup purposes. Only
3716 // record types and dependent types matter.
John McCallb3d87482010-08-24 05:47:05 +00003717 ParsedType ObjectTypePtrForLookup;
Douglas Gregora2e7dd22010-02-25 01:56:36 +00003718 if (!SS.isSet()) {
John McCallb3d87482010-08-24 05:47:05 +00003719 if (const Type *T = ObjectType->getAs<RecordType>())
3720 ObjectTypePtrForLookup = ParsedType::make(QualType(T, 0));
3721 else if (ObjectType->isDependentType())
3722 ObjectTypePtrForLookup = ParsedType::make(Context.DependentTy);
Douglas Gregora2e7dd22010-02-25 01:56:36 +00003723 }
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003724
3725 // Convert the name of the type being destructed (following the ~) into a
Douglas Gregorb57fb492010-02-24 22:38:50 +00003726 // type (with source-location information).
Douglas Gregor77549082010-02-24 21:29:12 +00003727 QualType DestructedType;
3728 TypeSourceInfo *DestructedTypeInfo = 0;
Douglas Gregora2e7dd22010-02-25 01:56:36 +00003729 PseudoDestructorTypeStorage Destructed;
Douglas Gregor77549082010-02-24 21:29:12 +00003730 if (SecondTypeName.getKind() == UnqualifiedId::IK_Identifier) {
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003731 ParsedType T = getTypeName(*SecondTypeName.Identifier,
John McCallb3d87482010-08-24 05:47:05 +00003732 SecondTypeName.StartLocation,
Fariborz Jahanian1e52dfc2011-02-08 18:05:59 +00003733 S, &SS, true, false, ObjectTypePtrForLookup);
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003734 if (!T &&
Douglas Gregora2e7dd22010-02-25 01:56:36 +00003735 ((SS.isSet() && !computeDeclContext(SS, false)) ||
3736 (!SS.isSet() && ObjectType->isDependentType()))) {
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003737 // The name of the type being destroyed is a dependent name, and we
Douglas Gregora2e7dd22010-02-25 01:56:36 +00003738 // couldn't find anything useful in scope. Just store the identifier and
3739 // it's location, and we'll perform (qualified) name lookup again at
3740 // template instantiation time.
3741 Destructed = PseudoDestructorTypeStorage(SecondTypeName.Identifier,
3742 SecondTypeName.StartLocation);
3743 } else if (!T) {
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003744 Diag(SecondTypeName.StartLocation,
Douglas Gregor77549082010-02-24 21:29:12 +00003745 diag::err_pseudo_dtor_destructor_non_type)
3746 << SecondTypeName.Identifier << ObjectType;
3747 if (isSFINAEContext())
3748 return ExprError();
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003749
Douglas Gregor77549082010-02-24 21:29:12 +00003750 // Recover by assuming we had the right type all along.
3751 DestructedType = ObjectType;
Douglas Gregorb57fb492010-02-24 22:38:50 +00003752 } else
Douglas Gregor77549082010-02-24 21:29:12 +00003753 DestructedType = GetTypeFromParser(T, &DestructedTypeInfo);
Douglas Gregor77549082010-02-24 21:29:12 +00003754 } else {
Douglas Gregorb57fb492010-02-24 22:38:50 +00003755 // Resolve the template-id to a type.
Douglas Gregor77549082010-02-24 21:29:12 +00003756 TemplateIdAnnotation *TemplateId = SecondTypeName.TemplateId;
Douglas Gregorb57fb492010-02-24 22:38:50 +00003757 ASTTemplateArgsPtr TemplateArgsPtr(*this,
3758 TemplateId->getTemplateArgs(),
3759 TemplateId->NumArgs);
John McCall2b5289b2010-08-23 07:28:44 +00003760 TypeResult T = ActOnTemplateIdType(TemplateId->Template,
Douglas Gregorb57fb492010-02-24 22:38:50 +00003761 TemplateId->TemplateNameLoc,
3762 TemplateId->LAngleLoc,
3763 TemplateArgsPtr,
3764 TemplateId->RAngleLoc);
3765 if (T.isInvalid() || !T.get()) {
3766 // Recover by assuming we had the right type all along.
3767 DestructedType = ObjectType;
3768 } else
3769 DestructedType = GetTypeFromParser(T.get(), &DestructedTypeInfo);
Douglas Gregor77549082010-02-24 21:29:12 +00003770 }
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003771
3772 // If we've performed some kind of recovery, (re-)build the type source
Douglas Gregorb57fb492010-02-24 22:38:50 +00003773 // information.
Douglas Gregora2e7dd22010-02-25 01:56:36 +00003774 if (!DestructedType.isNull()) {
3775 if (!DestructedTypeInfo)
3776 DestructedTypeInfo = Context.getTrivialTypeSourceInfo(DestructedType,
Douglas Gregorb57fb492010-02-24 22:38:50 +00003777 SecondTypeName.StartLocation);
Douglas Gregora2e7dd22010-02-25 01:56:36 +00003778 Destructed = PseudoDestructorTypeStorage(DestructedTypeInfo);
3779 }
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003780
Douglas Gregorb57fb492010-02-24 22:38:50 +00003781 // Convert the name of the scope type (the type prior to '::') into a type.
3782 TypeSourceInfo *ScopeTypeInfo = 0;
Douglas Gregor77549082010-02-24 21:29:12 +00003783 QualType ScopeType;
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003784 if (FirstTypeName.getKind() == UnqualifiedId::IK_TemplateId ||
Douglas Gregor77549082010-02-24 21:29:12 +00003785 FirstTypeName.Identifier) {
3786 if (FirstTypeName.getKind() == UnqualifiedId::IK_Identifier) {
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003787 ParsedType T = getTypeName(*FirstTypeName.Identifier,
John McCallb3d87482010-08-24 05:47:05 +00003788 FirstTypeName.StartLocation,
Fariborz Jahanian1e52dfc2011-02-08 18:05:59 +00003789 S, &SS, false, false, ObjectTypePtrForLookup);
Douglas Gregor77549082010-02-24 21:29:12 +00003790 if (!T) {
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003791 Diag(FirstTypeName.StartLocation,
Douglas Gregor77549082010-02-24 21:29:12 +00003792 diag::err_pseudo_dtor_destructor_non_type)
3793 << FirstTypeName.Identifier << ObjectType;
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003794
Douglas Gregorb57fb492010-02-24 22:38:50 +00003795 if (isSFINAEContext())
3796 return ExprError();
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003797
Douglas Gregorb57fb492010-02-24 22:38:50 +00003798 // Just drop this type. It's unnecessary anyway.
3799 ScopeType = QualType();
3800 } else
3801 ScopeType = GetTypeFromParser(T, &ScopeTypeInfo);
Douglas Gregor77549082010-02-24 21:29:12 +00003802 } else {
Douglas Gregorb57fb492010-02-24 22:38:50 +00003803 // Resolve the template-id to a type.
Douglas Gregor77549082010-02-24 21:29:12 +00003804 TemplateIdAnnotation *TemplateId = FirstTypeName.TemplateId;
Douglas Gregorb57fb492010-02-24 22:38:50 +00003805 ASTTemplateArgsPtr TemplateArgsPtr(*this,
3806 TemplateId->getTemplateArgs(),
3807 TemplateId->NumArgs);
John McCall2b5289b2010-08-23 07:28:44 +00003808 TypeResult T = ActOnTemplateIdType(TemplateId->Template,
Douglas Gregorb57fb492010-02-24 22:38:50 +00003809 TemplateId->TemplateNameLoc,
3810 TemplateId->LAngleLoc,
3811 TemplateArgsPtr,
3812 TemplateId->RAngleLoc);
3813 if (T.isInvalid() || !T.get()) {
3814 // Recover by dropping this type.
3815 ScopeType = QualType();
3816 } else
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003817 ScopeType = GetTypeFromParser(T.get(), &ScopeTypeInfo);
Douglas Gregor77549082010-02-24 21:29:12 +00003818 }
3819 }
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003820
Douglas Gregorb4a418f2010-02-24 23:02:30 +00003821 if (!ScopeType.isNull() && !ScopeTypeInfo)
3822 ScopeTypeInfo = Context.getTrivialTypeSourceInfo(ScopeType,
3823 FirstTypeName.StartLocation);
3824
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003825
John McCall9ae2f072010-08-23 23:25:46 +00003826 return BuildPseudoDestructorExpr(Base, OpLoc, OpKind, SS,
Douglas Gregorfce46ee2010-02-24 23:50:37 +00003827 ScopeTypeInfo, CCLoc, TildeLoc,
Douglas Gregora2e7dd22010-02-25 01:56:36 +00003828 Destructed, HasTrailingLParen);
Douglas Gregord4dca082010-02-24 18:44:31 +00003829}
3830
Douglas Gregorf2ae5262011-01-20 00:18:04 +00003831ExprResult Sema::BuildCXXMemberCallExpr(Expr *Exp, NamedDecl *FoundDecl,
3832 CXXMethodDecl *Method) {
John McCall6bb80172010-03-30 21:47:33 +00003833 if (PerformObjectArgumentInitialization(Exp, /*Qualifier=*/0,
3834 FoundDecl, Method))
Douglas Gregorf2ae5262011-01-20 00:18:04 +00003835 return true;
Eli Friedman772fffa2009-12-09 04:53:56 +00003836
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003837 MemberExpr *ME =
Abramo Bagnara25777432010-08-11 22:01:17 +00003838 new (Context) MemberExpr(Exp, /*IsArrow=*/false, Method,
John McCallf89e55a2010-11-18 06:31:45 +00003839 SourceLocation(), Method->getType(),
3840 VK_RValue, OK_Ordinary);
3841 QualType ResultType = Method->getResultType();
3842 ExprValueKind VK = Expr::getValueKindForType(ResultType);
3843 ResultType = ResultType.getNonLValueExprType(Context);
3844
Douglas Gregor7edfb692009-11-23 12:27:39 +00003845 MarkDeclarationReferenced(Exp->getLocStart(), Method);
3846 CXXMemberCallExpr *CE =
John McCallf89e55a2010-11-18 06:31:45 +00003847 new (Context) CXXMemberCallExpr(Context, ME, 0, 0, ResultType, VK,
Douglas Gregor7edfb692009-11-23 12:27:39 +00003848 Exp->getLocEnd());
Fariborz Jahanianb7400232009-09-28 23:23:40 +00003849 return CE;
3850}
3851
Sebastian Redl2e156222010-09-10 20:55:43 +00003852ExprResult Sema::BuildCXXNoexceptExpr(SourceLocation KeyLoc, Expr *Operand,
3853 SourceLocation RParen) {
Sebastian Redl2e156222010-09-10 20:55:43 +00003854 return Owned(new (Context) CXXNoexceptExpr(Context.BoolTy, Operand,
3855 Operand->CanThrow(Context),
3856 KeyLoc, RParen));
3857}
3858
3859ExprResult Sema::ActOnNoexceptExpr(SourceLocation KeyLoc, SourceLocation,
3860 Expr *Operand, SourceLocation RParen) {
3861 return BuildCXXNoexceptExpr(KeyLoc, Operand, RParen);
Sebastian Redl02bc21a2010-09-10 20:55:37 +00003862}
3863
John McCallf6a16482010-12-04 03:47:34 +00003864/// Perform the conversions required for an expression used in a
3865/// context that ignores the result.
3866void Sema::IgnoredValueConversions(Expr *&E) {
John McCalla878cda2010-12-02 02:07:15 +00003867 // C99 6.3.2.1:
3868 // [Except in specific positions,] an lvalue that does not have
3869 // array type is converted to the value stored in the
3870 // designated object (and is no longer an lvalue).
John McCallf6a16482010-12-04 03:47:34 +00003871 if (E->isRValue()) return;
John McCalla878cda2010-12-02 02:07:15 +00003872
John McCallf6a16482010-12-04 03:47:34 +00003873 // We always want to do this on ObjC property references.
3874 if (E->getObjectKind() == OK_ObjCProperty) {
3875 ConvertPropertyForRValue(E);
3876 if (E->isRValue()) return;
3877 }
3878
3879 // Otherwise, this rule does not apply in C++, at least not for the moment.
3880 if (getLangOptions().CPlusPlus) return;
3881
3882 // GCC seems to also exclude expressions of incomplete enum type.
3883 if (const EnumType *T = E->getType()->getAs<EnumType>()) {
3884 if (!T->getDecl()->isComplete()) {
3885 // FIXME: stupid workaround for a codegen bug!
3886 ImpCastExprToType(E, Context.VoidTy, CK_ToVoid);
3887 return;
3888 }
3889 }
3890
3891 DefaultFunctionArrayLvalueConversion(E);
John McCall85515d62010-12-04 12:29:11 +00003892 if (!E->getType()->isVoidType())
3893 RequireCompleteType(E->getExprLoc(), E->getType(),
3894 diag::err_incomplete_type);
John McCallf6a16482010-12-04 03:47:34 +00003895}
3896
3897ExprResult Sema::ActOnFinishFullExpr(Expr *FullExpr) {
NAKAMURA Takumidfbb02a2011-01-27 07:10:08 +00003898 if (!FullExpr)
Douglas Gregorbebbe0d2010-12-15 01:34:56 +00003899 return ExprError();
John McCallf6a16482010-12-04 03:47:34 +00003900
Douglas Gregord0937222010-12-13 22:49:22 +00003901 if (DiagnoseUnexpandedParameterPack(FullExpr))
3902 return ExprError();
3903
John McCallf6a16482010-12-04 03:47:34 +00003904 IgnoredValueConversions(FullExpr);
John McCallb4eb64d2010-10-08 02:01:28 +00003905 CheckImplicitConversions(FullExpr);
John McCall4765fa02010-12-06 08:20:24 +00003906 return MaybeCreateExprWithCleanups(FullExpr);
Anders Carlsson165a0a02009-05-17 18:41:29 +00003907}
Argyrios Kyrtzidisbf8cafa2010-11-02 02:33:08 +00003908
3909StmtResult Sema::ActOnFinishFullStmt(Stmt *FullStmt) {
3910 if (!FullStmt) return StmtError();
3911
John McCall4765fa02010-12-06 08:20:24 +00003912 return MaybeCreateStmtWithCleanups(FullStmt);
Argyrios Kyrtzidisbf8cafa2010-11-02 02:33:08 +00003913}