File: | clang/lib/Sema/SemaExprObjC.cpp |
Warning: | line 2617, column 7 Called C++ object pointer is null |
Press '?' to see keyboard shortcuts
Keyboard shortcuts:
1 | //===--- SemaExprObjC.cpp - Semantic Analysis for ObjC Expressions --------===// | ||||
2 | // | ||||
3 | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. | ||||
4 | // See https://llvm.org/LICENSE.txt for license information. | ||||
5 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception | ||||
6 | // | ||||
7 | //===----------------------------------------------------------------------===// | ||||
8 | // | ||||
9 | // This file implements semantic analysis for Objective-C expressions. | ||||
10 | // | ||||
11 | //===----------------------------------------------------------------------===// | ||||
12 | |||||
13 | #include "clang/AST/ASTContext.h" | ||||
14 | #include "clang/AST/DeclObjC.h" | ||||
15 | #include "clang/AST/ExprObjC.h" | ||||
16 | #include "clang/AST/StmtVisitor.h" | ||||
17 | #include "clang/AST/TypeLoc.h" | ||||
18 | #include "clang/Analysis/DomainSpecific/CocoaConventions.h" | ||||
19 | #include "clang/Basic/Builtins.h" | ||||
20 | #include "clang/Edit/Commit.h" | ||||
21 | #include "clang/Edit/Rewriters.h" | ||||
22 | #include "clang/Lex/Preprocessor.h" | ||||
23 | #include "clang/Sema/Initialization.h" | ||||
24 | #include "clang/Sema/Lookup.h" | ||||
25 | #include "clang/Sema/Scope.h" | ||||
26 | #include "clang/Sema/ScopeInfo.h" | ||||
27 | #include "clang/Sema/SemaInternal.h" | ||||
28 | #include "llvm/ADT/SmallString.h" | ||||
29 | #include "llvm/Support/ConvertUTF.h" | ||||
30 | |||||
31 | using namespace clang; | ||||
32 | using namespace sema; | ||||
33 | using llvm::makeArrayRef; | ||||
34 | |||||
35 | ExprResult Sema::ParseObjCStringLiteral(SourceLocation *AtLocs, | ||||
36 | ArrayRef<Expr *> Strings) { | ||||
37 | // Most ObjC strings are formed out of a single piece. However, we *can* | ||||
38 | // have strings formed out of multiple @ strings with multiple pptokens in | ||||
39 | // each one, e.g. @"foo" "bar" @"baz" "qux" which need to be turned into one | ||||
40 | // StringLiteral for ObjCStringLiteral to hold onto. | ||||
41 | StringLiteral *S = cast<StringLiteral>(Strings[0]); | ||||
42 | |||||
43 | // If we have a multi-part string, merge it all together. | ||||
44 | if (Strings.size() != 1) { | ||||
45 | // Concatenate objc strings. | ||||
46 | SmallString<128> StrBuf; | ||||
47 | SmallVector<SourceLocation, 8> StrLocs; | ||||
48 | |||||
49 | for (Expr *E : Strings) { | ||||
50 | S = cast<StringLiteral>(E); | ||||
51 | |||||
52 | // ObjC strings can't be wide or UTF. | ||||
53 | if (!S->isAscii()) { | ||||
54 | Diag(S->getBeginLoc(), diag::err_cfstring_literal_not_string_constant) | ||||
55 | << S->getSourceRange(); | ||||
56 | return true; | ||||
57 | } | ||||
58 | |||||
59 | // Append the string. | ||||
60 | StrBuf += S->getString(); | ||||
61 | |||||
62 | // Get the locations of the string tokens. | ||||
63 | StrLocs.append(S->tokloc_begin(), S->tokloc_end()); | ||||
64 | } | ||||
65 | |||||
66 | // Create the aggregate string with the appropriate content and location | ||||
67 | // information. | ||||
68 | const ConstantArrayType *CAT = Context.getAsConstantArrayType(S->getType()); | ||||
69 | assert(CAT && "String literal not of constant array type!")(static_cast <bool> (CAT && "String literal not of constant array type!" ) ? void (0) : __assert_fail ("CAT && \"String literal not of constant array type!\"" , "/build/llvm-toolchain-snapshot-14~++20210828111110+16086d47c0d0/clang/lib/Sema/SemaExprObjC.cpp" , 69, __extension__ __PRETTY_FUNCTION__)); | ||||
70 | QualType StrTy = Context.getConstantArrayType( | ||||
71 | CAT->getElementType(), llvm::APInt(32, StrBuf.size() + 1), nullptr, | ||||
72 | CAT->getSizeModifier(), CAT->getIndexTypeCVRQualifiers()); | ||||
73 | S = StringLiteral::Create(Context, StrBuf, StringLiteral::Ascii, | ||||
74 | /*Pascal=*/false, StrTy, &StrLocs[0], | ||||
75 | StrLocs.size()); | ||||
76 | } | ||||
77 | |||||
78 | return BuildObjCStringLiteral(AtLocs[0], S); | ||||
79 | } | ||||
80 | |||||
81 | ExprResult Sema::BuildObjCStringLiteral(SourceLocation AtLoc, StringLiteral *S){ | ||||
82 | // Verify that this composite string is acceptable for ObjC strings. | ||||
83 | if (CheckObjCString(S)) | ||||
84 | return true; | ||||
85 | |||||
86 | // Initialize the constant string interface lazily. This assumes | ||||
87 | // the NSString interface is seen in this translation unit. Note: We | ||||
88 | // don't use NSConstantString, since the runtime team considers this | ||||
89 | // interface private (even though it appears in the header files). | ||||
90 | QualType Ty = Context.getObjCConstantStringInterface(); | ||||
91 | if (!Ty.isNull()) { | ||||
92 | Ty = Context.getObjCObjectPointerType(Ty); | ||||
93 | } else if (getLangOpts().NoConstantCFStrings) { | ||||
94 | IdentifierInfo *NSIdent=nullptr; | ||||
95 | std::string StringClass(getLangOpts().ObjCConstantStringClass); | ||||
96 | |||||
97 | if (StringClass.empty()) | ||||
98 | NSIdent = &Context.Idents.get("NSConstantString"); | ||||
99 | else | ||||
100 | NSIdent = &Context.Idents.get(StringClass); | ||||
101 | |||||
102 | NamedDecl *IF = LookupSingleName(TUScope, NSIdent, AtLoc, | ||||
103 | LookupOrdinaryName); | ||||
104 | if (ObjCInterfaceDecl *StrIF = dyn_cast_or_null<ObjCInterfaceDecl>(IF)) { | ||||
105 | Context.setObjCConstantStringInterface(StrIF); | ||||
106 | Ty = Context.getObjCConstantStringInterface(); | ||||
107 | Ty = Context.getObjCObjectPointerType(Ty); | ||||
108 | } else { | ||||
109 | // If there is no NSConstantString interface defined then treat this | ||||
110 | // as error and recover from it. | ||||
111 | Diag(S->getBeginLoc(), diag::err_no_nsconstant_string_class) | ||||
112 | << NSIdent << S->getSourceRange(); | ||||
113 | Ty = Context.getObjCIdType(); | ||||
114 | } | ||||
115 | } else { | ||||
116 | IdentifierInfo *NSIdent = NSAPIObj->getNSClassId(NSAPI::ClassId_NSString); | ||||
117 | NamedDecl *IF = LookupSingleName(TUScope, NSIdent, AtLoc, | ||||
118 | LookupOrdinaryName); | ||||
119 | if (ObjCInterfaceDecl *StrIF = dyn_cast_or_null<ObjCInterfaceDecl>(IF)) { | ||||
120 | Context.setObjCConstantStringInterface(StrIF); | ||||
121 | Ty = Context.getObjCConstantStringInterface(); | ||||
122 | Ty = Context.getObjCObjectPointerType(Ty); | ||||
123 | } else { | ||||
124 | // If there is no NSString interface defined, implicitly declare | ||||
125 | // a @class NSString; and use that instead. This is to make sure | ||||
126 | // type of an NSString literal is represented correctly, instead of | ||||
127 | // being an 'id' type. | ||||
128 | Ty = Context.getObjCNSStringType(); | ||||
129 | if (Ty.isNull()) { | ||||
130 | ObjCInterfaceDecl *NSStringIDecl = | ||||
131 | ObjCInterfaceDecl::Create (Context, | ||||
132 | Context.getTranslationUnitDecl(), | ||||
133 | SourceLocation(), NSIdent, | ||||
134 | nullptr, nullptr, SourceLocation()); | ||||
135 | Ty = Context.getObjCInterfaceType(NSStringIDecl); | ||||
136 | Context.setObjCNSStringType(Ty); | ||||
137 | } | ||||
138 | Ty = Context.getObjCObjectPointerType(Ty); | ||||
139 | } | ||||
140 | } | ||||
141 | |||||
142 | return new (Context) ObjCStringLiteral(S, Ty, AtLoc); | ||||
143 | } | ||||
144 | |||||
145 | /// Emits an error if the given method does not exist, or if the return | ||||
146 | /// type is not an Objective-C object. | ||||
147 | static bool validateBoxingMethod(Sema &S, SourceLocation Loc, | ||||
148 | const ObjCInterfaceDecl *Class, | ||||
149 | Selector Sel, const ObjCMethodDecl *Method) { | ||||
150 | if (!Method) { | ||||
151 | // FIXME: Is there a better way to avoid quotes than using getName()? | ||||
152 | S.Diag(Loc, diag::err_undeclared_boxing_method) << Sel << Class->getName(); | ||||
153 | return false; | ||||
154 | } | ||||
155 | |||||
156 | // Make sure the return type is reasonable. | ||||
157 | QualType ReturnType = Method->getReturnType(); | ||||
158 | if (!ReturnType->isObjCObjectPointerType()) { | ||||
159 | S.Diag(Loc, diag::err_objc_literal_method_sig) | ||||
160 | << Sel; | ||||
161 | S.Diag(Method->getLocation(), diag::note_objc_literal_method_return) | ||||
162 | << ReturnType; | ||||
163 | return false; | ||||
164 | } | ||||
165 | |||||
166 | return true; | ||||
167 | } | ||||
168 | |||||
169 | /// Maps ObjCLiteralKind to NSClassIdKindKind | ||||
170 | static NSAPI::NSClassIdKindKind ClassKindFromLiteralKind( | ||||
171 | Sema::ObjCLiteralKind LiteralKind) { | ||||
172 | switch (LiteralKind) { | ||||
173 | case Sema::LK_Array: | ||||
174 | return NSAPI::ClassId_NSArray; | ||||
175 | case Sema::LK_Dictionary: | ||||
176 | return NSAPI::ClassId_NSDictionary; | ||||
177 | case Sema::LK_Numeric: | ||||
178 | return NSAPI::ClassId_NSNumber; | ||||
179 | case Sema::LK_String: | ||||
180 | return NSAPI::ClassId_NSString; | ||||
181 | case Sema::LK_Boxed: | ||||
182 | return NSAPI::ClassId_NSValue; | ||||
183 | |||||
184 | // there is no corresponding matching | ||||
185 | // between LK_None/LK_Block and NSClassIdKindKind | ||||
186 | case Sema::LK_Block: | ||||
187 | case Sema::LK_None: | ||||
188 | break; | ||||
189 | } | ||||
190 | llvm_unreachable("LiteralKind can't be converted into a ClassKind")::llvm::llvm_unreachable_internal("LiteralKind can't be converted into a ClassKind" , "/build/llvm-toolchain-snapshot-14~++20210828111110+16086d47c0d0/clang/lib/Sema/SemaExprObjC.cpp" , 190); | ||||
191 | } | ||||
192 | |||||
193 | /// Validates ObjCInterfaceDecl availability. | ||||
194 | /// ObjCInterfaceDecl, used to create ObjC literals, should be defined | ||||
195 | /// if clang not in a debugger mode. | ||||
196 | static bool ValidateObjCLiteralInterfaceDecl(Sema &S, ObjCInterfaceDecl *Decl, | ||||
197 | SourceLocation Loc, | ||||
198 | Sema::ObjCLiteralKind LiteralKind) { | ||||
199 | if (!Decl) { | ||||
200 | NSAPI::NSClassIdKindKind Kind = ClassKindFromLiteralKind(LiteralKind); | ||||
201 | IdentifierInfo *II = S.NSAPIObj->getNSClassId(Kind); | ||||
202 | S.Diag(Loc, diag::err_undeclared_objc_literal_class) | ||||
203 | << II->getName() << LiteralKind; | ||||
204 | return false; | ||||
205 | } else if (!Decl->hasDefinition() && !S.getLangOpts().DebuggerObjCLiteral) { | ||||
206 | S.Diag(Loc, diag::err_undeclared_objc_literal_class) | ||||
207 | << Decl->getName() << LiteralKind; | ||||
208 | S.Diag(Decl->getLocation(), diag::note_forward_class); | ||||
209 | return false; | ||||
210 | } | ||||
211 | |||||
212 | return true; | ||||
213 | } | ||||
214 | |||||
215 | /// Looks up ObjCInterfaceDecl of a given NSClassIdKindKind. | ||||
216 | /// Used to create ObjC literals, such as NSDictionary (@{}), | ||||
217 | /// NSArray (@[]) and Boxed Expressions (@()) | ||||
218 | static ObjCInterfaceDecl *LookupObjCInterfaceDeclForLiteral(Sema &S, | ||||
219 | SourceLocation Loc, | ||||
220 | Sema::ObjCLiteralKind LiteralKind) { | ||||
221 | NSAPI::NSClassIdKindKind ClassKind = ClassKindFromLiteralKind(LiteralKind); | ||||
222 | IdentifierInfo *II = S.NSAPIObj->getNSClassId(ClassKind); | ||||
223 | NamedDecl *IF = S.LookupSingleName(S.TUScope, II, Loc, | ||||
224 | Sema::LookupOrdinaryName); | ||||
225 | ObjCInterfaceDecl *ID = dyn_cast_or_null<ObjCInterfaceDecl>(IF); | ||||
226 | if (!ID && S.getLangOpts().DebuggerObjCLiteral) { | ||||
227 | ASTContext &Context = S.Context; | ||||
228 | TranslationUnitDecl *TU = Context.getTranslationUnitDecl(); | ||||
229 | ID = ObjCInterfaceDecl::Create (Context, TU, SourceLocation(), II, | ||||
230 | nullptr, nullptr, SourceLocation()); | ||||
231 | } | ||||
232 | |||||
233 | if (!ValidateObjCLiteralInterfaceDecl(S, ID, Loc, LiteralKind)) { | ||||
234 | ID = nullptr; | ||||
235 | } | ||||
236 | |||||
237 | return ID; | ||||
238 | } | ||||
239 | |||||
240 | /// Retrieve the NSNumber factory method that should be used to create | ||||
241 | /// an Objective-C literal for the given type. | ||||
242 | static ObjCMethodDecl *getNSNumberFactoryMethod(Sema &S, SourceLocation Loc, | ||||
243 | QualType NumberType, | ||||
244 | bool isLiteral = false, | ||||
245 | SourceRange R = SourceRange()) { | ||||
246 | Optional<NSAPI::NSNumberLiteralMethodKind> Kind = | ||||
247 | S.NSAPIObj->getNSNumberFactoryMethodKind(NumberType); | ||||
248 | |||||
249 | if (!Kind) { | ||||
250 | if (isLiteral) { | ||||
251 | S.Diag(Loc, diag::err_invalid_nsnumber_type) | ||||
252 | << NumberType << R; | ||||
253 | } | ||||
254 | return nullptr; | ||||
255 | } | ||||
256 | |||||
257 | // If we already looked up this method, we're done. | ||||
258 | if (S.NSNumberLiteralMethods[*Kind]) | ||||
259 | return S.NSNumberLiteralMethods[*Kind]; | ||||
260 | |||||
261 | Selector Sel = S.NSAPIObj->getNSNumberLiteralSelector(*Kind, | ||||
262 | /*Instance=*/false); | ||||
263 | |||||
264 | ASTContext &CX = S.Context; | ||||
265 | |||||
266 | // Look up the NSNumber class, if we haven't done so already. It's cached | ||||
267 | // in the Sema instance. | ||||
268 | if (!S.NSNumberDecl) { | ||||
269 | S.NSNumberDecl = LookupObjCInterfaceDeclForLiteral(S, Loc, | ||||
270 | Sema::LK_Numeric); | ||||
271 | if (!S.NSNumberDecl) { | ||||
272 | return nullptr; | ||||
273 | } | ||||
274 | } | ||||
275 | |||||
276 | if (S.NSNumberPointer.isNull()) { | ||||
277 | // generate the pointer to NSNumber type. | ||||
278 | QualType NSNumberObject = CX.getObjCInterfaceType(S.NSNumberDecl); | ||||
279 | S.NSNumberPointer = CX.getObjCObjectPointerType(NSNumberObject); | ||||
280 | } | ||||
281 | |||||
282 | // Look for the appropriate method within NSNumber. | ||||
283 | ObjCMethodDecl *Method = S.NSNumberDecl->lookupClassMethod(Sel); | ||||
284 | if (!Method && S.getLangOpts().DebuggerObjCLiteral) { | ||||
285 | // create a stub definition this NSNumber factory method. | ||||
286 | TypeSourceInfo *ReturnTInfo = nullptr; | ||||
287 | Method = | ||||
288 | ObjCMethodDecl::Create(CX, SourceLocation(), SourceLocation(), Sel, | ||||
289 | S.NSNumberPointer, ReturnTInfo, S.NSNumberDecl, | ||||
290 | /*isInstance=*/false, /*isVariadic=*/false, | ||||
291 | /*isPropertyAccessor=*/false, | ||||
292 | /*isSynthesizedAccessorStub=*/false, | ||||
293 | /*isImplicitlyDeclared=*/true, | ||||
294 | /*isDefined=*/false, ObjCMethodDecl::Required, | ||||
295 | /*HasRelatedResultType=*/false); | ||||
296 | ParmVarDecl *value = ParmVarDecl::Create(S.Context, Method, | ||||
297 | SourceLocation(), SourceLocation(), | ||||
298 | &CX.Idents.get("value"), | ||||
299 | NumberType, /*TInfo=*/nullptr, | ||||
300 | SC_None, nullptr); | ||||
301 | Method->setMethodParams(S.Context, value, None); | ||||
302 | } | ||||
303 | |||||
304 | if (!validateBoxingMethod(S, Loc, S.NSNumberDecl, Sel, Method)) | ||||
305 | return nullptr; | ||||
306 | |||||
307 | // Note: if the parameter type is out-of-line, we'll catch it later in the | ||||
308 | // implicit conversion. | ||||
309 | |||||
310 | S.NSNumberLiteralMethods[*Kind] = Method; | ||||
311 | return Method; | ||||
312 | } | ||||
313 | |||||
314 | /// BuildObjCNumericLiteral - builds an ObjCBoxedExpr AST node for the | ||||
315 | /// numeric literal expression. Type of the expression will be "NSNumber *". | ||||
316 | ExprResult Sema::BuildObjCNumericLiteral(SourceLocation AtLoc, Expr *Number) { | ||||
317 | // Determine the type of the literal. | ||||
318 | QualType NumberType = Number->getType(); | ||||
319 | if (CharacterLiteral *Char = dyn_cast<CharacterLiteral>(Number)) { | ||||
320 | // In C, character literals have type 'int'. That's not the type we want | ||||
321 | // to use to determine the Objective-c literal kind. | ||||
322 | switch (Char->getKind()) { | ||||
323 | case CharacterLiteral::Ascii: | ||||
324 | case CharacterLiteral::UTF8: | ||||
325 | NumberType = Context.CharTy; | ||||
326 | break; | ||||
327 | |||||
328 | case CharacterLiteral::Wide: | ||||
329 | NumberType = Context.getWideCharType(); | ||||
330 | break; | ||||
331 | |||||
332 | case CharacterLiteral::UTF16: | ||||
333 | NumberType = Context.Char16Ty; | ||||
334 | break; | ||||
335 | |||||
336 | case CharacterLiteral::UTF32: | ||||
337 | NumberType = Context.Char32Ty; | ||||
338 | break; | ||||
339 | } | ||||
340 | } | ||||
341 | |||||
342 | // Look for the appropriate method within NSNumber. | ||||
343 | // Construct the literal. | ||||
344 | SourceRange NR(Number->getSourceRange()); | ||||
345 | ObjCMethodDecl *Method = getNSNumberFactoryMethod(*this, AtLoc, NumberType, | ||||
346 | true, NR); | ||||
347 | if (!Method) | ||||
348 | return ExprError(); | ||||
349 | |||||
350 | // Convert the number to the type that the parameter expects. | ||||
351 | ParmVarDecl *ParamDecl = Method->parameters()[0]; | ||||
352 | InitializedEntity Entity = InitializedEntity::InitializeParameter(Context, | ||||
353 | ParamDecl); | ||||
354 | ExprResult ConvertedNumber = PerformCopyInitialization(Entity, | ||||
355 | SourceLocation(), | ||||
356 | Number); | ||||
357 | if (ConvertedNumber.isInvalid()) | ||||
358 | return ExprError(); | ||||
359 | Number = ConvertedNumber.get(); | ||||
360 | |||||
361 | // Use the effective source range of the literal, including the leading '@'. | ||||
362 | return MaybeBindToTemporary( | ||||
363 | new (Context) ObjCBoxedExpr(Number, NSNumberPointer, Method, | ||||
364 | SourceRange(AtLoc, NR.getEnd()))); | ||||
365 | } | ||||
366 | |||||
367 | ExprResult Sema::ActOnObjCBoolLiteral(SourceLocation AtLoc, | ||||
368 | SourceLocation ValueLoc, | ||||
369 | bool Value) { | ||||
370 | ExprResult Inner; | ||||
371 | if (getLangOpts().CPlusPlus) { | ||||
372 | Inner = ActOnCXXBoolLiteral(ValueLoc, Value? tok::kw_true : tok::kw_false); | ||||
373 | } else { | ||||
374 | // C doesn't actually have a way to represent literal values of type | ||||
375 | // _Bool. So, we'll use 0/1 and implicit cast to _Bool. | ||||
376 | Inner = ActOnIntegerConstant(ValueLoc, Value? 1 : 0); | ||||
377 | Inner = ImpCastExprToType(Inner.get(), Context.BoolTy, | ||||
378 | CK_IntegralToBoolean); | ||||
379 | } | ||||
380 | |||||
381 | return BuildObjCNumericLiteral(AtLoc, Inner.get()); | ||||
382 | } | ||||
383 | |||||
384 | /// Check that the given expression is a valid element of an Objective-C | ||||
385 | /// collection literal. | ||||
386 | static ExprResult CheckObjCCollectionLiteralElement(Sema &S, Expr *Element, | ||||
387 | QualType T, | ||||
388 | bool ArrayLiteral = false) { | ||||
389 | // If the expression is type-dependent, there's nothing for us to do. | ||||
390 | if (Element->isTypeDependent()) | ||||
391 | return Element; | ||||
392 | |||||
393 | ExprResult Result = S.CheckPlaceholderExpr(Element); | ||||
394 | if (Result.isInvalid()) | ||||
395 | return ExprError(); | ||||
396 | Element = Result.get(); | ||||
397 | |||||
398 | // In C++, check for an implicit conversion to an Objective-C object pointer | ||||
399 | // type. | ||||
400 | if (S.getLangOpts().CPlusPlus && Element->getType()->isRecordType()) { | ||||
401 | InitializedEntity Entity | ||||
402 | = InitializedEntity::InitializeParameter(S.Context, T, | ||||
403 | /*Consumed=*/false); | ||||
404 | InitializationKind Kind = InitializationKind::CreateCopy( | ||||
405 | Element->getBeginLoc(), SourceLocation()); | ||||
406 | InitializationSequence Seq(S, Entity, Kind, Element); | ||||
407 | if (!Seq.Failed()) | ||||
408 | return Seq.Perform(S, Entity, Kind, Element); | ||||
409 | } | ||||
410 | |||||
411 | Expr *OrigElement = Element; | ||||
412 | |||||
413 | // Perform lvalue-to-rvalue conversion. | ||||
414 | Result = S.DefaultLvalueConversion(Element); | ||||
415 | if (Result.isInvalid()) | ||||
416 | return ExprError(); | ||||
417 | Element = Result.get(); | ||||
418 | |||||
419 | // Make sure that we have an Objective-C pointer type or block. | ||||
420 | if (!Element->getType()->isObjCObjectPointerType() && | ||||
421 | !Element->getType()->isBlockPointerType()) { | ||||
422 | bool Recovered = false; | ||||
423 | |||||
424 | // If this is potentially an Objective-C numeric literal, add the '@'. | ||||
425 | if (isa<IntegerLiteral>(OrigElement) || | ||||
426 | isa<CharacterLiteral>(OrigElement) || | ||||
427 | isa<FloatingLiteral>(OrigElement) || | ||||
428 | isa<ObjCBoolLiteralExpr>(OrigElement) || | ||||
429 | isa<CXXBoolLiteralExpr>(OrigElement)) { | ||||
430 | if (S.NSAPIObj->getNSNumberFactoryMethodKind(OrigElement->getType())) { | ||||
431 | int Which = isa<CharacterLiteral>(OrigElement) ? 1 | ||||
432 | : (isa<CXXBoolLiteralExpr>(OrigElement) || | ||||
433 | isa<ObjCBoolLiteralExpr>(OrigElement)) ? 2 | ||||
434 | : 3; | ||||
435 | |||||
436 | S.Diag(OrigElement->getBeginLoc(), diag::err_box_literal_collection) | ||||
437 | << Which << OrigElement->getSourceRange() | ||||
438 | << FixItHint::CreateInsertion(OrigElement->getBeginLoc(), "@"); | ||||
439 | |||||
440 | Result = | ||||
441 | S.BuildObjCNumericLiteral(OrigElement->getBeginLoc(), OrigElement); | ||||
442 | if (Result.isInvalid()) | ||||
443 | return ExprError(); | ||||
444 | |||||
445 | Element = Result.get(); | ||||
446 | Recovered = true; | ||||
447 | } | ||||
448 | } | ||||
449 | // If this is potentially an Objective-C string literal, add the '@'. | ||||
450 | else if (StringLiteral *String = dyn_cast<StringLiteral>(OrigElement)) { | ||||
451 | if (String->isAscii()) { | ||||
452 | S.Diag(OrigElement->getBeginLoc(), diag::err_box_literal_collection) | ||||
453 | << 0 << OrigElement->getSourceRange() | ||||
454 | << FixItHint::CreateInsertion(OrigElement->getBeginLoc(), "@"); | ||||
455 | |||||
456 | Result = S.BuildObjCStringLiteral(OrigElement->getBeginLoc(), String); | ||||
457 | if (Result.isInvalid()) | ||||
458 | return ExprError(); | ||||
459 | |||||
460 | Element = Result.get(); | ||||
461 | Recovered = true; | ||||
462 | } | ||||
463 | } | ||||
464 | |||||
465 | if (!Recovered) { | ||||
466 | S.Diag(Element->getBeginLoc(), diag::err_invalid_collection_element) | ||||
467 | << Element->getType(); | ||||
468 | return ExprError(); | ||||
469 | } | ||||
470 | } | ||||
471 | if (ArrayLiteral) | ||||
472 | if (ObjCStringLiteral *getString = | ||||
473 | dyn_cast<ObjCStringLiteral>(OrigElement)) { | ||||
474 | if (StringLiteral *SL = getString->getString()) { | ||||
475 | unsigned numConcat = SL->getNumConcatenated(); | ||||
476 | if (numConcat > 1) { | ||||
477 | // Only warn if the concatenated string doesn't come from a macro. | ||||
478 | bool hasMacro = false; | ||||
479 | for (unsigned i = 0; i < numConcat ; ++i) | ||||
480 | if (SL->getStrTokenLoc(i).isMacroID()) { | ||||
481 | hasMacro = true; | ||||
482 | break; | ||||
483 | } | ||||
484 | if (!hasMacro) | ||||
485 | S.Diag(Element->getBeginLoc(), | ||||
486 | diag::warn_concatenated_nsarray_literal) | ||||
487 | << Element->getType(); | ||||
488 | } | ||||
489 | } | ||||
490 | } | ||||
491 | |||||
492 | // Make sure that the element has the type that the container factory | ||||
493 | // function expects. | ||||
494 | return S.PerformCopyInitialization( | ||||
495 | InitializedEntity::InitializeParameter(S.Context, T, | ||||
496 | /*Consumed=*/false), | ||||
497 | Element->getBeginLoc(), Element); | ||||
498 | } | ||||
499 | |||||
500 | ExprResult Sema::BuildObjCBoxedExpr(SourceRange SR, Expr *ValueExpr) { | ||||
501 | if (ValueExpr->isTypeDependent()) { | ||||
502 | ObjCBoxedExpr *BoxedExpr = | ||||
503 | new (Context) ObjCBoxedExpr(ValueExpr, Context.DependentTy, nullptr, SR); | ||||
504 | return BoxedExpr; | ||||
505 | } | ||||
506 | ObjCMethodDecl *BoxingMethod = nullptr; | ||||
507 | QualType BoxedType; | ||||
508 | // Convert the expression to an RValue, so we can check for pointer types... | ||||
509 | ExprResult RValue = DefaultFunctionArrayLvalueConversion(ValueExpr); | ||||
510 | if (RValue.isInvalid()) { | ||||
511 | return ExprError(); | ||||
512 | } | ||||
513 | SourceLocation Loc = SR.getBegin(); | ||||
514 | ValueExpr = RValue.get(); | ||||
515 | QualType ValueType(ValueExpr->getType()); | ||||
516 | if (const PointerType *PT = ValueType->getAs<PointerType>()) { | ||||
517 | QualType PointeeType = PT->getPointeeType(); | ||||
518 | if (Context.hasSameUnqualifiedType(PointeeType, Context.CharTy)) { | ||||
519 | |||||
520 | if (!NSStringDecl) { | ||||
521 | NSStringDecl = LookupObjCInterfaceDeclForLiteral(*this, Loc, | ||||
522 | Sema::LK_String); | ||||
523 | if (!NSStringDecl) { | ||||
524 | return ExprError(); | ||||
525 | } | ||||
526 | QualType NSStringObject = Context.getObjCInterfaceType(NSStringDecl); | ||||
527 | NSStringPointer = Context.getObjCObjectPointerType(NSStringObject); | ||||
528 | } | ||||
529 | |||||
530 | // The boxed expression can be emitted as a compile time constant if it is | ||||
531 | // a string literal whose character encoding is compatible with UTF-8. | ||||
532 | if (auto *CE = dyn_cast<ImplicitCastExpr>(ValueExpr)) | ||||
533 | if (CE->getCastKind() == CK_ArrayToPointerDecay) | ||||
534 | if (auto *SL = | ||||
535 | dyn_cast<StringLiteral>(CE->getSubExpr()->IgnoreParens())) { | ||||
536 | assert((SL->isAscii() || SL->isUTF8()) &&(static_cast <bool> ((SL->isAscii() || SL->isUTF8 ()) && "unexpected character encoding") ? void (0) : __assert_fail ("(SL->isAscii() || SL->isUTF8()) && \"unexpected character encoding\"" , "/build/llvm-toolchain-snapshot-14~++20210828111110+16086d47c0d0/clang/lib/Sema/SemaExprObjC.cpp" , 537, __extension__ __PRETTY_FUNCTION__)) | ||||
537 | "unexpected character encoding")(static_cast <bool> ((SL->isAscii() || SL->isUTF8 ()) && "unexpected character encoding") ? void (0) : __assert_fail ("(SL->isAscii() || SL->isUTF8()) && \"unexpected character encoding\"" , "/build/llvm-toolchain-snapshot-14~++20210828111110+16086d47c0d0/clang/lib/Sema/SemaExprObjC.cpp" , 537, __extension__ __PRETTY_FUNCTION__)); | ||||
538 | StringRef Str = SL->getString(); | ||||
539 | const llvm::UTF8 *StrBegin = Str.bytes_begin(); | ||||
540 | const llvm::UTF8 *StrEnd = Str.bytes_end(); | ||||
541 | // Check that this is a valid UTF-8 string. | ||||
542 | if (llvm::isLegalUTF8String(&StrBegin, StrEnd)) { | ||||
543 | BoxedType = Context.getAttributedType( | ||||
544 | AttributedType::getNullabilityAttrKind( | ||||
545 | NullabilityKind::NonNull), | ||||
546 | NSStringPointer, NSStringPointer); | ||||
547 | return new (Context) ObjCBoxedExpr(CE, BoxedType, nullptr, SR); | ||||
548 | } | ||||
549 | |||||
550 | Diag(SL->getBeginLoc(), diag::warn_objc_boxing_invalid_utf8_string) | ||||
551 | << NSStringPointer << SL->getSourceRange(); | ||||
552 | } | ||||
553 | |||||
554 | if (!StringWithUTF8StringMethod) { | ||||
555 | IdentifierInfo *II = &Context.Idents.get("stringWithUTF8String"); | ||||
556 | Selector stringWithUTF8String = Context.Selectors.getUnarySelector(II); | ||||
557 | |||||
558 | // Look for the appropriate method within NSString. | ||||
559 | BoxingMethod = NSStringDecl->lookupClassMethod(stringWithUTF8String); | ||||
560 | if (!BoxingMethod && getLangOpts().DebuggerObjCLiteral) { | ||||
561 | // Debugger needs to work even if NSString hasn't been defined. | ||||
562 | TypeSourceInfo *ReturnTInfo = nullptr; | ||||
563 | ObjCMethodDecl *M = ObjCMethodDecl::Create( | ||||
564 | Context, SourceLocation(), SourceLocation(), stringWithUTF8String, | ||||
565 | NSStringPointer, ReturnTInfo, NSStringDecl, | ||||
566 | /*isInstance=*/false, /*isVariadic=*/false, | ||||
567 | /*isPropertyAccessor=*/false, | ||||
568 | /*isSynthesizedAccessorStub=*/false, | ||||
569 | /*isImplicitlyDeclared=*/true, | ||||
570 | /*isDefined=*/false, ObjCMethodDecl::Required, | ||||
571 | /*HasRelatedResultType=*/false); | ||||
572 | QualType ConstCharType = Context.CharTy.withConst(); | ||||
573 | ParmVarDecl *value = | ||||
574 | ParmVarDecl::Create(Context, M, | ||||
575 | SourceLocation(), SourceLocation(), | ||||
576 | &Context.Idents.get("value"), | ||||
577 | Context.getPointerType(ConstCharType), | ||||
578 | /*TInfo=*/nullptr, | ||||
579 | SC_None, nullptr); | ||||
580 | M->setMethodParams(Context, value, None); | ||||
581 | BoxingMethod = M; | ||||
582 | } | ||||
583 | |||||
584 | if (!validateBoxingMethod(*this, Loc, NSStringDecl, | ||||
585 | stringWithUTF8String, BoxingMethod)) | ||||
586 | return ExprError(); | ||||
587 | |||||
588 | StringWithUTF8StringMethod = BoxingMethod; | ||||
589 | } | ||||
590 | |||||
591 | BoxingMethod = StringWithUTF8StringMethod; | ||||
592 | BoxedType = NSStringPointer; | ||||
593 | // Transfer the nullability from method's return type. | ||||
594 | Optional<NullabilityKind> Nullability = | ||||
595 | BoxingMethod->getReturnType()->getNullability(Context); | ||||
596 | if (Nullability) | ||||
597 | BoxedType = Context.getAttributedType( | ||||
598 | AttributedType::getNullabilityAttrKind(*Nullability), BoxedType, | ||||
599 | BoxedType); | ||||
600 | } | ||||
601 | } else if (ValueType->isBuiltinType()) { | ||||
602 | // The other types we support are numeric, char and BOOL/bool. We could also | ||||
603 | // provide limited support for structure types, such as NSRange, NSRect, and | ||||
604 | // NSSize. See NSValue (NSValueGeometryExtensions) in <Foundation/NSGeometry.h> | ||||
605 | // for more details. | ||||
606 | |||||
607 | // Check for a top-level character literal. | ||||
608 | if (const CharacterLiteral *Char = | ||||
609 | dyn_cast<CharacterLiteral>(ValueExpr->IgnoreParens())) { | ||||
610 | // In C, character literals have type 'int'. That's not the type we want | ||||
611 | // to use to determine the Objective-c literal kind. | ||||
612 | switch (Char->getKind()) { | ||||
613 | case CharacterLiteral::Ascii: | ||||
614 | case CharacterLiteral::UTF8: | ||||
615 | ValueType = Context.CharTy; | ||||
616 | break; | ||||
617 | |||||
618 | case CharacterLiteral::Wide: | ||||
619 | ValueType = Context.getWideCharType(); | ||||
620 | break; | ||||
621 | |||||
622 | case CharacterLiteral::UTF16: | ||||
623 | ValueType = Context.Char16Ty; | ||||
624 | break; | ||||
625 | |||||
626 | case CharacterLiteral::UTF32: | ||||
627 | ValueType = Context.Char32Ty; | ||||
628 | break; | ||||
629 | } | ||||
630 | } | ||||
631 | // FIXME: Do I need to do anything special with BoolTy expressions? | ||||
632 | |||||
633 | // Look for the appropriate method within NSNumber. | ||||
634 | BoxingMethod = getNSNumberFactoryMethod(*this, Loc, ValueType); | ||||
635 | BoxedType = NSNumberPointer; | ||||
636 | } else if (const EnumType *ET = ValueType->getAs<EnumType>()) { | ||||
637 | if (!ET->getDecl()->isComplete()) { | ||||
638 | Diag(Loc, diag::err_objc_incomplete_boxed_expression_type) | ||||
639 | << ValueType << ValueExpr->getSourceRange(); | ||||
640 | return ExprError(); | ||||
641 | } | ||||
642 | |||||
643 | BoxingMethod = getNSNumberFactoryMethod(*this, Loc, | ||||
644 | ET->getDecl()->getIntegerType()); | ||||
645 | BoxedType = NSNumberPointer; | ||||
646 | } else if (ValueType->isObjCBoxableRecordType()) { | ||||
647 | // Support for structure types, that marked as objc_boxable | ||||
648 | // struct __attribute__((objc_boxable)) s { ... }; | ||||
649 | |||||
650 | // Look up the NSValue class, if we haven't done so already. It's cached | ||||
651 | // in the Sema instance. | ||||
652 | if (!NSValueDecl) { | ||||
653 | NSValueDecl = LookupObjCInterfaceDeclForLiteral(*this, Loc, | ||||
654 | Sema::LK_Boxed); | ||||
655 | if (!NSValueDecl) { | ||||
656 | return ExprError(); | ||||
657 | } | ||||
658 | |||||
659 | // generate the pointer to NSValue type. | ||||
660 | QualType NSValueObject = Context.getObjCInterfaceType(NSValueDecl); | ||||
661 | NSValuePointer = Context.getObjCObjectPointerType(NSValueObject); | ||||
662 | } | ||||
663 | |||||
664 | if (!ValueWithBytesObjCTypeMethod) { | ||||
665 | IdentifierInfo *II[] = { | ||||
666 | &Context.Idents.get("valueWithBytes"), | ||||
667 | &Context.Idents.get("objCType") | ||||
668 | }; | ||||
669 | Selector ValueWithBytesObjCType = Context.Selectors.getSelector(2, II); | ||||
670 | |||||
671 | // Look for the appropriate method within NSValue. | ||||
672 | BoxingMethod = NSValueDecl->lookupClassMethod(ValueWithBytesObjCType); | ||||
673 | if (!BoxingMethod && getLangOpts().DebuggerObjCLiteral) { | ||||
674 | // Debugger needs to work even if NSValue hasn't been defined. | ||||
675 | TypeSourceInfo *ReturnTInfo = nullptr; | ||||
676 | ObjCMethodDecl *M = ObjCMethodDecl::Create( | ||||
677 | Context, SourceLocation(), SourceLocation(), ValueWithBytesObjCType, | ||||
678 | NSValuePointer, ReturnTInfo, NSValueDecl, | ||||
679 | /*isInstance=*/false, | ||||
680 | /*isVariadic=*/false, | ||||
681 | /*isPropertyAccessor=*/false, | ||||
682 | /*isSynthesizedAccessorStub=*/false, | ||||
683 | /*isImplicitlyDeclared=*/true, | ||||
684 | /*isDefined=*/false, ObjCMethodDecl::Required, | ||||
685 | /*HasRelatedResultType=*/false); | ||||
686 | |||||
687 | SmallVector<ParmVarDecl *, 2> Params; | ||||
688 | |||||
689 | ParmVarDecl *bytes = | ||||
690 | ParmVarDecl::Create(Context, M, | ||||
691 | SourceLocation(), SourceLocation(), | ||||
692 | &Context.Idents.get("bytes"), | ||||
693 | Context.VoidPtrTy.withConst(), | ||||
694 | /*TInfo=*/nullptr, | ||||
695 | SC_None, nullptr); | ||||
696 | Params.push_back(bytes); | ||||
697 | |||||
698 | QualType ConstCharType = Context.CharTy.withConst(); | ||||
699 | ParmVarDecl *type = | ||||
700 | ParmVarDecl::Create(Context, M, | ||||
701 | SourceLocation(), SourceLocation(), | ||||
702 | &Context.Idents.get("type"), | ||||
703 | Context.getPointerType(ConstCharType), | ||||
704 | /*TInfo=*/nullptr, | ||||
705 | SC_None, nullptr); | ||||
706 | Params.push_back(type); | ||||
707 | |||||
708 | M->setMethodParams(Context, Params, None); | ||||
709 | BoxingMethod = M; | ||||
710 | } | ||||
711 | |||||
712 | if (!validateBoxingMethod(*this, Loc, NSValueDecl, | ||||
713 | ValueWithBytesObjCType, BoxingMethod)) | ||||
714 | return ExprError(); | ||||
715 | |||||
716 | ValueWithBytesObjCTypeMethod = BoxingMethod; | ||||
717 | } | ||||
718 | |||||
719 | if (!ValueType.isTriviallyCopyableType(Context)) { | ||||
720 | Diag(Loc, diag::err_objc_non_trivially_copyable_boxed_expression_type) | ||||
721 | << ValueType << ValueExpr->getSourceRange(); | ||||
722 | return ExprError(); | ||||
723 | } | ||||
724 | |||||
725 | BoxingMethod = ValueWithBytesObjCTypeMethod; | ||||
726 | BoxedType = NSValuePointer; | ||||
727 | } | ||||
728 | |||||
729 | if (!BoxingMethod) { | ||||
730 | Diag(Loc, diag::err_objc_illegal_boxed_expression_type) | ||||
731 | << ValueType << ValueExpr->getSourceRange(); | ||||
732 | return ExprError(); | ||||
733 | } | ||||
734 | |||||
735 | DiagnoseUseOfDecl(BoxingMethod, Loc); | ||||
736 | |||||
737 | ExprResult ConvertedValueExpr; | ||||
738 | if (ValueType->isObjCBoxableRecordType()) { | ||||
739 | InitializedEntity IE = InitializedEntity::InitializeTemporary(ValueType); | ||||
740 | ConvertedValueExpr = PerformCopyInitialization(IE, ValueExpr->getExprLoc(), | ||||
741 | ValueExpr); | ||||
742 | } else { | ||||
743 | // Convert the expression to the type that the parameter requires. | ||||
744 | ParmVarDecl *ParamDecl = BoxingMethod->parameters()[0]; | ||||
745 | InitializedEntity IE = InitializedEntity::InitializeParameter(Context, | ||||
746 | ParamDecl); | ||||
747 | ConvertedValueExpr = PerformCopyInitialization(IE, SourceLocation(), | ||||
748 | ValueExpr); | ||||
749 | } | ||||
750 | |||||
751 | if (ConvertedValueExpr.isInvalid()) | ||||
752 | return ExprError(); | ||||
753 | ValueExpr = ConvertedValueExpr.get(); | ||||
754 | |||||
755 | ObjCBoxedExpr *BoxedExpr = | ||||
756 | new (Context) ObjCBoxedExpr(ValueExpr, BoxedType, | ||||
757 | BoxingMethod, SR); | ||||
758 | return MaybeBindToTemporary(BoxedExpr); | ||||
759 | } | ||||
760 | |||||
761 | /// Build an ObjC subscript pseudo-object expression, given that | ||||
762 | /// that's supported by the runtime. | ||||
763 | ExprResult Sema::BuildObjCSubscriptExpression(SourceLocation RB, Expr *BaseExpr, | ||||
764 | Expr *IndexExpr, | ||||
765 | ObjCMethodDecl *getterMethod, | ||||
766 | ObjCMethodDecl *setterMethod) { | ||||
767 | assert(!LangOpts.isSubscriptPointerArithmetic())(static_cast <bool> (!LangOpts.isSubscriptPointerArithmetic ()) ? void (0) : __assert_fail ("!LangOpts.isSubscriptPointerArithmetic()" , "/build/llvm-toolchain-snapshot-14~++20210828111110+16086d47c0d0/clang/lib/Sema/SemaExprObjC.cpp" , 767, __extension__ __PRETTY_FUNCTION__)); | ||||
768 | |||||
769 | // We can't get dependent types here; our callers should have | ||||
770 | // filtered them out. | ||||
771 | assert((!BaseExpr->isTypeDependent() && !IndexExpr->isTypeDependent()) &&(static_cast <bool> ((!BaseExpr->isTypeDependent() && !IndexExpr->isTypeDependent()) && "base or index cannot have dependent type here" ) ? void (0) : __assert_fail ("(!BaseExpr->isTypeDependent() && !IndexExpr->isTypeDependent()) && \"base or index cannot have dependent type here\"" , "/build/llvm-toolchain-snapshot-14~++20210828111110+16086d47c0d0/clang/lib/Sema/SemaExprObjC.cpp" , 772, __extension__ __PRETTY_FUNCTION__)) | ||||
772 | "base or index cannot have dependent type here")(static_cast <bool> ((!BaseExpr->isTypeDependent() && !IndexExpr->isTypeDependent()) && "base or index cannot have dependent type here" ) ? void (0) : __assert_fail ("(!BaseExpr->isTypeDependent() && !IndexExpr->isTypeDependent()) && \"base or index cannot have dependent type here\"" , "/build/llvm-toolchain-snapshot-14~++20210828111110+16086d47c0d0/clang/lib/Sema/SemaExprObjC.cpp" , 772, __extension__ __PRETTY_FUNCTION__)); | ||||
773 | |||||
774 | // Filter out placeholders in the index. In theory, overloads could | ||||
775 | // be preserved here, although that might not actually work correctly. | ||||
776 | ExprResult Result = CheckPlaceholderExpr(IndexExpr); | ||||
777 | if (Result.isInvalid()) | ||||
778 | return ExprError(); | ||||
779 | IndexExpr = Result.get(); | ||||
780 | |||||
781 | // Perform lvalue-to-rvalue conversion on the base. | ||||
782 | Result = DefaultLvalueConversion(BaseExpr); | ||||
783 | if (Result.isInvalid()) | ||||
784 | return ExprError(); | ||||
785 | BaseExpr = Result.get(); | ||||
786 | |||||
787 | // Build the pseudo-object expression. | ||||
788 | return new (Context) ObjCSubscriptRefExpr( | ||||
789 | BaseExpr, IndexExpr, Context.PseudoObjectTy, VK_LValue, OK_ObjCSubscript, | ||||
790 | getterMethod, setterMethod, RB); | ||||
791 | } | ||||
792 | |||||
793 | ExprResult Sema::BuildObjCArrayLiteral(SourceRange SR, MultiExprArg Elements) { | ||||
794 | SourceLocation Loc = SR.getBegin(); | ||||
795 | |||||
796 | if (!NSArrayDecl) { | ||||
797 | NSArrayDecl = LookupObjCInterfaceDeclForLiteral(*this, Loc, | ||||
798 | Sema::LK_Array); | ||||
799 | if (!NSArrayDecl) { | ||||
800 | return ExprError(); | ||||
801 | } | ||||
802 | } | ||||
803 | |||||
804 | // Find the arrayWithObjects:count: method, if we haven't done so already. | ||||
805 | QualType IdT = Context.getObjCIdType(); | ||||
806 | if (!ArrayWithObjectsMethod) { | ||||
807 | Selector | ||||
808 | Sel = NSAPIObj->getNSArraySelector(NSAPI::NSArr_arrayWithObjectsCount); | ||||
809 | ObjCMethodDecl *Method = NSArrayDecl->lookupClassMethod(Sel); | ||||
810 | if (!Method && getLangOpts().DebuggerObjCLiteral) { | ||||
811 | TypeSourceInfo *ReturnTInfo = nullptr; | ||||
812 | Method = ObjCMethodDecl::Create( | ||||
813 | Context, SourceLocation(), SourceLocation(), Sel, IdT, ReturnTInfo, | ||||
814 | Context.getTranslationUnitDecl(), false /*Instance*/, | ||||
815 | false /*isVariadic*/, | ||||
816 | /*isPropertyAccessor=*/false, /*isSynthesizedAccessorStub=*/false, | ||||
817 | /*isImplicitlyDeclared=*/true, /*isDefined=*/false, | ||||
818 | ObjCMethodDecl::Required, false); | ||||
819 | SmallVector<ParmVarDecl *, 2> Params; | ||||
820 | ParmVarDecl *objects = ParmVarDecl::Create(Context, Method, | ||||
821 | SourceLocation(), | ||||
822 | SourceLocation(), | ||||
823 | &Context.Idents.get("objects"), | ||||
824 | Context.getPointerType(IdT), | ||||
825 | /*TInfo=*/nullptr, | ||||
826 | SC_None, nullptr); | ||||
827 | Params.push_back(objects); | ||||
828 | ParmVarDecl *cnt = ParmVarDecl::Create(Context, Method, | ||||
829 | SourceLocation(), | ||||
830 | SourceLocation(), | ||||
831 | &Context.Idents.get("cnt"), | ||||
832 | Context.UnsignedLongTy, | ||||
833 | /*TInfo=*/nullptr, SC_None, | ||||
834 | nullptr); | ||||
835 | Params.push_back(cnt); | ||||
836 | Method->setMethodParams(Context, Params, None); | ||||
837 | } | ||||
838 | |||||
839 | if (!validateBoxingMethod(*this, Loc, NSArrayDecl, Sel, Method)) | ||||
840 | return ExprError(); | ||||
841 | |||||
842 | // Dig out the type that all elements should be converted to. | ||||
843 | QualType T = Method->parameters()[0]->getType(); | ||||
844 | const PointerType *PtrT = T->getAs<PointerType>(); | ||||
845 | if (!PtrT || | ||||
846 | !Context.hasSameUnqualifiedType(PtrT->getPointeeType(), IdT)) { | ||||
847 | Diag(SR.getBegin(), diag::err_objc_literal_method_sig) | ||||
848 | << Sel; | ||||
849 | Diag(Method->parameters()[0]->getLocation(), | ||||
850 | diag::note_objc_literal_method_param) | ||||
851 | << 0 << T | ||||
852 | << Context.getPointerType(IdT.withConst()); | ||||
853 | return ExprError(); | ||||
854 | } | ||||
855 | |||||
856 | // Check that the 'count' parameter is integral. | ||||
857 | if (!Method->parameters()[1]->getType()->isIntegerType()) { | ||||
858 | Diag(SR.getBegin(), diag::err_objc_literal_method_sig) | ||||
859 | << Sel; | ||||
860 | Diag(Method->parameters()[1]->getLocation(), | ||||
861 | diag::note_objc_literal_method_param) | ||||
862 | << 1 | ||||
863 | << Method->parameters()[1]->getType() | ||||
864 | << "integral"; | ||||
865 | return ExprError(); | ||||
866 | } | ||||
867 | |||||
868 | // We've found a good +arrayWithObjects:count: method. Save it! | ||||
869 | ArrayWithObjectsMethod = Method; | ||||
870 | } | ||||
871 | |||||
872 | QualType ObjectsType = ArrayWithObjectsMethod->parameters()[0]->getType(); | ||||
873 | QualType RequiredType = ObjectsType->castAs<PointerType>()->getPointeeType(); | ||||
874 | |||||
875 | // Check that each of the elements provided is valid in a collection literal, | ||||
876 | // performing conversions as necessary. | ||||
877 | Expr **ElementsBuffer = Elements.data(); | ||||
878 | for (unsigned I = 0, N = Elements.size(); I != N; ++I) { | ||||
879 | ExprResult Converted = CheckObjCCollectionLiteralElement(*this, | ||||
880 | ElementsBuffer[I], | ||||
881 | RequiredType, true); | ||||
882 | if (Converted.isInvalid()) | ||||
883 | return ExprError(); | ||||
884 | |||||
885 | ElementsBuffer[I] = Converted.get(); | ||||
886 | } | ||||
887 | |||||
888 | QualType Ty | ||||
889 | = Context.getObjCObjectPointerType( | ||||
890 | Context.getObjCInterfaceType(NSArrayDecl)); | ||||
891 | |||||
892 | return MaybeBindToTemporary( | ||||
893 | ObjCArrayLiteral::Create(Context, Elements, Ty, | ||||
894 | ArrayWithObjectsMethod, SR)); | ||||
895 | } | ||||
896 | |||||
897 | /// Check for duplicate keys in an ObjC dictionary literal. For instance: | ||||
898 | /// NSDictionary *nd = @{ @"foo" : @"bar", @"foo" : @"baz" }; | ||||
899 | static void | ||||
900 | CheckObjCDictionaryLiteralDuplicateKeys(Sema &S, | ||||
901 | ObjCDictionaryLiteral *Literal) { | ||||
902 | if (Literal->isValueDependent() || Literal->isTypeDependent()) | ||||
903 | return; | ||||
904 | |||||
905 | // NSNumber has quite relaxed equality semantics (for instance, @YES is | ||||
906 | // considered equal to @1.0). For now, ignore floating points and just do a | ||||
907 | // bit-width and sign agnostic integer compare. | ||||
908 | struct APSIntCompare { | ||||
909 | bool operator()(const llvm::APSInt &LHS, const llvm::APSInt &RHS) const { | ||||
910 | return llvm::APSInt::compareValues(LHS, RHS) < 0; | ||||
911 | } | ||||
912 | }; | ||||
913 | |||||
914 | llvm::DenseMap<StringRef, SourceLocation> StringKeys; | ||||
915 | std::map<llvm::APSInt, SourceLocation, APSIntCompare> IntegralKeys; | ||||
916 | |||||
917 | auto checkOneKey = [&](auto &Map, const auto &Key, SourceLocation Loc) { | ||||
918 | auto Pair = Map.insert({Key, Loc}); | ||||
919 | if (!Pair.second) { | ||||
920 | S.Diag(Loc, diag::warn_nsdictionary_duplicate_key); | ||||
921 | S.Diag(Pair.first->second, diag::note_nsdictionary_duplicate_key_here); | ||||
922 | } | ||||
923 | }; | ||||
924 | |||||
925 | for (unsigned Idx = 0, End = Literal->getNumElements(); Idx != End; ++Idx) { | ||||
926 | Expr *Key = Literal->getKeyValueElement(Idx).Key->IgnoreParenImpCasts(); | ||||
927 | |||||
928 | if (auto *StrLit = dyn_cast<ObjCStringLiteral>(Key)) { | ||||
929 | StringRef Bytes = StrLit->getString()->getBytes(); | ||||
930 | SourceLocation Loc = StrLit->getExprLoc(); | ||||
931 | checkOneKey(StringKeys, Bytes, Loc); | ||||
932 | } | ||||
933 | |||||
934 | if (auto *BE = dyn_cast<ObjCBoxedExpr>(Key)) { | ||||
935 | Expr *Boxed = BE->getSubExpr(); | ||||
936 | SourceLocation Loc = BE->getExprLoc(); | ||||
937 | |||||
938 | // Check for @("foo"). | ||||
939 | if (auto *Str = dyn_cast<StringLiteral>(Boxed->IgnoreParenImpCasts())) { | ||||
940 | checkOneKey(StringKeys, Str->getBytes(), Loc); | ||||
941 | continue; | ||||
942 | } | ||||
943 | |||||
944 | Expr::EvalResult Result; | ||||
945 | if (Boxed->EvaluateAsInt(Result, S.getASTContext(), | ||||
946 | Expr::SE_AllowSideEffects)) { | ||||
947 | checkOneKey(IntegralKeys, Result.Val.getInt(), Loc); | ||||
948 | } | ||||
949 | } | ||||
950 | } | ||||
951 | } | ||||
952 | |||||
953 | ExprResult Sema::BuildObjCDictionaryLiteral(SourceRange SR, | ||||
954 | MutableArrayRef<ObjCDictionaryElement> Elements) { | ||||
955 | SourceLocation Loc = SR.getBegin(); | ||||
956 | |||||
957 | if (!NSDictionaryDecl) { | ||||
958 | NSDictionaryDecl = LookupObjCInterfaceDeclForLiteral(*this, Loc, | ||||
959 | Sema::LK_Dictionary); | ||||
960 | if (!NSDictionaryDecl) { | ||||
961 | return ExprError(); | ||||
962 | } | ||||
963 | } | ||||
964 | |||||
965 | // Find the dictionaryWithObjects:forKeys:count: method, if we haven't done | ||||
966 | // so already. | ||||
967 | QualType IdT = Context.getObjCIdType(); | ||||
968 | if (!DictionaryWithObjectsMethod) { | ||||
969 | Selector Sel = NSAPIObj->getNSDictionarySelector( | ||||
970 | NSAPI::NSDict_dictionaryWithObjectsForKeysCount); | ||||
971 | ObjCMethodDecl *Method = NSDictionaryDecl->lookupClassMethod(Sel); | ||||
972 | if (!Method && getLangOpts().DebuggerObjCLiteral) { | ||||
973 | Method = ObjCMethodDecl::Create( | ||||
974 | Context, SourceLocation(), SourceLocation(), Sel, IdT, | ||||
975 | nullptr /*TypeSourceInfo */, Context.getTranslationUnitDecl(), | ||||
976 | false /*Instance*/, false /*isVariadic*/, | ||||
977 | /*isPropertyAccessor=*/false, | ||||
978 | /*isSynthesizedAccessorStub=*/false, | ||||
979 | /*isImplicitlyDeclared=*/true, /*isDefined=*/false, | ||||
980 | ObjCMethodDecl::Required, false); | ||||
981 | SmallVector<ParmVarDecl *, 3> Params; | ||||
982 | ParmVarDecl *objects = ParmVarDecl::Create(Context, Method, | ||||
983 | SourceLocation(), | ||||
984 | SourceLocation(), | ||||
985 | &Context.Idents.get("objects"), | ||||
986 | Context.getPointerType(IdT), | ||||
987 | /*TInfo=*/nullptr, SC_None, | ||||
988 | nullptr); | ||||
989 | Params.push_back(objects); | ||||
990 | ParmVarDecl *keys = ParmVarDecl::Create(Context, Method, | ||||
991 | SourceLocation(), | ||||
992 | SourceLocation(), | ||||
993 | &Context.Idents.get("keys"), | ||||
994 | Context.getPointerType(IdT), | ||||
995 | /*TInfo=*/nullptr, SC_None, | ||||
996 | nullptr); | ||||
997 | Params.push_back(keys); | ||||
998 | ParmVarDecl *cnt = ParmVarDecl::Create(Context, Method, | ||||
999 | SourceLocation(), | ||||
1000 | SourceLocation(), | ||||
1001 | &Context.Idents.get("cnt"), | ||||
1002 | Context.UnsignedLongTy, | ||||
1003 | /*TInfo=*/nullptr, SC_None, | ||||
1004 | nullptr); | ||||
1005 | Params.push_back(cnt); | ||||
1006 | Method->setMethodParams(Context, Params, None); | ||||
1007 | } | ||||
1008 | |||||
1009 | if (!validateBoxingMethod(*this, SR.getBegin(), NSDictionaryDecl, Sel, | ||||
1010 | Method)) | ||||
1011 | return ExprError(); | ||||
1012 | |||||
1013 | // Dig out the type that all values should be converted to. | ||||
1014 | QualType ValueT = Method->parameters()[0]->getType(); | ||||
1015 | const PointerType *PtrValue = ValueT->getAs<PointerType>(); | ||||
1016 | if (!PtrValue || | ||||
1017 | !Context.hasSameUnqualifiedType(PtrValue->getPointeeType(), IdT)) { | ||||
1018 | Diag(SR.getBegin(), diag::err_objc_literal_method_sig) | ||||
1019 | << Sel; | ||||
1020 | Diag(Method->parameters()[0]->getLocation(), | ||||
1021 | diag::note_objc_literal_method_param) | ||||
1022 | << 0 << ValueT | ||||
1023 | << Context.getPointerType(IdT.withConst()); | ||||
1024 | return ExprError(); | ||||
1025 | } | ||||
1026 | |||||
1027 | // Dig out the type that all keys should be converted to. | ||||
1028 | QualType KeyT = Method->parameters()[1]->getType(); | ||||
1029 | const PointerType *PtrKey = KeyT->getAs<PointerType>(); | ||||
1030 | if (!PtrKey || | ||||
1031 | !Context.hasSameUnqualifiedType(PtrKey->getPointeeType(), | ||||
1032 | IdT)) { | ||||
1033 | bool err = true; | ||||
1034 | if (PtrKey) { | ||||
1035 | if (QIDNSCopying.isNull()) { | ||||
1036 | // key argument of selector is id<NSCopying>? | ||||
1037 | if (ObjCProtocolDecl *NSCopyingPDecl = | ||||
1038 | LookupProtocol(&Context.Idents.get("NSCopying"), SR.getBegin())) { | ||||
1039 | ObjCProtocolDecl *PQ[] = {NSCopyingPDecl}; | ||||
1040 | QIDNSCopying = | ||||
1041 | Context.getObjCObjectType(Context.ObjCBuiltinIdTy, { }, | ||||
1042 | llvm::makeArrayRef( | ||||
1043 | (ObjCProtocolDecl**) PQ, | ||||
1044 | 1), | ||||
1045 | false); | ||||
1046 | QIDNSCopying = Context.getObjCObjectPointerType(QIDNSCopying); | ||||
1047 | } | ||||
1048 | } | ||||
1049 | if (!QIDNSCopying.isNull()) | ||||
1050 | err = !Context.hasSameUnqualifiedType(PtrKey->getPointeeType(), | ||||
1051 | QIDNSCopying); | ||||
1052 | } | ||||
1053 | |||||
1054 | if (err) { | ||||
1055 | Diag(SR.getBegin(), diag::err_objc_literal_method_sig) | ||||
1056 | << Sel; | ||||
1057 | Diag(Method->parameters()[1]->getLocation(), | ||||
1058 | diag::note_objc_literal_method_param) | ||||
1059 | << 1 << KeyT | ||||
1060 | << Context.getPointerType(IdT.withConst()); | ||||
1061 | return ExprError(); | ||||
1062 | } | ||||
1063 | } | ||||
1064 | |||||
1065 | // Check that the 'count' parameter is integral. | ||||
1066 | QualType CountType = Method->parameters()[2]->getType(); | ||||
1067 | if (!CountType->isIntegerType()) { | ||||
1068 | Diag(SR.getBegin(), diag::err_objc_literal_method_sig) | ||||
1069 | << Sel; | ||||
1070 | Diag(Method->parameters()[2]->getLocation(), | ||||
1071 | diag::note_objc_literal_method_param) | ||||
1072 | << 2 << CountType | ||||
1073 | << "integral"; | ||||
1074 | return ExprError(); | ||||
1075 | } | ||||
1076 | |||||
1077 | // We've found a good +dictionaryWithObjects:keys:count: method; save it! | ||||
1078 | DictionaryWithObjectsMethod = Method; | ||||
1079 | } | ||||
1080 | |||||
1081 | QualType ValuesT = DictionaryWithObjectsMethod->parameters()[0]->getType(); | ||||
1082 | QualType ValueT = ValuesT->castAs<PointerType>()->getPointeeType(); | ||||
1083 | QualType KeysT = DictionaryWithObjectsMethod->parameters()[1]->getType(); | ||||
1084 | QualType KeyT = KeysT->castAs<PointerType>()->getPointeeType(); | ||||
1085 | |||||
1086 | // Check that each of the keys and values provided is valid in a collection | ||||
1087 | // literal, performing conversions as necessary. | ||||
1088 | bool HasPackExpansions = false; | ||||
1089 | for (ObjCDictionaryElement &Element : Elements) { | ||||
1090 | // Check the key. | ||||
1091 | ExprResult Key = CheckObjCCollectionLiteralElement(*this, Element.Key, | ||||
1092 | KeyT); | ||||
1093 | if (Key.isInvalid()) | ||||
1094 | return ExprError(); | ||||
1095 | |||||
1096 | // Check the value. | ||||
1097 | ExprResult Value | ||||
1098 | = CheckObjCCollectionLiteralElement(*this, Element.Value, ValueT); | ||||
1099 | if (Value.isInvalid()) | ||||
1100 | return ExprError(); | ||||
1101 | |||||
1102 | Element.Key = Key.get(); | ||||
1103 | Element.Value = Value.get(); | ||||
1104 | |||||
1105 | if (Element.EllipsisLoc.isInvalid()) | ||||
1106 | continue; | ||||
1107 | |||||
1108 | if (!Element.Key->containsUnexpandedParameterPack() && | ||||
1109 | !Element.Value->containsUnexpandedParameterPack()) { | ||||
1110 | Diag(Element.EllipsisLoc, | ||||
1111 | diag::err_pack_expansion_without_parameter_packs) | ||||
1112 | << SourceRange(Element.Key->getBeginLoc(), | ||||
1113 | Element.Value->getEndLoc()); | ||||
1114 | return ExprError(); | ||||
1115 | } | ||||
1116 | |||||
1117 | HasPackExpansions = true; | ||||
1118 | } | ||||
1119 | |||||
1120 | QualType Ty = Context.getObjCObjectPointerType( | ||||
1121 | Context.getObjCInterfaceType(NSDictionaryDecl)); | ||||
1122 | |||||
1123 | auto *Literal = | ||||
1124 | ObjCDictionaryLiteral::Create(Context, Elements, HasPackExpansions, Ty, | ||||
1125 | DictionaryWithObjectsMethod, SR); | ||||
1126 | CheckObjCDictionaryLiteralDuplicateKeys(*this, Literal); | ||||
1127 | return MaybeBindToTemporary(Literal); | ||||
1128 | } | ||||
1129 | |||||
1130 | ExprResult Sema::BuildObjCEncodeExpression(SourceLocation AtLoc, | ||||
1131 | TypeSourceInfo *EncodedTypeInfo, | ||||
1132 | SourceLocation RParenLoc) { | ||||
1133 | QualType EncodedType = EncodedTypeInfo->getType(); | ||||
1134 | QualType StrTy; | ||||
1135 | if (EncodedType->isDependentType()) | ||||
1136 | StrTy = Context.DependentTy; | ||||
1137 | else { | ||||
1138 | if (!EncodedType->getAsArrayTypeUnsafe() && //// Incomplete array is handled. | ||||
1139 | !EncodedType->isVoidType()) // void is handled too. | ||||
1140 | if (RequireCompleteType(AtLoc, EncodedType, | ||||
1141 | diag::err_incomplete_type_objc_at_encode, | ||||
1142 | EncodedTypeInfo->getTypeLoc())) | ||||
1143 | return ExprError(); | ||||
1144 | |||||
1145 | std::string Str; | ||||
1146 | QualType NotEncodedT; | ||||
1147 | Context.getObjCEncodingForType(EncodedType, Str, nullptr, &NotEncodedT); | ||||
1148 | if (!NotEncodedT.isNull()) | ||||
1149 | Diag(AtLoc, diag::warn_incomplete_encoded_type) | ||||
1150 | << EncodedType << NotEncodedT; | ||||
1151 | |||||
1152 | // The type of @encode is the same as the type of the corresponding string, | ||||
1153 | // which is an array type. | ||||
1154 | StrTy = Context.getStringLiteralArrayType(Context.CharTy, Str.size()); | ||||
1155 | } | ||||
1156 | |||||
1157 | return new (Context) ObjCEncodeExpr(StrTy, EncodedTypeInfo, AtLoc, RParenLoc); | ||||
1158 | } | ||||
1159 | |||||
1160 | ExprResult Sema::ParseObjCEncodeExpression(SourceLocation AtLoc, | ||||
1161 | SourceLocation EncodeLoc, | ||||
1162 | SourceLocation LParenLoc, | ||||
1163 | ParsedType ty, | ||||
1164 | SourceLocation RParenLoc) { | ||||
1165 | // FIXME: Preserve type source info ? | ||||
1166 | TypeSourceInfo *TInfo; | ||||
1167 | QualType EncodedType = GetTypeFromParser(ty, &TInfo); | ||||
1168 | if (!TInfo) | ||||
1169 | TInfo = Context.getTrivialTypeSourceInfo(EncodedType, | ||||
1170 | getLocForEndOfToken(LParenLoc)); | ||||
1171 | |||||
1172 | return BuildObjCEncodeExpression(AtLoc, TInfo, RParenLoc); | ||||
1173 | } | ||||
1174 | |||||
1175 | static bool HelperToDiagnoseMismatchedMethodsInGlobalPool(Sema &S, | ||||
1176 | SourceLocation AtLoc, | ||||
1177 | SourceLocation LParenLoc, | ||||
1178 | SourceLocation RParenLoc, | ||||
1179 | ObjCMethodDecl *Method, | ||||
1180 | ObjCMethodList &MethList) { | ||||
1181 | ObjCMethodList *M = &MethList; | ||||
1182 | bool Warned = false; | ||||
1183 | for (M = M->getNext(); M; M=M->getNext()) { | ||||
1184 | ObjCMethodDecl *MatchingMethodDecl = M->getMethod(); | ||||
1185 | if (MatchingMethodDecl == Method || | ||||
1186 | isa<ObjCImplDecl>(MatchingMethodDecl->getDeclContext()) || | ||||
1187 | MatchingMethodDecl->getSelector() != Method->getSelector()) | ||||
1188 | continue; | ||||
1189 | if (!S.MatchTwoMethodDeclarations(Method, | ||||
1190 | MatchingMethodDecl, Sema::MMS_loose)) { | ||||
1191 | if (!Warned) { | ||||
1192 | Warned = true; | ||||
1193 | S.Diag(AtLoc, diag::warn_multiple_selectors) | ||||
1194 | << Method->getSelector() << FixItHint::CreateInsertion(LParenLoc, "(") | ||||
1195 | << FixItHint::CreateInsertion(RParenLoc, ")"); | ||||
1196 | S.Diag(Method->getLocation(), diag::note_method_declared_at) | ||||
1197 | << Method->getDeclName(); | ||||
1198 | } | ||||
1199 | S.Diag(MatchingMethodDecl->getLocation(), diag::note_method_declared_at) | ||||
1200 | << MatchingMethodDecl->getDeclName(); | ||||
1201 | } | ||||
1202 | } | ||||
1203 | return Warned; | ||||
1204 | } | ||||
1205 | |||||
1206 | static void DiagnoseMismatchedSelectors(Sema &S, SourceLocation AtLoc, | ||||
1207 | ObjCMethodDecl *Method, | ||||
1208 | SourceLocation LParenLoc, | ||||
1209 | SourceLocation RParenLoc, | ||||
1210 | bool WarnMultipleSelectors) { | ||||
1211 | if (!WarnMultipleSelectors || | ||||
1212 | S.Diags.isIgnored(diag::warn_multiple_selectors, SourceLocation())) | ||||
1213 | return; | ||||
1214 | bool Warned = false; | ||||
1215 | for (Sema::GlobalMethodPool::iterator b = S.MethodPool.begin(), | ||||
1216 | e = S.MethodPool.end(); b != e; b++) { | ||||
1217 | // first, instance methods | ||||
1218 | ObjCMethodList &InstMethList = b->second.first; | ||||
1219 | if (HelperToDiagnoseMismatchedMethodsInGlobalPool(S, AtLoc, LParenLoc, RParenLoc, | ||||
1220 | Method, InstMethList)) | ||||
1221 | Warned = true; | ||||
1222 | |||||
1223 | // second, class methods | ||||
1224 | ObjCMethodList &ClsMethList = b->second.second; | ||||
1225 | if (HelperToDiagnoseMismatchedMethodsInGlobalPool(S, AtLoc, LParenLoc, RParenLoc, | ||||
1226 | Method, ClsMethList) || Warned) | ||||
1227 | return; | ||||
1228 | } | ||||
1229 | } | ||||
1230 | |||||
1231 | static ObjCMethodDecl *LookupDirectMethodInMethodList(Sema &S, Selector Sel, | ||||
1232 | ObjCMethodList &MethList, | ||||
1233 | bool &onlyDirect, | ||||
1234 | bool &anyDirect) { | ||||
1235 | (void)Sel; | ||||
1236 | ObjCMethodList *M = &MethList; | ||||
1237 | ObjCMethodDecl *DirectMethod = nullptr; | ||||
1238 | for (; M; M = M->getNext()) { | ||||
1239 | ObjCMethodDecl *Method = M->getMethod(); | ||||
1240 | if (!Method) | ||||
1241 | continue; | ||||
1242 | assert(Method->getSelector() == Sel && "Method with wrong selector in method list")(static_cast <bool> (Method->getSelector() == Sel && "Method with wrong selector in method list") ? void (0) : __assert_fail ("Method->getSelector() == Sel && \"Method with wrong selector in method list\"" , "/build/llvm-toolchain-snapshot-14~++20210828111110+16086d47c0d0/clang/lib/Sema/SemaExprObjC.cpp" , 1242, __extension__ __PRETTY_FUNCTION__)); | ||||
1243 | if (Method->isDirectMethod()) { | ||||
1244 | anyDirect = true; | ||||
1245 | DirectMethod = Method; | ||||
1246 | } else | ||||
1247 | onlyDirect = false; | ||||
1248 | } | ||||
1249 | |||||
1250 | return DirectMethod; | ||||
1251 | } | ||||
1252 | |||||
1253 | // Search the global pool for (potentially) direct methods matching the given | ||||
1254 | // selector. If a non-direct method is found, set \param onlyDirect to false. If | ||||
1255 | // a direct method is found, set \param anyDirect to true. Returns a direct | ||||
1256 | // method, if any. | ||||
1257 | static ObjCMethodDecl *LookupDirectMethodInGlobalPool(Sema &S, Selector Sel, | ||||
1258 | bool &onlyDirect, | ||||
1259 | bool &anyDirect) { | ||||
1260 | auto Iter = S.MethodPool.find(Sel); | ||||
1261 | if (Iter == S.MethodPool.end()) | ||||
1262 | return nullptr; | ||||
1263 | |||||
1264 | ObjCMethodDecl *DirectInstance = LookupDirectMethodInMethodList( | ||||
1265 | S, Sel, Iter->second.first, onlyDirect, anyDirect); | ||||
1266 | ObjCMethodDecl *DirectClass = LookupDirectMethodInMethodList( | ||||
1267 | S, Sel, Iter->second.second, onlyDirect, anyDirect); | ||||
1268 | |||||
1269 | return DirectInstance ? DirectInstance : DirectClass; | ||||
1270 | } | ||||
1271 | |||||
1272 | static ObjCMethodDecl *findMethodInCurrentClass(Sema &S, Selector Sel) { | ||||
1273 | auto *CurMD = S.getCurMethodDecl(); | ||||
1274 | if (!CurMD) | ||||
1275 | return nullptr; | ||||
1276 | ObjCInterfaceDecl *IFace = CurMD->getClassInterface(); | ||||
1277 | |||||
1278 | // The language enforce that only one direct method is present in a given | ||||
1279 | // class, so we just need to find one method in the current class to know | ||||
1280 | // whether Sel is potentially direct in this context. | ||||
1281 | if (ObjCMethodDecl *MD = IFace->lookupMethod(Sel, /*isInstance=*/true)) | ||||
1282 | return MD; | ||||
1283 | if (ObjCMethodDecl *MD = IFace->lookupPrivateMethod(Sel, /*isInstance=*/true)) | ||||
1284 | return MD; | ||||
1285 | if (ObjCMethodDecl *MD = IFace->lookupMethod(Sel, /*isInstance=*/false)) | ||||
1286 | return MD; | ||||
1287 | if (ObjCMethodDecl *MD = IFace->lookupPrivateMethod(Sel, /*isInstance=*/false)) | ||||
1288 | return MD; | ||||
1289 | |||||
1290 | return nullptr; | ||||
1291 | } | ||||
1292 | |||||
1293 | ExprResult Sema::ParseObjCSelectorExpression(Selector Sel, | ||||
1294 | SourceLocation AtLoc, | ||||
1295 | SourceLocation SelLoc, | ||||
1296 | SourceLocation LParenLoc, | ||||
1297 | SourceLocation RParenLoc, | ||||
1298 | bool WarnMultipleSelectors) { | ||||
1299 | ObjCMethodDecl *Method = LookupInstanceMethodInGlobalPool(Sel, | ||||
1300 | SourceRange(LParenLoc, RParenLoc)); | ||||
1301 | if (!Method) | ||||
1302 | Method = LookupFactoryMethodInGlobalPool(Sel, | ||||
1303 | SourceRange(LParenLoc, RParenLoc)); | ||||
1304 | if (!Method) { | ||||
1305 | if (const ObjCMethodDecl *OM = SelectorsForTypoCorrection(Sel)) { | ||||
1306 | Selector MatchedSel = OM->getSelector(); | ||||
1307 | SourceRange SelectorRange(LParenLoc.getLocWithOffset(1), | ||||
1308 | RParenLoc.getLocWithOffset(-1)); | ||||
1309 | Diag(SelLoc, diag::warn_undeclared_selector_with_typo) | ||||
1310 | << Sel << MatchedSel | ||||
1311 | << FixItHint::CreateReplacement(SelectorRange, MatchedSel.getAsString()); | ||||
1312 | |||||
1313 | } else | ||||
1314 | Diag(SelLoc, diag::warn_undeclared_selector) << Sel; | ||||
1315 | } else { | ||||
1316 | DiagnoseMismatchedSelectors(*this, AtLoc, Method, LParenLoc, RParenLoc, | ||||
1317 | WarnMultipleSelectors); | ||||
1318 | |||||
1319 | bool onlyDirect = true; | ||||
1320 | bool anyDirect = false; | ||||
1321 | ObjCMethodDecl *GlobalDirectMethod = | ||||
1322 | LookupDirectMethodInGlobalPool(*this, Sel, onlyDirect, anyDirect); | ||||
1323 | |||||
1324 | if (onlyDirect) { | ||||
1325 | Diag(AtLoc, diag::err_direct_selector_expression) | ||||
1326 | << Method->getSelector(); | ||||
1327 | Diag(Method->getLocation(), diag::note_direct_method_declared_at) | ||||
1328 | << Method->getDeclName(); | ||||
1329 | } else if (anyDirect) { | ||||
1330 | // If we saw any direct methods, see if we see a direct member of the | ||||
1331 | // current class. If so, the @selector will likely be used to refer to | ||||
1332 | // this direct method. | ||||
1333 | ObjCMethodDecl *LikelyTargetMethod = findMethodInCurrentClass(*this, Sel); | ||||
1334 | if (LikelyTargetMethod && LikelyTargetMethod->isDirectMethod()) { | ||||
1335 | Diag(AtLoc, diag::warn_potentially_direct_selector_expression) << Sel; | ||||
1336 | Diag(LikelyTargetMethod->getLocation(), | ||||
1337 | diag::note_direct_method_declared_at) | ||||
1338 | << LikelyTargetMethod->getDeclName(); | ||||
1339 | } else if (!LikelyTargetMethod) { | ||||
1340 | // Otherwise, emit the "strict" variant of this diagnostic, unless | ||||
1341 | // LikelyTargetMethod is non-direct. | ||||
1342 | Diag(AtLoc, diag::warn_strict_potentially_direct_selector_expression) | ||||
1343 | << Sel; | ||||
1344 | Diag(GlobalDirectMethod->getLocation(), | ||||
1345 | diag::note_direct_method_declared_at) | ||||
1346 | << GlobalDirectMethod->getDeclName(); | ||||
1347 | } | ||||
1348 | } | ||||
1349 | } | ||||
1350 | |||||
1351 | if (Method && | ||||
1352 | Method->getImplementationControl() != ObjCMethodDecl::Optional && | ||||
1353 | !getSourceManager().isInSystemHeader(Method->getLocation())) | ||||
1354 | ReferencedSelectors.insert(std::make_pair(Sel, AtLoc)); | ||||
1355 | |||||
1356 | // In ARC, forbid the user from using @selector for | ||||
1357 | // retain/release/autorelease/dealloc/retainCount. | ||||
1358 | if (getLangOpts().ObjCAutoRefCount) { | ||||
1359 | switch (Sel.getMethodFamily()) { | ||||
1360 | case OMF_retain: | ||||
1361 | case OMF_release: | ||||
1362 | case OMF_autorelease: | ||||
1363 | case OMF_retainCount: | ||||
1364 | case OMF_dealloc: | ||||
1365 | Diag(AtLoc, diag::err_arc_illegal_selector) << | ||||
1366 | Sel << SourceRange(LParenLoc, RParenLoc); | ||||
1367 | break; | ||||
1368 | |||||
1369 | case OMF_None: | ||||
1370 | case OMF_alloc: | ||||
1371 | case OMF_copy: | ||||
1372 | case OMF_finalize: | ||||
1373 | case OMF_init: | ||||
1374 | case OMF_mutableCopy: | ||||
1375 | case OMF_new: | ||||
1376 | case OMF_self: | ||||
1377 | case OMF_initialize: | ||||
1378 | case OMF_performSelector: | ||||
1379 | break; | ||||
1380 | } | ||||
1381 | } | ||||
1382 | QualType Ty = Context.getObjCSelType(); | ||||
1383 | return new (Context) ObjCSelectorExpr(Ty, Sel, AtLoc, RParenLoc); | ||||
1384 | } | ||||
1385 | |||||
1386 | ExprResult Sema::ParseObjCProtocolExpression(IdentifierInfo *ProtocolId, | ||||
1387 | SourceLocation AtLoc, | ||||
1388 | SourceLocation ProtoLoc, | ||||
1389 | SourceLocation LParenLoc, | ||||
1390 | SourceLocation ProtoIdLoc, | ||||
1391 | SourceLocation RParenLoc) { | ||||
1392 | ObjCProtocolDecl* PDecl = LookupProtocol(ProtocolId, ProtoIdLoc); | ||||
1393 | if (!PDecl) { | ||||
1394 | Diag(ProtoLoc, diag::err_undeclared_protocol) << ProtocolId; | ||||
1395 | return true; | ||||
1396 | } | ||||
1397 | if (PDecl->isNonRuntimeProtocol()) | ||||
1398 | Diag(ProtoLoc, diag::err_objc_non_runtime_protocol_in_protocol_expr) | ||||
1399 | << PDecl; | ||||
1400 | if (!PDecl->hasDefinition()) { | ||||
1401 | Diag(ProtoLoc, diag::err_atprotocol_protocol) << PDecl; | ||||
1402 | Diag(PDecl->getLocation(), diag::note_entity_declared_at) << PDecl; | ||||
1403 | } else { | ||||
1404 | PDecl = PDecl->getDefinition(); | ||||
1405 | } | ||||
1406 | |||||
1407 | QualType Ty = Context.getObjCProtoType(); | ||||
1408 | if (Ty.isNull()) | ||||
1409 | return true; | ||||
1410 | Ty = Context.getObjCObjectPointerType(Ty); | ||||
1411 | return new (Context) ObjCProtocolExpr(Ty, PDecl, AtLoc, ProtoIdLoc, RParenLoc); | ||||
1412 | } | ||||
1413 | |||||
1414 | /// Try to capture an implicit reference to 'self'. | ||||
1415 | ObjCMethodDecl *Sema::tryCaptureObjCSelf(SourceLocation Loc) { | ||||
1416 | DeclContext *DC = getFunctionLevelDeclContext(); | ||||
1417 | |||||
1418 | // If we're not in an ObjC method, error out. Note that, unlike the | ||||
1419 | // C++ case, we don't require an instance method --- class methods | ||||
1420 | // still have a 'self', and we really do still need to capture it! | ||||
1421 | ObjCMethodDecl *method = dyn_cast<ObjCMethodDecl>(DC); | ||||
1422 | if (!method) | ||||
1423 | return nullptr; | ||||
1424 | |||||
1425 | tryCaptureVariable(method->getSelfDecl(), Loc); | ||||
1426 | |||||
1427 | return method; | ||||
1428 | } | ||||
1429 | |||||
1430 | static QualType stripObjCInstanceType(ASTContext &Context, QualType T) { | ||||
1431 | QualType origType = T; | ||||
1432 | if (auto nullability = AttributedType::stripOuterNullability(T)) { | ||||
1433 | if (T == Context.getObjCInstanceType()) { | ||||
1434 | return Context.getAttributedType( | ||||
1435 | AttributedType::getNullabilityAttrKind(*nullability), | ||||
1436 | Context.getObjCIdType(), | ||||
1437 | Context.getObjCIdType()); | ||||
1438 | } | ||||
1439 | |||||
1440 | return origType; | ||||
1441 | } | ||||
1442 | |||||
1443 | if (T == Context.getObjCInstanceType()) | ||||
1444 | return Context.getObjCIdType(); | ||||
1445 | |||||
1446 | return origType; | ||||
1447 | } | ||||
1448 | |||||
1449 | /// Determine the result type of a message send based on the receiver type, | ||||
1450 | /// method, and the kind of message send. | ||||
1451 | /// | ||||
1452 | /// This is the "base" result type, which will still need to be adjusted | ||||
1453 | /// to account for nullability. | ||||
1454 | static QualType getBaseMessageSendResultType(Sema &S, | ||||
1455 | QualType ReceiverType, | ||||
1456 | ObjCMethodDecl *Method, | ||||
1457 | bool isClassMessage, | ||||
1458 | bool isSuperMessage) { | ||||
1459 | assert(Method && "Must have a method")(static_cast <bool> (Method && "Must have a method" ) ? void (0) : __assert_fail ("Method && \"Must have a method\"" , "/build/llvm-toolchain-snapshot-14~++20210828111110+16086d47c0d0/clang/lib/Sema/SemaExprObjC.cpp" , 1459, __extension__ __PRETTY_FUNCTION__)); | ||||
1460 | if (!Method->hasRelatedResultType()) | ||||
1461 | return Method->getSendResultType(ReceiverType); | ||||
1462 | |||||
1463 | ASTContext &Context = S.Context; | ||||
1464 | |||||
1465 | // Local function that transfers the nullability of the method's | ||||
1466 | // result type to the returned result. | ||||
1467 | auto transferNullability = [&](QualType type) -> QualType { | ||||
1468 | // If the method's result type has nullability, extract it. | ||||
1469 | if (auto nullability = Method->getSendResultType(ReceiverType) | ||||
1470 | ->getNullability(Context)){ | ||||
1471 | // Strip off any outer nullability sugar from the provided type. | ||||
1472 | (void)AttributedType::stripOuterNullability(type); | ||||
1473 | |||||
1474 | // Form a new attributed type using the method result type's nullability. | ||||
1475 | return Context.getAttributedType( | ||||
1476 | AttributedType::getNullabilityAttrKind(*nullability), | ||||
1477 | type, | ||||
1478 | type); | ||||
1479 | } | ||||
1480 | |||||
1481 | return type; | ||||
1482 | }; | ||||
1483 | |||||
1484 | // If a method has a related return type: | ||||
1485 | // - if the method found is an instance method, but the message send | ||||
1486 | // was a class message send, T is the declared return type of the method | ||||
1487 | // found | ||||
1488 | if (Method->isInstanceMethod() && isClassMessage) | ||||
1489 | return stripObjCInstanceType(Context, | ||||
1490 | Method->getSendResultType(ReceiverType)); | ||||
1491 | |||||
1492 | // - if the receiver is super, T is a pointer to the class of the | ||||
1493 | // enclosing method definition | ||||
1494 | if (isSuperMessage) { | ||||
1495 | if (ObjCMethodDecl *CurMethod = S.getCurMethodDecl()) | ||||
1496 | if (ObjCInterfaceDecl *Class = CurMethod->getClassInterface()) { | ||||
1497 | return transferNullability( | ||||
1498 | Context.getObjCObjectPointerType( | ||||
1499 | Context.getObjCInterfaceType(Class))); | ||||
1500 | } | ||||
1501 | } | ||||
1502 | |||||
1503 | // - if the receiver is the name of a class U, T is a pointer to U | ||||
1504 | if (ReceiverType->getAsObjCInterfaceType()) | ||||
1505 | return transferNullability(Context.getObjCObjectPointerType(ReceiverType)); | ||||
1506 | // - if the receiver is of type Class or qualified Class type, | ||||
1507 | // T is the declared return type of the method. | ||||
1508 | if (ReceiverType->isObjCClassType() || | ||||
1509 | ReceiverType->isObjCQualifiedClassType()) | ||||
1510 | return stripObjCInstanceType(Context, | ||||
1511 | Method->getSendResultType(ReceiverType)); | ||||
1512 | |||||
1513 | // - if the receiver is id, qualified id, Class, or qualified Class, T | ||||
1514 | // is the receiver type, otherwise | ||||
1515 | // - T is the type of the receiver expression. | ||||
1516 | return transferNullability(ReceiverType); | ||||
1517 | } | ||||
1518 | |||||
1519 | QualType Sema::getMessageSendResultType(const Expr *Receiver, | ||||
1520 | QualType ReceiverType, | ||||
1521 | ObjCMethodDecl *Method, | ||||
1522 | bool isClassMessage, | ||||
1523 | bool isSuperMessage) { | ||||
1524 | // Produce the result type. | ||||
1525 | QualType resultType = getBaseMessageSendResultType(*this, ReceiverType, | ||||
1526 | Method, | ||||
1527 | isClassMessage, | ||||
1528 | isSuperMessage); | ||||
1529 | |||||
1530 | // If this is a class message, ignore the nullability of the receiver. | ||||
1531 | if (isClassMessage) { | ||||
1532 | // In a class method, class messages to 'self' that return instancetype can | ||||
1533 | // be typed as the current class. We can safely do this in ARC because self | ||||
1534 | // can't be reassigned, and we do it unsafely outside of ARC because in | ||||
1535 | // practice people never reassign self in class methods and there's some | ||||
1536 | // virtue in not being aggressively pedantic. | ||||
1537 | if (Receiver && Receiver->isObjCSelfExpr()) { | ||||
1538 | assert(ReceiverType->isObjCClassType() && "expected a Class self")(static_cast <bool> (ReceiverType->isObjCClassType() && "expected a Class self") ? void (0) : __assert_fail ("ReceiverType->isObjCClassType() && \"expected a Class self\"" , "/build/llvm-toolchain-snapshot-14~++20210828111110+16086d47c0d0/clang/lib/Sema/SemaExprObjC.cpp" , 1538, __extension__ __PRETTY_FUNCTION__)); | ||||
1539 | QualType T = Method->getSendResultType(ReceiverType); | ||||
1540 | AttributedType::stripOuterNullability(T); | ||||
1541 | if (T == Context.getObjCInstanceType()) { | ||||
1542 | const ObjCMethodDecl *MD = cast<ObjCMethodDecl>( | ||||
1543 | cast<ImplicitParamDecl>( | ||||
1544 | cast<DeclRefExpr>(Receiver->IgnoreParenImpCasts())->getDecl()) | ||||
1545 | ->getDeclContext()); | ||||
1546 | assert(MD->isClassMethod() && "expected a class method")(static_cast <bool> (MD->isClassMethod() && "expected a class method" ) ? void (0) : __assert_fail ("MD->isClassMethod() && \"expected a class method\"" , "/build/llvm-toolchain-snapshot-14~++20210828111110+16086d47c0d0/clang/lib/Sema/SemaExprObjC.cpp" , 1546, __extension__ __PRETTY_FUNCTION__)); | ||||
1547 | QualType NewResultType = Context.getObjCObjectPointerType( | ||||
1548 | Context.getObjCInterfaceType(MD->getClassInterface())); | ||||
1549 | if (auto Nullability = resultType->getNullability(Context)) | ||||
1550 | NewResultType = Context.getAttributedType( | ||||
1551 | AttributedType::getNullabilityAttrKind(*Nullability), | ||||
1552 | NewResultType, NewResultType); | ||||
1553 | return NewResultType; | ||||
1554 | } | ||||
1555 | } | ||||
1556 | return resultType; | ||||
1557 | } | ||||
1558 | |||||
1559 | // There is nothing left to do if the result type cannot have a nullability | ||||
1560 | // specifier. | ||||
1561 | if (!resultType->canHaveNullability()) | ||||
1562 | return resultType; | ||||
1563 | |||||
1564 | // Map the nullability of the result into a table index. | ||||
1565 | unsigned receiverNullabilityIdx = 0; | ||||
1566 | if (Optional<NullabilityKind> nullability = | ||||
1567 | ReceiverType->getNullability(Context)) { | ||||
1568 | if (*nullability == NullabilityKind::NullableResult) | ||||
1569 | nullability = NullabilityKind::Nullable; | ||||
1570 | receiverNullabilityIdx = 1 + static_cast<unsigned>(*nullability); | ||||
1571 | } | ||||
1572 | |||||
1573 | unsigned resultNullabilityIdx = 0; | ||||
1574 | if (Optional<NullabilityKind> nullability = | ||||
1575 | resultType->getNullability(Context)) { | ||||
1576 | if (*nullability == NullabilityKind::NullableResult) | ||||
1577 | nullability = NullabilityKind::Nullable; | ||||
1578 | resultNullabilityIdx = 1 + static_cast<unsigned>(*nullability); | ||||
1579 | } | ||||
1580 | |||||
1581 | // The table of nullability mappings, indexed by the receiver's nullability | ||||
1582 | // and then the result type's nullability. | ||||
1583 | static const uint8_t None = 0; | ||||
1584 | static const uint8_t NonNull = 1; | ||||
1585 | static const uint8_t Nullable = 2; | ||||
1586 | static const uint8_t Unspecified = 3; | ||||
1587 | static const uint8_t nullabilityMap[4][4] = { | ||||
1588 | // None NonNull Nullable Unspecified | ||||
1589 | /* None */ { None, None, Nullable, None }, | ||||
1590 | /* NonNull */ { None, NonNull, Nullable, Unspecified }, | ||||
1591 | /* Nullable */ { Nullable, Nullable, Nullable, Nullable }, | ||||
1592 | /* Unspecified */ { None, Unspecified, Nullable, Unspecified } | ||||
1593 | }; | ||||
1594 | |||||
1595 | unsigned newResultNullabilityIdx | ||||
1596 | = nullabilityMap[receiverNullabilityIdx][resultNullabilityIdx]; | ||||
1597 | if (newResultNullabilityIdx == resultNullabilityIdx) | ||||
1598 | return resultType; | ||||
1599 | |||||
1600 | // Strip off the existing nullability. This removes as little type sugar as | ||||
1601 | // possible. | ||||
1602 | do { | ||||
1603 | if (auto attributed = dyn_cast<AttributedType>(resultType.getTypePtr())) { | ||||
1604 | resultType = attributed->getModifiedType(); | ||||
1605 | } else { | ||||
1606 | resultType = resultType.getDesugaredType(Context); | ||||
1607 | } | ||||
1608 | } while (resultType->getNullability(Context)); | ||||
1609 | |||||
1610 | // Add nullability back if needed. | ||||
1611 | if (newResultNullabilityIdx > 0) { | ||||
1612 | auto newNullability | ||||
1613 | = static_cast<NullabilityKind>(newResultNullabilityIdx-1); | ||||
1614 | return Context.getAttributedType( | ||||
1615 | AttributedType::getNullabilityAttrKind(newNullability), | ||||
1616 | resultType, resultType); | ||||
1617 | } | ||||
1618 | |||||
1619 | return resultType; | ||||
1620 | } | ||||
1621 | |||||
1622 | /// Look for an ObjC method whose result type exactly matches the given type. | ||||
1623 | static const ObjCMethodDecl * | ||||
1624 | findExplicitInstancetypeDeclarer(const ObjCMethodDecl *MD, | ||||
1625 | QualType instancetype) { | ||||
1626 | if (MD->getReturnType() == instancetype) | ||||
1627 | return MD; | ||||
1628 | |||||
1629 | // For these purposes, a method in an @implementation overrides a | ||||
1630 | // declaration in the @interface. | ||||
1631 | if (const ObjCImplDecl *impl = | ||||
1632 | dyn_cast<ObjCImplDecl>(MD->getDeclContext())) { | ||||
1633 | const ObjCContainerDecl *iface; | ||||
1634 | if (const ObjCCategoryImplDecl *catImpl = | ||||
1635 | dyn_cast<ObjCCategoryImplDecl>(impl)) { | ||||
1636 | iface = catImpl->getCategoryDecl(); | ||||
1637 | } else { | ||||
1638 | iface = impl->getClassInterface(); | ||||
1639 | } | ||||
1640 | |||||
1641 | const ObjCMethodDecl *ifaceMD = | ||||
1642 | iface->getMethod(MD->getSelector(), MD->isInstanceMethod()); | ||||
1643 | if (ifaceMD) return findExplicitInstancetypeDeclarer(ifaceMD, instancetype); | ||||
1644 | } | ||||
1645 | |||||
1646 | SmallVector<const ObjCMethodDecl *, 4> overrides; | ||||
1647 | MD->getOverriddenMethods(overrides); | ||||
1648 | for (unsigned i = 0, e = overrides.size(); i != e; ++i) { | ||||
1649 | if (const ObjCMethodDecl *result = | ||||
1650 | findExplicitInstancetypeDeclarer(overrides[i], instancetype)) | ||||
1651 | return result; | ||||
1652 | } | ||||
1653 | |||||
1654 | return nullptr; | ||||
1655 | } | ||||
1656 | |||||
1657 | void Sema::EmitRelatedResultTypeNoteForReturn(QualType destType) { | ||||
1658 | // Only complain if we're in an ObjC method and the required return | ||||
1659 | // type doesn't match the method's declared return type. | ||||
1660 | ObjCMethodDecl *MD = dyn_cast<ObjCMethodDecl>(CurContext); | ||||
1661 | if (!MD || !MD->hasRelatedResultType() || | ||||
1662 | Context.hasSameUnqualifiedType(destType, MD->getReturnType())) | ||||
1663 | return; | ||||
1664 | |||||
1665 | // Look for a method overridden by this method which explicitly uses | ||||
1666 | // 'instancetype'. | ||||
1667 | if (const ObjCMethodDecl *overridden = | ||||
1668 | findExplicitInstancetypeDeclarer(MD, Context.getObjCInstanceType())) { | ||||
1669 | SourceRange range = overridden->getReturnTypeSourceRange(); | ||||
1670 | SourceLocation loc = range.getBegin(); | ||||
1671 | if (loc.isInvalid()) | ||||
1672 | loc = overridden->getLocation(); | ||||
1673 | Diag(loc, diag::note_related_result_type_explicit) | ||||
1674 | << /*current method*/ 1 << range; | ||||
1675 | return; | ||||
1676 | } | ||||
1677 | |||||
1678 | // Otherwise, if we have an interesting method family, note that. | ||||
1679 | // This should always trigger if the above didn't. | ||||
1680 | if (ObjCMethodFamily family = MD->getMethodFamily()) | ||||
1681 | Diag(MD->getLocation(), diag::note_related_result_type_family) | ||||
1682 | << /*current method*/ 1 | ||||
1683 | << family; | ||||
1684 | } | ||||
1685 | |||||
1686 | void Sema::EmitRelatedResultTypeNote(const Expr *E) { | ||||
1687 | E = E->IgnoreParenImpCasts(); | ||||
1688 | const ObjCMessageExpr *MsgSend = dyn_cast<ObjCMessageExpr>(E); | ||||
1689 | if (!MsgSend) | ||||
1690 | return; | ||||
1691 | |||||
1692 | const ObjCMethodDecl *Method = MsgSend->getMethodDecl(); | ||||
1693 | if (!Method) | ||||
1694 | return; | ||||
1695 | |||||
1696 | if (!Method->hasRelatedResultType()) | ||||
1697 | return; | ||||
1698 | |||||
1699 | if (Context.hasSameUnqualifiedType( | ||||
1700 | Method->getReturnType().getNonReferenceType(), MsgSend->getType())) | ||||
1701 | return; | ||||
1702 | |||||
1703 | if (!Context.hasSameUnqualifiedType(Method->getReturnType(), | ||||
1704 | Context.getObjCInstanceType())) | ||||
1705 | return; | ||||
1706 | |||||
1707 | Diag(Method->getLocation(), diag::note_related_result_type_inferred) | ||||
1708 | << Method->isInstanceMethod() << Method->getSelector() | ||||
1709 | << MsgSend->getType(); | ||||
1710 | } | ||||
1711 | |||||
1712 | bool Sema::CheckMessageArgumentTypes( | ||||
1713 | const Expr *Receiver, QualType ReceiverType, MultiExprArg Args, | ||||
1714 | Selector Sel, ArrayRef<SourceLocation> SelectorLocs, ObjCMethodDecl *Method, | ||||
1715 | bool isClassMessage, bool isSuperMessage, SourceLocation lbrac, | ||||
1716 | SourceLocation rbrac, SourceRange RecRange, QualType &ReturnType, | ||||
1717 | ExprValueKind &VK) { | ||||
1718 | SourceLocation SelLoc; | ||||
1719 | if (!SelectorLocs.empty() && SelectorLocs.front().isValid()) | ||||
1720 | SelLoc = SelectorLocs.front(); | ||||
1721 | else | ||||
1722 | SelLoc = lbrac; | ||||
1723 | |||||
1724 | if (!Method) { | ||||
1725 | // Apply default argument promotion as for (C99 6.5.2.2p6). | ||||
1726 | for (unsigned i = 0, e = Args.size(); i != e; i++) { | ||||
1727 | if (Args[i]->isTypeDependent()) | ||||
1728 | continue; | ||||
1729 | |||||
1730 | ExprResult result; | ||||
1731 | if (getLangOpts().DebuggerSupport) { | ||||
1732 | QualType paramTy; // ignored | ||||
1733 | result = checkUnknownAnyArg(SelLoc, Args[i], paramTy); | ||||
1734 | } else { | ||||
1735 | result = DefaultArgumentPromotion(Args[i]); | ||||
1736 | } | ||||
1737 | if (result.isInvalid()) | ||||
1738 | return true; | ||||
1739 | Args[i] = result.get(); | ||||
1740 | } | ||||
1741 | |||||
1742 | unsigned DiagID; | ||||
1743 | if (getLangOpts().ObjCAutoRefCount) | ||||
1744 | DiagID = diag::err_arc_method_not_found; | ||||
1745 | else | ||||
1746 | DiagID = isClassMessage ? diag::warn_class_method_not_found | ||||
1747 | : diag::warn_inst_method_not_found; | ||||
1748 | if (!getLangOpts().DebuggerSupport) { | ||||
1749 | const ObjCMethodDecl *OMD = SelectorsForTypoCorrection(Sel, ReceiverType); | ||||
1750 | if (OMD && !OMD->isInvalidDecl()) { | ||||
1751 | if (getLangOpts().ObjCAutoRefCount) | ||||
1752 | DiagID = diag::err_method_not_found_with_typo; | ||||
1753 | else | ||||
1754 | DiagID = isClassMessage ? diag::warn_class_method_not_found_with_typo | ||||
1755 | : diag::warn_instance_method_not_found_with_typo; | ||||
1756 | Selector MatchedSel = OMD->getSelector(); | ||||
1757 | SourceRange SelectorRange(SelectorLocs.front(), SelectorLocs.back()); | ||||
1758 | if (MatchedSel.isUnarySelector()) | ||||
1759 | Diag(SelLoc, DiagID) | ||||
1760 | << Sel<< isClassMessage << MatchedSel | ||||
1761 | << FixItHint::CreateReplacement(SelectorRange, MatchedSel.getAsString()); | ||||
1762 | else | ||||
1763 | Diag(SelLoc, DiagID) << Sel<< isClassMessage << MatchedSel; | ||||
1764 | } | ||||
1765 | else | ||||
1766 | Diag(SelLoc, DiagID) | ||||
1767 | << Sel << isClassMessage << SourceRange(SelectorLocs.front(), | ||||
1768 | SelectorLocs.back()); | ||||
1769 | // Find the class to which we are sending this message. | ||||
1770 | if (auto *ObjPT = ReceiverType->getAs<ObjCObjectPointerType>()) { | ||||
1771 | if (ObjCInterfaceDecl *ThisClass = ObjPT->getInterfaceDecl()) { | ||||
1772 | Diag(ThisClass->getLocation(), diag::note_receiver_class_declared); | ||||
1773 | if (!RecRange.isInvalid()) | ||||
1774 | if (ThisClass->lookupClassMethod(Sel)) | ||||
1775 | Diag(RecRange.getBegin(), diag::note_receiver_expr_here) | ||||
1776 | << FixItHint::CreateReplacement(RecRange, | ||||
1777 | ThisClass->getNameAsString()); | ||||
1778 | } | ||||
1779 | } | ||||
1780 | } | ||||
1781 | |||||
1782 | // In debuggers, we want to use __unknown_anytype for these | ||||
1783 | // results so that clients can cast them. | ||||
1784 | if (getLangOpts().DebuggerSupport) { | ||||
1785 | ReturnType = Context.UnknownAnyTy; | ||||
1786 | } else { | ||||
1787 | ReturnType = Context.getObjCIdType(); | ||||
1788 | } | ||||
1789 | VK = VK_PRValue; | ||||
1790 | return false; | ||||
1791 | } | ||||
1792 | |||||
1793 | ReturnType = getMessageSendResultType(Receiver, ReceiverType, Method, | ||||
1794 | isClassMessage, isSuperMessage); | ||||
1795 | VK = Expr::getValueKindForType(Method->getReturnType()); | ||||
1796 | |||||
1797 | unsigned NumNamedArgs = Sel.getNumArgs(); | ||||
1798 | // Method might have more arguments than selector indicates. This is due | ||||
1799 | // to addition of c-style arguments in method. | ||||
1800 | if (Method->param_size() > Sel.getNumArgs()) | ||||
1801 | NumNamedArgs = Method->param_size(); | ||||
1802 | // FIXME. This need be cleaned up. | ||||
1803 | if (Args.size() < NumNamedArgs) { | ||||
1804 | Diag(SelLoc, diag::err_typecheck_call_too_few_args) | ||||
1805 | << 2 << NumNamedArgs << static_cast<unsigned>(Args.size()); | ||||
1806 | return false; | ||||
1807 | } | ||||
1808 | |||||
1809 | // Compute the set of type arguments to be substituted into each parameter | ||||
1810 | // type. | ||||
1811 | Optional<ArrayRef<QualType>> typeArgs | ||||
1812 | = ReceiverType->getObjCSubstitutions(Method->getDeclContext()); | ||||
1813 | bool IsError = false; | ||||
1814 | for (unsigned i = 0; i < NumNamedArgs; i++) { | ||||
1815 | // We can't do any type-checking on a type-dependent argument. | ||||
1816 | if (Args[i]->isTypeDependent()) | ||||
1817 | continue; | ||||
1818 | |||||
1819 | Expr *argExpr = Args[i]; | ||||
1820 | |||||
1821 | ParmVarDecl *param = Method->parameters()[i]; | ||||
1822 | assert(argExpr && "CheckMessageArgumentTypes(): missing expression")(static_cast <bool> (argExpr && "CheckMessageArgumentTypes(): missing expression" ) ? void (0) : __assert_fail ("argExpr && \"CheckMessageArgumentTypes(): missing expression\"" , "/build/llvm-toolchain-snapshot-14~++20210828111110+16086d47c0d0/clang/lib/Sema/SemaExprObjC.cpp" , 1822, __extension__ __PRETTY_FUNCTION__)); | ||||
1823 | |||||
1824 | if (param->hasAttr<NoEscapeAttr>() && | ||||
1825 | param->getType()->isBlockPointerType()) | ||||
1826 | if (auto *BE = dyn_cast<BlockExpr>( | ||||
1827 | argExpr->IgnoreParenNoopCasts(Context))) | ||||
1828 | BE->getBlockDecl()->setDoesNotEscape(); | ||||
1829 | |||||
1830 | // Strip the unbridged-cast placeholder expression off unless it's | ||||
1831 | // a consumed argument. | ||||
1832 | if (argExpr->hasPlaceholderType(BuiltinType::ARCUnbridgedCast) && | ||||
1833 | !param->hasAttr<CFConsumedAttr>()) | ||||
1834 | argExpr = stripARCUnbridgedCast(argExpr); | ||||
1835 | |||||
1836 | // If the parameter is __unknown_anytype, infer its type | ||||
1837 | // from the argument. | ||||
1838 | if (param->getType() == Context.UnknownAnyTy) { | ||||
1839 | QualType paramType; | ||||
1840 | ExprResult argE = checkUnknownAnyArg(SelLoc, argExpr, paramType); | ||||
1841 | if (argE.isInvalid()) { | ||||
1842 | IsError = true; | ||||
1843 | } else { | ||||
1844 | Args[i] = argE.get(); | ||||
1845 | |||||
1846 | // Update the parameter type in-place. | ||||
1847 | param->setType(paramType); | ||||
1848 | } | ||||
1849 | continue; | ||||
1850 | } | ||||
1851 | |||||
1852 | QualType origParamType = param->getType(); | ||||
1853 | QualType paramType = param->getType(); | ||||
1854 | if (typeArgs) | ||||
1855 | paramType = paramType.substObjCTypeArgs( | ||||
1856 | Context, | ||||
1857 | *typeArgs, | ||||
1858 | ObjCSubstitutionContext::Parameter); | ||||
1859 | |||||
1860 | if (RequireCompleteType(argExpr->getSourceRange().getBegin(), | ||||
1861 | paramType, | ||||
1862 | diag::err_call_incomplete_argument, argExpr)) | ||||
1863 | return true; | ||||
1864 | |||||
1865 | InitializedEntity Entity | ||||
1866 | = InitializedEntity::InitializeParameter(Context, param, paramType); | ||||
1867 | ExprResult ArgE = PerformCopyInitialization(Entity, SourceLocation(), argExpr); | ||||
1868 | if (ArgE.isInvalid()) | ||||
1869 | IsError = true; | ||||
1870 | else { | ||||
1871 | Args[i] = ArgE.getAs<Expr>(); | ||||
1872 | |||||
1873 | // If we are type-erasing a block to a block-compatible | ||||
1874 | // Objective-C pointer type, we may need to extend the lifetime | ||||
1875 | // of the block object. | ||||
1876 | if (typeArgs && Args[i]->isPRValue() && paramType->isBlockPointerType() && | ||||
1877 | Args[i]->getType()->isBlockPointerType() && | ||||
1878 | origParamType->isObjCObjectPointerType()) { | ||||
1879 | ExprResult arg = Args[i]; | ||||
1880 | maybeExtendBlockObject(arg); | ||||
1881 | Args[i] = arg.get(); | ||||
1882 | } | ||||
1883 | } | ||||
1884 | } | ||||
1885 | |||||
1886 | // Promote additional arguments to variadic methods. | ||||
1887 | if (Method->isVariadic()) { | ||||
1888 | for (unsigned i = NumNamedArgs, e = Args.size(); i < e; ++i) { | ||||
1889 | if (Args[i]->isTypeDependent()) | ||||
1890 | continue; | ||||
1891 | |||||
1892 | ExprResult Arg = DefaultVariadicArgumentPromotion(Args[i], VariadicMethod, | ||||
1893 | nullptr); | ||||
1894 | IsError |= Arg.isInvalid(); | ||||
1895 | Args[i] = Arg.get(); | ||||
1896 | } | ||||
1897 | } else { | ||||
1898 | // Check for extra arguments to non-variadic methods. | ||||
1899 | if (Args.size() != NumNamedArgs) { | ||||
1900 | Diag(Args[NumNamedArgs]->getBeginLoc(), | ||||
1901 | diag::err_typecheck_call_too_many_args) | ||||
1902 | << 2 /*method*/ << NumNamedArgs << static_cast<unsigned>(Args.size()) | ||||
1903 | << Method->getSourceRange() | ||||
1904 | << SourceRange(Args[NumNamedArgs]->getBeginLoc(), | ||||
1905 | Args.back()->getEndLoc()); | ||||
1906 | } | ||||
1907 | } | ||||
1908 | |||||
1909 | DiagnoseSentinelCalls(Method, SelLoc, Args); | ||||
1910 | |||||
1911 | // Do additional checkings on method. | ||||
1912 | IsError |= CheckObjCMethodCall( | ||||
1913 | Method, SelLoc, makeArrayRef(Args.data(), Args.size())); | ||||
1914 | |||||
1915 | return IsError; | ||||
1916 | } | ||||
1917 | |||||
1918 | bool Sema::isSelfExpr(Expr *RExpr) { | ||||
1919 | // 'self' is objc 'self' in an objc method only. | ||||
1920 | ObjCMethodDecl *Method = | ||||
1921 | dyn_cast_or_null<ObjCMethodDecl>(CurContext->getNonClosureAncestor()); | ||||
1922 | return isSelfExpr(RExpr, Method); | ||||
1923 | } | ||||
1924 | |||||
1925 | bool Sema::isSelfExpr(Expr *receiver, const ObjCMethodDecl *method) { | ||||
1926 | if (!method) return false; | ||||
1927 | |||||
1928 | receiver = receiver->IgnoreParenLValueCasts(); | ||||
1929 | if (DeclRefExpr *DRE = dyn_cast<DeclRefExpr>(receiver)) | ||||
1930 | if (DRE->getDecl() == method->getSelfDecl()) | ||||
1931 | return true; | ||||
1932 | return false; | ||||
1933 | } | ||||
1934 | |||||
1935 | /// LookupMethodInType - Look up a method in an ObjCObjectType. | ||||
1936 | ObjCMethodDecl *Sema::LookupMethodInObjectType(Selector sel, QualType type, | ||||
1937 | bool isInstance) { | ||||
1938 | const ObjCObjectType *objType = type->castAs<ObjCObjectType>(); | ||||
1939 | if (ObjCInterfaceDecl *iface = objType->getInterface()) { | ||||
1940 | // Look it up in the main interface (and categories, etc.) | ||||
1941 | if (ObjCMethodDecl *method = iface->lookupMethod(sel, isInstance)) | ||||
1942 | return method; | ||||
1943 | |||||
1944 | // Okay, look for "private" methods declared in any | ||||
1945 | // @implementations we've seen. | ||||
1946 | if (ObjCMethodDecl *method = iface->lookupPrivateMethod(sel, isInstance)) | ||||
1947 | return method; | ||||
1948 | } | ||||
1949 | |||||
1950 | // Check qualifiers. | ||||
1951 | for (const auto *I : objType->quals()) | ||||
1952 | if (ObjCMethodDecl *method = I->lookupMethod(sel, isInstance)) | ||||
1953 | return method; | ||||
1954 | |||||
1955 | return nullptr; | ||||
1956 | } | ||||
1957 | |||||
1958 | /// LookupMethodInQualifiedType - Lookups up a method in protocol qualifier | ||||
1959 | /// list of a qualified objective pointer type. | ||||
1960 | ObjCMethodDecl *Sema::LookupMethodInQualifiedType(Selector Sel, | ||||
1961 | const ObjCObjectPointerType *OPT, | ||||
1962 | bool Instance) | ||||
1963 | { | ||||
1964 | ObjCMethodDecl *MD = nullptr; | ||||
1965 | for (const auto *PROTO : OPT->quals()) { | ||||
1966 | if ((MD = PROTO->lookupMethod(Sel, Instance))) { | ||||
1967 | return MD; | ||||
1968 | } | ||||
1969 | } | ||||
1970 | return nullptr; | ||||
1971 | } | ||||
1972 | |||||
1973 | /// HandleExprPropertyRefExpr - Handle foo.bar where foo is a pointer to an | ||||
1974 | /// objective C interface. This is a property reference expression. | ||||
1975 | ExprResult Sema:: | ||||
1976 | HandleExprPropertyRefExpr(const ObjCObjectPointerType *OPT, | ||||
1977 | Expr *BaseExpr, SourceLocation OpLoc, | ||||
1978 | DeclarationName MemberName, | ||||
1979 | SourceLocation MemberLoc, | ||||
1980 | SourceLocation SuperLoc, QualType SuperType, | ||||
1981 | bool Super) { | ||||
1982 | const ObjCInterfaceType *IFaceT = OPT->getInterfaceType(); | ||||
1983 | ObjCInterfaceDecl *IFace = IFaceT->getDecl(); | ||||
1984 | |||||
1985 | if (!MemberName.isIdentifier()) { | ||||
1986 | Diag(MemberLoc, diag::err_invalid_property_name) | ||||
1987 | << MemberName << QualType(OPT, 0); | ||||
1988 | return ExprError(); | ||||
1989 | } | ||||
1990 | |||||
1991 | IdentifierInfo *Member = MemberName.getAsIdentifierInfo(); | ||||
1992 | |||||
1993 | SourceRange BaseRange = Super? SourceRange(SuperLoc) | ||||
1994 | : BaseExpr->getSourceRange(); | ||||
1995 | if (RequireCompleteType(MemberLoc, OPT->getPointeeType(), | ||||
1996 | diag::err_property_not_found_forward_class, | ||||
1997 | MemberName, BaseRange)) | ||||
1998 | return ExprError(); | ||||
1999 | |||||
2000 | if (ObjCPropertyDecl *PD = IFace->FindPropertyDeclaration( | ||||
2001 | Member, ObjCPropertyQueryKind::OBJC_PR_query_instance)) { | ||||
2002 | // Check whether we can reference this property. | ||||
2003 | if (DiagnoseUseOfDecl(PD, MemberLoc)) | ||||
2004 | return ExprError(); | ||||
2005 | if (Super) | ||||
2006 | return new (Context) | ||||
2007 | ObjCPropertyRefExpr(PD, Context.PseudoObjectTy, VK_LValue, | ||||
2008 | OK_ObjCProperty, MemberLoc, SuperLoc, SuperType); | ||||
2009 | else | ||||
2010 | return new (Context) | ||||
2011 | ObjCPropertyRefExpr(PD, Context.PseudoObjectTy, VK_LValue, | ||||
2012 | OK_ObjCProperty, MemberLoc, BaseExpr); | ||||
2013 | } | ||||
2014 | // Check protocols on qualified interfaces. | ||||
2015 | for (const auto *I : OPT->quals()) | ||||
2016 | if (ObjCPropertyDecl *PD = I->FindPropertyDeclaration( | ||||
2017 | Member, ObjCPropertyQueryKind::OBJC_PR_query_instance)) { | ||||
2018 | // Check whether we can reference this property. | ||||
2019 | if (DiagnoseUseOfDecl(PD, MemberLoc)) | ||||
2020 | return ExprError(); | ||||
2021 | |||||
2022 | if (Super) | ||||
2023 | return new (Context) ObjCPropertyRefExpr( | ||||
2024 | PD, Context.PseudoObjectTy, VK_LValue, OK_ObjCProperty, MemberLoc, | ||||
2025 | SuperLoc, SuperType); | ||||
2026 | else | ||||
2027 | return new (Context) | ||||
2028 | ObjCPropertyRefExpr(PD, Context.PseudoObjectTy, VK_LValue, | ||||
2029 | OK_ObjCProperty, MemberLoc, BaseExpr); | ||||
2030 | } | ||||
2031 | // If that failed, look for an "implicit" property by seeing if the nullary | ||||
2032 | // selector is implemented. | ||||
2033 | |||||
2034 | // FIXME: The logic for looking up nullary and unary selectors should be | ||||
2035 | // shared with the code in ActOnInstanceMessage. | ||||
2036 | |||||
2037 | Selector Sel = PP.getSelectorTable().getNullarySelector(Member); | ||||
2038 | ObjCMethodDecl *Getter = IFace->lookupInstanceMethod(Sel); | ||||
2039 | |||||
2040 | // May be found in property's qualified list. | ||||
2041 | if (!Getter) | ||||
2042 | Getter = LookupMethodInQualifiedType(Sel, OPT, true); | ||||
2043 | |||||
2044 | // If this reference is in an @implementation, check for 'private' methods. | ||||
2045 | if (!Getter) | ||||
2046 | Getter = IFace->lookupPrivateMethod(Sel); | ||||
2047 | |||||
2048 | if (Getter) { | ||||
2049 | // Check if we can reference this property. | ||||
2050 | if (DiagnoseUseOfDecl(Getter, MemberLoc)) | ||||
2051 | return ExprError(); | ||||
2052 | } | ||||
2053 | // If we found a getter then this may be a valid dot-reference, we | ||||
2054 | // will look for the matching setter, in case it is needed. | ||||
2055 | Selector SetterSel = | ||||
2056 | SelectorTable::constructSetterSelector(PP.getIdentifierTable(), | ||||
2057 | PP.getSelectorTable(), Member); | ||||
2058 | ObjCMethodDecl *Setter = IFace->lookupInstanceMethod(SetterSel); | ||||
2059 | |||||
2060 | // May be found in property's qualified list. | ||||
2061 | if (!Setter) | ||||
2062 | Setter = LookupMethodInQualifiedType(SetterSel, OPT, true); | ||||
2063 | |||||
2064 | if (!Setter) { | ||||
2065 | // If this reference is in an @implementation, also check for 'private' | ||||
2066 | // methods. | ||||
2067 | Setter = IFace->lookupPrivateMethod(SetterSel); | ||||
2068 | } | ||||
2069 | |||||
2070 | if (Setter && DiagnoseUseOfDecl(Setter, MemberLoc)) | ||||
2071 | return ExprError(); | ||||
2072 | |||||
2073 | // Special warning if member name used in a property-dot for a setter accessor | ||||
2074 | // does not use a property with same name; e.g. obj.X = ... for a property with | ||||
2075 | // name 'x'. | ||||
2076 | if (Setter && Setter->isImplicit() && Setter->isPropertyAccessor() && | ||||
2077 | !IFace->FindPropertyDeclaration( | ||||
2078 | Member, ObjCPropertyQueryKind::OBJC_PR_query_instance)) { | ||||
2079 | if (const ObjCPropertyDecl *PDecl = Setter->findPropertyDecl()) { | ||||
2080 | // Do not warn if user is using property-dot syntax to make call to | ||||
2081 | // user named setter. | ||||
2082 | if (!(PDecl->getPropertyAttributes() & | ||||
2083 | ObjCPropertyAttribute::kind_setter)) | ||||
2084 | Diag(MemberLoc, | ||||
2085 | diag::warn_property_access_suggest) | ||||
2086 | << MemberName << QualType(OPT, 0) << PDecl->getName() | ||||
2087 | << FixItHint::CreateReplacement(MemberLoc, PDecl->getName()); | ||||
2088 | } | ||||
2089 | } | ||||
2090 | |||||
2091 | if (Getter || Setter) { | ||||
2092 | if (Super) | ||||
2093 | return new (Context) | ||||
2094 | ObjCPropertyRefExpr(Getter, Setter, Context.PseudoObjectTy, VK_LValue, | ||||
2095 | OK_ObjCProperty, MemberLoc, SuperLoc, SuperType); | ||||
2096 | else | ||||
2097 | return new (Context) | ||||
2098 | ObjCPropertyRefExpr(Getter, Setter, Context.PseudoObjectTy, VK_LValue, | ||||
2099 | OK_ObjCProperty, MemberLoc, BaseExpr); | ||||
2100 | |||||
2101 | } | ||||
2102 | |||||
2103 | // Attempt to correct for typos in property names. | ||||
2104 | DeclFilterCCC<ObjCPropertyDecl> CCC{}; | ||||
2105 | if (TypoCorrection Corrected = CorrectTypo( | ||||
2106 | DeclarationNameInfo(MemberName, MemberLoc), LookupOrdinaryName, | ||||
2107 | nullptr, nullptr, CCC, CTK_ErrorRecovery, IFace, false, OPT)) { | ||||
2108 | DeclarationName TypoResult = Corrected.getCorrection(); | ||||
2109 | if (TypoResult.isIdentifier() && | ||||
2110 | TypoResult.getAsIdentifierInfo() == Member) { | ||||
2111 | // There is no need to try the correction if it is the same. | ||||
2112 | NamedDecl *ChosenDecl = | ||||
2113 | Corrected.isKeyword() ? nullptr : Corrected.getFoundDecl(); | ||||
2114 | if (ChosenDecl && isa<ObjCPropertyDecl>(ChosenDecl)) | ||||
2115 | if (cast<ObjCPropertyDecl>(ChosenDecl)->isClassProperty()) { | ||||
2116 | // This is a class property, we should not use the instance to | ||||
2117 | // access it. | ||||
2118 | Diag(MemberLoc, diag::err_class_property_found) << MemberName | ||||
2119 | << OPT->getInterfaceDecl()->getName() | ||||
2120 | << FixItHint::CreateReplacement(BaseExpr->getSourceRange(), | ||||
2121 | OPT->getInterfaceDecl()->getName()); | ||||
2122 | return ExprError(); | ||||
2123 | } | ||||
2124 | } else { | ||||
2125 | diagnoseTypo(Corrected, PDiag(diag::err_property_not_found_suggest) | ||||
2126 | << MemberName << QualType(OPT, 0)); | ||||
2127 | return HandleExprPropertyRefExpr(OPT, BaseExpr, OpLoc, | ||||
2128 | TypoResult, MemberLoc, | ||||
2129 | SuperLoc, SuperType, Super); | ||||
2130 | } | ||||
2131 | } | ||||
2132 | ObjCInterfaceDecl *ClassDeclared; | ||||
2133 | if (ObjCIvarDecl *Ivar = | ||||
2134 | IFace->lookupInstanceVariable(Member, ClassDeclared)) { | ||||
2135 | QualType T = Ivar->getType(); | ||||
2136 | if (const ObjCObjectPointerType * OBJPT = | ||||
2137 | T->getAsObjCInterfacePointerType()) { | ||||
2138 | if (RequireCompleteType(MemberLoc, OBJPT->getPointeeType(), | ||||
2139 | diag::err_property_not_as_forward_class, | ||||
2140 | MemberName, BaseExpr)) | ||||
2141 | return ExprError(); | ||||
2142 | } | ||||
2143 | Diag(MemberLoc, | ||||
2144 | diag::err_ivar_access_using_property_syntax_suggest) | ||||
2145 | << MemberName << QualType(OPT, 0) << Ivar->getDeclName() | ||||
2146 | << FixItHint::CreateReplacement(OpLoc, "->"); | ||||
2147 | return ExprError(); | ||||
2148 | } | ||||
2149 | |||||
2150 | Diag(MemberLoc, diag::err_property_not_found) | ||||
2151 | << MemberName << QualType(OPT, 0); | ||||
2152 | if (Setter) | ||||
2153 | Diag(Setter->getLocation(), diag::note_getter_unavailable) | ||||
2154 | << MemberName << BaseExpr->getSourceRange(); | ||||
2155 | return ExprError(); | ||||
2156 | } | ||||
2157 | |||||
2158 | ExprResult Sema:: | ||||
2159 | ActOnClassPropertyRefExpr(IdentifierInfo &receiverName, | ||||
2160 | IdentifierInfo &propertyName, | ||||
2161 | SourceLocation receiverNameLoc, | ||||
2162 | SourceLocation propertyNameLoc) { | ||||
2163 | |||||
2164 | IdentifierInfo *receiverNamePtr = &receiverName; | ||||
2165 | ObjCInterfaceDecl *IFace = getObjCInterfaceDecl(receiverNamePtr, | ||||
2166 | receiverNameLoc); | ||||
2167 | |||||
2168 | QualType SuperType; | ||||
2169 | if (!IFace) { | ||||
2170 | // If the "receiver" is 'super' in a method, handle it as an expression-like | ||||
2171 | // property reference. | ||||
2172 | if (receiverNamePtr->isStr("super")) { | ||||
2173 | if (ObjCMethodDecl *CurMethod = tryCaptureObjCSelf(receiverNameLoc)) { | ||||
2174 | if (auto classDecl = CurMethod->getClassInterface()) { | ||||
2175 | SuperType = QualType(classDecl->getSuperClassType(), 0); | ||||
2176 | if (CurMethod->isInstanceMethod()) { | ||||
2177 | if (SuperType.isNull()) { | ||||
2178 | // The current class does not have a superclass. | ||||
2179 | Diag(receiverNameLoc, diag::err_root_class_cannot_use_super) | ||||
2180 | << CurMethod->getClassInterface()->getIdentifier(); | ||||
2181 | return ExprError(); | ||||
2182 | } | ||||
2183 | QualType T = Context.getObjCObjectPointerType(SuperType); | ||||
2184 | |||||
2185 | return HandleExprPropertyRefExpr(T->castAs<ObjCObjectPointerType>(), | ||||
2186 | /*BaseExpr*/nullptr, | ||||
2187 | SourceLocation()/*OpLoc*/, | ||||
2188 | &propertyName, | ||||
2189 | propertyNameLoc, | ||||
2190 | receiverNameLoc, T, true); | ||||
2191 | } | ||||
2192 | |||||
2193 | // Otherwise, if this is a class method, try dispatching to our | ||||
2194 | // superclass. | ||||
2195 | IFace = CurMethod->getClassInterface()->getSuperClass(); | ||||
2196 | } | ||||
2197 | } | ||||
2198 | } | ||||
2199 | |||||
2200 | if (!IFace) { | ||||
2201 | Diag(receiverNameLoc, diag::err_expected_either) << tok::identifier | ||||
2202 | << tok::l_paren; | ||||
2203 | return ExprError(); | ||||
2204 | } | ||||
2205 | } | ||||
2206 | |||||
2207 | Selector GetterSel; | ||||
2208 | Selector SetterSel; | ||||
2209 | if (auto PD = IFace->FindPropertyDeclaration( | ||||
2210 | &propertyName, ObjCPropertyQueryKind::OBJC_PR_query_class)) { | ||||
2211 | GetterSel = PD->getGetterName(); | ||||
2212 | SetterSel = PD->getSetterName(); | ||||
2213 | } else { | ||||
2214 | GetterSel = PP.getSelectorTable().getNullarySelector(&propertyName); | ||||
2215 | SetterSel = SelectorTable::constructSetterSelector( | ||||
2216 | PP.getIdentifierTable(), PP.getSelectorTable(), &propertyName); | ||||
2217 | } | ||||
2218 | |||||
2219 | // Search for a declared property first. | ||||
2220 | ObjCMethodDecl *Getter = IFace->lookupClassMethod(GetterSel); | ||||
2221 | |||||
2222 | // If this reference is in an @implementation, check for 'private' methods. | ||||
2223 | if (!Getter) | ||||
2224 | Getter = IFace->lookupPrivateClassMethod(GetterSel); | ||||
2225 | |||||
2226 | if (Getter) { | ||||
2227 | // FIXME: refactor/share with ActOnMemberReference(). | ||||
2228 | // Check if we can reference this property. | ||||
2229 | if (DiagnoseUseOfDecl(Getter, propertyNameLoc)) | ||||
2230 | return ExprError(); | ||||
2231 | } | ||||
2232 | |||||
2233 | // Look for the matching setter, in case it is needed. | ||||
2234 | ObjCMethodDecl *Setter = IFace->lookupClassMethod(SetterSel); | ||||
2235 | if (!Setter) { | ||||
2236 | // If this reference is in an @implementation, also check for 'private' | ||||
2237 | // methods. | ||||
2238 | Setter = IFace->lookupPrivateClassMethod(SetterSel); | ||||
2239 | } | ||||
2240 | // Look through local category implementations associated with the class. | ||||
2241 | if (!Setter) | ||||
2242 | Setter = IFace->getCategoryClassMethod(SetterSel); | ||||
2243 | |||||
2244 | if (Setter && DiagnoseUseOfDecl(Setter, propertyNameLoc)) | ||||
2245 | return ExprError(); | ||||
2246 | |||||
2247 | if (Getter || Setter) { | ||||
2248 | if (!SuperType.isNull()) | ||||
2249 | return new (Context) | ||||
2250 | ObjCPropertyRefExpr(Getter, Setter, Context.PseudoObjectTy, VK_LValue, | ||||
2251 | OK_ObjCProperty, propertyNameLoc, receiverNameLoc, | ||||
2252 | SuperType); | ||||
2253 | |||||
2254 | return new (Context) ObjCPropertyRefExpr( | ||||
2255 | Getter, Setter, Context.PseudoObjectTy, VK_LValue, OK_ObjCProperty, | ||||
2256 | propertyNameLoc, receiverNameLoc, IFace); | ||||
2257 | } | ||||
2258 | return ExprError(Diag(propertyNameLoc, diag::err_property_not_found) | ||||
2259 | << &propertyName << Context.getObjCInterfaceType(IFace)); | ||||
2260 | } | ||||
2261 | |||||
2262 | namespace { | ||||
2263 | |||||
2264 | class ObjCInterfaceOrSuperCCC final : public CorrectionCandidateCallback { | ||||
2265 | public: | ||||
2266 | ObjCInterfaceOrSuperCCC(ObjCMethodDecl *Method) { | ||||
2267 | // Determine whether "super" is acceptable in the current context. | ||||
2268 | if (Method && Method->getClassInterface()) | ||||
2269 | WantObjCSuper = Method->getClassInterface()->getSuperClass(); | ||||
2270 | } | ||||
2271 | |||||
2272 | bool ValidateCandidate(const TypoCorrection &candidate) override { | ||||
2273 | return candidate.getCorrectionDeclAs<ObjCInterfaceDecl>() || | ||||
2274 | candidate.isKeyword("super"); | ||||
2275 | } | ||||
2276 | |||||
2277 | std::unique_ptr<CorrectionCandidateCallback> clone() override { | ||||
2278 | return std::make_unique<ObjCInterfaceOrSuperCCC>(*this); | ||||
2279 | } | ||||
2280 | }; | ||||
2281 | |||||
2282 | } // end anonymous namespace | ||||
2283 | |||||
2284 | Sema::ObjCMessageKind Sema::getObjCMessageKind(Scope *S, | ||||
2285 | IdentifierInfo *Name, | ||||
2286 | SourceLocation NameLoc, | ||||
2287 | bool IsSuper, | ||||
2288 | bool HasTrailingDot, | ||||
2289 | ParsedType &ReceiverType) { | ||||
2290 | ReceiverType = nullptr; | ||||
2291 | |||||
2292 | // If the identifier is "super" and there is no trailing dot, we're | ||||
2293 | // messaging super. If the identifier is "super" and there is a | ||||
2294 | // trailing dot, it's an instance message. | ||||
2295 | if (IsSuper && S->isInObjcMethodScope()) | ||||
2296 | return HasTrailingDot? ObjCInstanceMessage : ObjCSuperMessage; | ||||
2297 | |||||
2298 | LookupResult Result(*this, Name, NameLoc, LookupOrdinaryName); | ||||
2299 | LookupName(Result, S); | ||||
2300 | |||||
2301 | switch (Result.getResultKind()) { | ||||
2302 | case LookupResult::NotFound: | ||||
2303 | // Normal name lookup didn't find anything. If we're in an | ||||
2304 | // Objective-C method, look for ivars. If we find one, we're done! | ||||
2305 | // FIXME: This is a hack. Ivar lookup should be part of normal | ||||
2306 | // lookup. | ||||
2307 | if (ObjCMethodDecl *Method = getCurMethodDecl()) { | ||||
2308 | if (!Method->getClassInterface()) { | ||||
2309 | // Fall back: let the parser try to parse it as an instance message. | ||||
2310 | return ObjCInstanceMessage; | ||||
2311 | } | ||||
2312 | |||||
2313 | ObjCInterfaceDecl *ClassDeclared; | ||||
2314 | if (Method->getClassInterface()->lookupInstanceVariable(Name, | ||||
2315 | ClassDeclared)) | ||||
2316 | return ObjCInstanceMessage; | ||||
2317 | } | ||||
2318 | |||||
2319 | // Break out; we'll perform typo correction below. | ||||
2320 | break; | ||||
2321 | |||||
2322 | case LookupResult::NotFoundInCurrentInstantiation: | ||||
2323 | case LookupResult::FoundOverloaded: | ||||
2324 | case LookupResult::FoundUnresolvedValue: | ||||
2325 | case LookupResult::Ambiguous: | ||||
2326 | Result.suppressDiagnostics(); | ||||
2327 | return ObjCInstanceMessage; | ||||
2328 | |||||
2329 | case LookupResult::Found: { | ||||
2330 | // If the identifier is a class or not, and there is a trailing dot, | ||||
2331 | // it's an instance message. | ||||
2332 | if (HasTrailingDot) | ||||
2333 | return ObjCInstanceMessage; | ||||
2334 | // We found something. If it's a type, then we have a class | ||||
2335 | // message. Otherwise, it's an instance message. | ||||
2336 | NamedDecl *ND = Result.getFoundDecl(); | ||||
2337 | QualType T; | ||||
2338 | if (ObjCInterfaceDecl *Class = dyn_cast<ObjCInterfaceDecl>(ND)) | ||||
2339 | T = Context.getObjCInterfaceType(Class); | ||||
2340 | else if (TypeDecl *Type = dyn_cast<TypeDecl>(ND)) { | ||||
2341 | T = Context.getTypeDeclType(Type); | ||||
2342 | DiagnoseUseOfDecl(Type, NameLoc); | ||||
2343 | } | ||||
2344 | else | ||||
2345 | return ObjCInstanceMessage; | ||||
2346 | |||||
2347 | // We have a class message, and T is the type we're | ||||
2348 | // messaging. Build source-location information for it. | ||||
2349 | TypeSourceInfo *TSInfo = Context.getTrivialTypeSourceInfo(T, NameLoc); | ||||
2350 | ReceiverType = CreateParsedType(T, TSInfo); | ||||
2351 | return ObjCClassMessage; | ||||
2352 | } | ||||
2353 | } | ||||
2354 | |||||
2355 | ObjCInterfaceOrSuperCCC CCC(getCurMethodDecl()); | ||||
2356 | if (TypoCorrection Corrected = CorrectTypo( | ||||
2357 | Result.getLookupNameInfo(), Result.getLookupKind(), S, nullptr, CCC, | ||||
2358 | CTK_ErrorRecovery, nullptr, false, nullptr, false)) { | ||||
2359 | if (Corrected.isKeyword()) { | ||||
2360 | // If we've found the keyword "super" (the only keyword that would be | ||||
2361 | // returned by CorrectTypo), this is a send to super. | ||||
2362 | diagnoseTypo(Corrected, | ||||
2363 | PDiag(diag::err_unknown_receiver_suggest) << Name); | ||||
2364 | return ObjCSuperMessage; | ||||
2365 | } else if (ObjCInterfaceDecl *Class = | ||||
2366 | Corrected.getCorrectionDeclAs<ObjCInterfaceDecl>()) { | ||||
2367 | // If we found a declaration, correct when it refers to an Objective-C | ||||
2368 | // class. | ||||
2369 | diagnoseTypo(Corrected, | ||||
2370 | PDiag(diag::err_unknown_receiver_suggest) << Name); | ||||
2371 | QualType T = Context.getObjCInterfaceType(Class); | ||||
2372 | TypeSourceInfo *TSInfo = Context.getTrivialTypeSourceInfo(T, NameLoc); | ||||
2373 | ReceiverType = CreateParsedType(T, TSInfo); | ||||
2374 | return ObjCClassMessage; | ||||
2375 | } | ||||
2376 | } | ||||
2377 | |||||
2378 | // Fall back: let the parser try to parse it as an instance message. | ||||
2379 | return ObjCInstanceMessage; | ||||
2380 | } | ||||
2381 | |||||
2382 | ExprResult Sema::ActOnSuperMessage(Scope *S, | ||||
2383 | SourceLocation SuperLoc, | ||||
2384 | Selector Sel, | ||||
2385 | SourceLocation LBracLoc, | ||||
2386 | ArrayRef<SourceLocation> SelectorLocs, | ||||
2387 | SourceLocation RBracLoc, | ||||
2388 | MultiExprArg Args) { | ||||
2389 | // Determine whether we are inside a method or not. | ||||
2390 | ObjCMethodDecl *Method = tryCaptureObjCSelf(SuperLoc); | ||||
2391 | if (!Method
| ||||
| |||||
2392 | Diag(SuperLoc, diag::err_invalid_receiver_to_message_super); | ||||
2393 | return ExprError(); | ||||
2394 | } | ||||
2395 | |||||
2396 | ObjCInterfaceDecl *Class = Method->getClassInterface(); | ||||
2397 | if (!Class) { | ||||
2398 | Diag(SuperLoc, diag::err_no_super_class_message) | ||||
2399 | << Method->getDeclName(); | ||||
2400 | return ExprError(); | ||||
2401 | } | ||||
2402 | |||||
2403 | QualType SuperTy(Class->getSuperClassType(), 0); | ||||
2404 | if (SuperTy.isNull()) { | ||||
2405 | // The current class does not have a superclass. | ||||
2406 | Diag(SuperLoc, diag::err_root_class_cannot_use_super) | ||||
2407 | << Class->getIdentifier(); | ||||
2408 | return ExprError(); | ||||
2409 | } | ||||
2410 | |||||
2411 | // We are in a method whose class has a superclass, so 'super' | ||||
2412 | // is acting as a keyword. | ||||
2413 | if (Method->getSelector() == Sel) | ||||
2414 | getCurFunction()->ObjCShouldCallSuper = false; | ||||
2415 | |||||
2416 | if (Method->isInstanceMethod()) { | ||||
2417 | // Since we are in an instance method, this is an instance | ||||
2418 | // message to the superclass instance. | ||||
2419 | SuperTy = Context.getObjCObjectPointerType(SuperTy); | ||||
2420 | return BuildInstanceMessage(nullptr, SuperTy, SuperLoc, | ||||
2421 | Sel, /*Method=*/nullptr, | ||||
2422 | LBracLoc, SelectorLocs, RBracLoc, Args); | ||||
2423 | } | ||||
2424 | |||||
2425 | // Since we are in a class method, this is a class message to | ||||
2426 | // the superclass. | ||||
2427 | return BuildClassMessage(/*ReceiverTypeInfo=*/nullptr, | ||||
2428 | SuperTy, | ||||
2429 | SuperLoc, Sel, /*Method=*/nullptr, | ||||
2430 | LBracLoc, SelectorLocs, RBracLoc, Args); | ||||
2431 | } | ||||
2432 | |||||
2433 | ExprResult Sema::BuildClassMessageImplicit(QualType ReceiverType, | ||||
2434 | bool isSuperReceiver, | ||||
2435 | SourceLocation Loc, | ||||
2436 | Selector Sel, | ||||
2437 | ObjCMethodDecl *Method, | ||||
2438 | MultiExprArg Args) { | ||||
2439 | TypeSourceInfo *receiverTypeInfo = nullptr; | ||||
2440 | if (!ReceiverType.isNull()) | ||||
2441 | receiverTypeInfo = Context.getTrivialTypeSourceInfo(ReceiverType); | ||||
2442 | |||||
2443 | return BuildClassMessage(receiverTypeInfo, ReceiverType, | ||||
2444 | /*SuperLoc=*/isSuperReceiver ? Loc : SourceLocation(), | ||||
2445 | Sel, Method, Loc, Loc, Loc, Args, | ||||
2446 | /*isImplicit=*/true); | ||||
2447 | } | ||||
2448 | |||||
2449 | static void applyCocoaAPICheck(Sema &S, const ObjCMessageExpr *Msg, | ||||
2450 | unsigned DiagID, | ||||
2451 | bool (*refactor)(const ObjCMessageExpr *, | ||||
2452 | const NSAPI &, edit::Commit &)) { | ||||
2453 | SourceLocation MsgLoc = Msg->getExprLoc(); | ||||
2454 | if (S.Diags.isIgnored(DiagID, MsgLoc)) | ||||
2455 | return; | ||||
2456 | |||||
2457 | SourceManager &SM = S.SourceMgr; | ||||
2458 | edit::Commit ECommit(SM, S.LangOpts); | ||||
2459 | if (refactor(Msg,*S.NSAPIObj, ECommit)) { | ||||
2460 | auto Builder = S.Diag(MsgLoc, DiagID) | ||||
2461 | << Msg->getSelector() << Msg->getSourceRange(); | ||||
2462 | // FIXME: Don't emit diagnostic at all if fixits are non-commitable. | ||||
2463 | if (!ECommit.isCommitable()) | ||||
2464 | return; | ||||
2465 | for (edit::Commit::edit_iterator | ||||
2466 | I = ECommit.edit_begin(), E = ECommit.edit_end(); I != E; ++I) { | ||||
2467 | const edit::Commit::Edit &Edit = *I; | ||||
2468 | switch (Edit.Kind) { | ||||
2469 | case edit::Commit::Act_Insert: | ||||
2470 | Builder.AddFixItHint(FixItHint::CreateInsertion(Edit.OrigLoc, | ||||
2471 | Edit.Text, | ||||
2472 | Edit.BeforePrev)); | ||||
2473 | break; | ||||
2474 | case edit::Commit::Act_InsertFromRange: | ||||
2475 | Builder.AddFixItHint( | ||||
2476 | FixItHint::CreateInsertionFromRange(Edit.OrigLoc, | ||||
2477 | Edit.getInsertFromRange(SM), | ||||
2478 | Edit.BeforePrev)); | ||||
2479 | break; | ||||
2480 | case edit::Commit::Act_Remove: | ||||
2481 | Builder.AddFixItHint(FixItHint::CreateRemoval(Edit.getFileRange(SM))); | ||||
2482 | break; | ||||
2483 | } | ||||
2484 | } | ||||
2485 | } | ||||
2486 | } | ||||
2487 | |||||
2488 | static void checkCocoaAPI(Sema &S, const ObjCMessageExpr *Msg) { | ||||
2489 | applyCocoaAPICheck(S, Msg, diag::warn_objc_redundant_literal_use, | ||||
2490 | edit::rewriteObjCRedundantCallWithLiteral); | ||||
2491 | } | ||||
2492 | |||||
2493 | static void checkFoundationAPI(Sema &S, SourceLocation Loc, | ||||
2494 | const ObjCMethodDecl *Method, | ||||
2495 | ArrayRef<Expr *> Args, QualType ReceiverType, | ||||
2496 | bool IsClassObjectCall) { | ||||
2497 | // Check if this is a performSelector method that uses a selector that returns | ||||
2498 | // a record or a vector type. | ||||
2499 | if (Method->getSelector().getMethodFamily() != OMF_performSelector || | ||||
2500 | Args.empty()) | ||||
2501 | return; | ||||
2502 | const auto *SE = dyn_cast<ObjCSelectorExpr>(Args[0]->IgnoreParens()); | ||||
2503 | if (!SE) | ||||
2504 | return; | ||||
2505 | ObjCMethodDecl *ImpliedMethod; | ||||
2506 | if (!IsClassObjectCall) { | ||||
2507 | const auto *OPT = ReceiverType->getAs<ObjCObjectPointerType>(); | ||||
2508 | if (!OPT || !OPT->getInterfaceDecl()) | ||||
2509 | return; | ||||
2510 | ImpliedMethod = | ||||
2511 | OPT->getInterfaceDecl()->lookupInstanceMethod(SE->getSelector()); | ||||
2512 | if (!ImpliedMethod) | ||||
2513 | ImpliedMethod = | ||||
2514 | OPT->getInterfaceDecl()->lookupPrivateMethod(SE->getSelector()); | ||||
2515 | } else { | ||||
2516 | const auto *IT = ReceiverType->getAs<ObjCInterfaceType>(); | ||||
2517 | if (!IT) | ||||
2518 | return; | ||||
2519 | ImpliedMethod = IT->getDecl()->lookupClassMethod(SE->getSelector()); | ||||
2520 | if (!ImpliedMethod) | ||||
2521 | ImpliedMethod = | ||||
2522 | IT->getDecl()->lookupPrivateClassMethod(SE->getSelector()); | ||||
2523 | } | ||||
2524 | if (!ImpliedMethod) | ||||
2525 | return; | ||||
2526 | QualType Ret = ImpliedMethod->getReturnType(); | ||||
2527 | if (Ret->isRecordType() || Ret->isVectorType() || Ret->isExtVectorType()) { | ||||
2528 | S.Diag(Loc, diag::warn_objc_unsafe_perform_selector) | ||||
2529 | << Method->getSelector() | ||||
2530 | << (!Ret->isRecordType() | ||||
2531 | ? /*Vector*/ 2 | ||||
2532 | : Ret->isUnionType() ? /*Union*/ 1 : /*Struct*/ 0); | ||||
2533 | S.Diag(ImpliedMethod->getBeginLoc(), | ||||
2534 | diag::note_objc_unsafe_perform_selector_method_declared_here) | ||||
2535 | << ImpliedMethod->getSelector() << Ret; | ||||
2536 | } | ||||
2537 | } | ||||
2538 | |||||
2539 | /// Diagnose use of %s directive in an NSString which is being passed | ||||
2540 | /// as formatting string to formatting method. | ||||
2541 | static void | ||||
2542 | DiagnoseCStringFormatDirectiveInObjCAPI(Sema &S, | ||||
2543 | ObjCMethodDecl *Method, | ||||
2544 | Selector Sel, | ||||
2545 | Expr **Args, unsigned NumArgs) { | ||||
2546 | unsigned Idx = 0; | ||||
2547 | bool Format = false; | ||||
2548 | ObjCStringFormatFamily SFFamily = Sel.getStringFormatFamily(); | ||||
2549 | if (SFFamily == ObjCStringFormatFamily::SFF_NSString) { | ||||
2550 | Idx = 0; | ||||
2551 | Format = true; | ||||
2552 | } | ||||
2553 | else if (Method) { | ||||
2554 | for (const auto *I : Method->specific_attrs<FormatAttr>()) { | ||||
2555 | if (S.GetFormatNSStringIdx(I, Idx)) { | ||||
2556 | Format = true; | ||||
2557 | break; | ||||
2558 | } | ||||
2559 | } | ||||
2560 | } | ||||
2561 | if (!Format || NumArgs <= Idx) | ||||
2562 | return; | ||||
2563 | |||||
2564 | Expr *FormatExpr = Args[Idx]; | ||||
2565 | if (ObjCStringLiteral *OSL = | ||||
2566 | dyn_cast<ObjCStringLiteral>(FormatExpr->IgnoreParenImpCasts())) { | ||||
2567 | StringLiteral *FormatString = OSL->getString(); | ||||
2568 | if (S.FormatStringHasSArg(FormatString)) { | ||||
2569 | S.Diag(FormatExpr->getExprLoc(), diag::warn_objc_cdirective_format_string) | ||||
2570 | << "%s" << 0 << 0; | ||||
2571 | if (Method) | ||||
2572 | S.Diag(Method->getLocation(), diag::note_method_declared_at) | ||||
2573 | << Method->getDeclName(); | ||||
2574 | } | ||||
2575 | } | ||||
2576 | } | ||||
2577 | |||||
2578 | /// Build an Objective-C class message expression. | ||||
2579 | /// | ||||
2580 | /// This routine takes care of both normal class messages and | ||||
2581 | /// class messages to the superclass. | ||||
2582 | /// | ||||
2583 | /// \param ReceiverTypeInfo Type source information that describes the | ||||
2584 | /// receiver of this message. This may be NULL, in which case we are | ||||
2585 | /// sending to the superclass and \p SuperLoc must be a valid source | ||||
2586 | /// location. | ||||
2587 | |||||
2588 | /// \param ReceiverType The type of the object receiving the | ||||
2589 | /// message. When \p ReceiverTypeInfo is non-NULL, this is the same | ||||
2590 | /// type as that refers to. For a superclass send, this is the type of | ||||
2591 | /// the superclass. | ||||
2592 | /// | ||||
2593 | /// \param SuperLoc The location of the "super" keyword in a | ||||
2594 | /// superclass message. | ||||
2595 | /// | ||||
2596 | /// \param Sel The selector to which the message is being sent. | ||||
2597 | /// | ||||
2598 | /// \param Method The method that this class message is invoking, if | ||||
2599 | /// already known. | ||||
2600 | /// | ||||
2601 | /// \param LBracLoc The location of the opening square bracket ']'. | ||||
2602 | /// | ||||
2603 | /// \param RBracLoc The location of the closing square bracket ']'. | ||||
2604 | /// | ||||
2605 | /// \param ArgsIn The message arguments. | ||||
2606 | ExprResult Sema::BuildClassMessage(TypeSourceInfo *ReceiverTypeInfo, | ||||
2607 | QualType ReceiverType, | ||||
2608 | SourceLocation SuperLoc, | ||||
2609 | Selector Sel, | ||||
2610 | ObjCMethodDecl *Method, | ||||
2611 | SourceLocation LBracLoc, | ||||
2612 | ArrayRef<SourceLocation> SelectorLocs, | ||||
2613 | SourceLocation RBracLoc, | ||||
2614 | MultiExprArg ArgsIn, | ||||
2615 | bool isImplicit) { | ||||
2616 | SourceLocation Loc = SuperLoc.isValid()? SuperLoc | ||||
2617 | : ReceiverTypeInfo->getTypeLoc().getSourceRange().getBegin(); | ||||
| |||||
2618 | if (LBracLoc.isInvalid()) { | ||||
2619 | Diag(Loc, diag::err_missing_open_square_message_send) | ||||
2620 | << FixItHint::CreateInsertion(Loc, "["); | ||||
2621 | LBracLoc = Loc; | ||||
2622 | } | ||||
2623 | ArrayRef<SourceLocation> SelectorSlotLocs; | ||||
2624 | if (!SelectorLocs.empty() && SelectorLocs.front().isValid()) | ||||
2625 | SelectorSlotLocs = SelectorLocs; | ||||
2626 | else | ||||
2627 | SelectorSlotLocs = Loc; | ||||
2628 | SourceLocation SelLoc = SelectorSlotLocs.front(); | ||||
2629 | |||||
2630 | if (ReceiverType->isDependentType()) { | ||||
2631 | // If the receiver type is dependent, we can't type-check anything | ||||
2632 | // at this point. Build a dependent expression. | ||||
2633 | unsigned NumArgs = ArgsIn.size(); | ||||
2634 | Expr **Args = ArgsIn.data(); | ||||
2635 | assert(SuperLoc.isInvalid() && "Message to super with dependent type")(static_cast <bool> (SuperLoc.isInvalid() && "Message to super with dependent type" ) ? void (0) : __assert_fail ("SuperLoc.isInvalid() && \"Message to super with dependent type\"" , "/build/llvm-toolchain-snapshot-14~++20210828111110+16086d47c0d0/clang/lib/Sema/SemaExprObjC.cpp" , 2635, __extension__ __PRETTY_FUNCTION__)); | ||||
2636 | return ObjCMessageExpr::Create( | ||||
2637 | Context, ReceiverType, VK_PRValue, LBracLoc, ReceiverTypeInfo, Sel, | ||||
2638 | SelectorLocs, /*Method=*/nullptr, makeArrayRef(Args, NumArgs), RBracLoc, | ||||
2639 | isImplicit); | ||||
2640 | } | ||||
2641 | |||||
2642 | // Find the class to which we are sending this message. | ||||
2643 | ObjCInterfaceDecl *Class = nullptr; | ||||
2644 | const ObjCObjectType *ClassType = ReceiverType->getAs<ObjCObjectType>(); | ||||
2645 | if (!ClassType || !(Class = ClassType->getInterface())) { | ||||
2646 | Diag(Loc, diag::err_invalid_receiver_class_message) | ||||
2647 | << ReceiverType; | ||||
2648 | return ExprError(); | ||||
2649 | } | ||||
2650 | assert(Class && "We don't know which class we're messaging?")(static_cast <bool> (Class && "We don't know which class we're messaging?" ) ? void (0) : __assert_fail ("Class && \"We don't know which class we're messaging?\"" , "/build/llvm-toolchain-snapshot-14~++20210828111110+16086d47c0d0/clang/lib/Sema/SemaExprObjC.cpp" , 2650, __extension__ __PRETTY_FUNCTION__)); | ||||
2651 | // objc++ diagnoses during typename annotation. | ||||
2652 | if (!getLangOpts().CPlusPlus) | ||||
2653 | (void)DiagnoseUseOfDecl(Class, SelectorSlotLocs); | ||||
2654 | // Find the method we are messaging. | ||||
2655 | if (!Method) { | ||||
2656 | SourceRange TypeRange | ||||
2657 | = SuperLoc.isValid()? SourceRange(SuperLoc) | ||||
2658 | : ReceiverTypeInfo->getTypeLoc().getSourceRange(); | ||||
2659 | if (RequireCompleteType(Loc, Context.getObjCInterfaceType(Class), | ||||
2660 | (getLangOpts().ObjCAutoRefCount | ||||
2661 | ? diag::err_arc_receiver_forward_class | ||||
2662 | : diag::warn_receiver_forward_class), | ||||
2663 | TypeRange)) { | ||||
2664 | // A forward class used in messaging is treated as a 'Class' | ||||
2665 | Method = LookupFactoryMethodInGlobalPool(Sel, | ||||
2666 | SourceRange(LBracLoc, RBracLoc)); | ||||
2667 | if (Method && !getLangOpts().ObjCAutoRefCount) | ||||
2668 | Diag(Method->getLocation(), diag::note_method_sent_forward_class) | ||||
2669 | << Method->getDeclName(); | ||||
2670 | } | ||||
2671 | if (!Method) | ||||
2672 | Method = Class->lookupClassMethod(Sel); | ||||
2673 | |||||
2674 | // If we have an implementation in scope, check "private" methods. | ||||
2675 | if (!Method) | ||||
2676 | Method = Class->lookupPrivateClassMethod(Sel); | ||||
2677 | |||||
2678 | if (Method && DiagnoseUseOfDecl(Method, SelectorSlotLocs, | ||||
2679 | nullptr, false, false, Class)) | ||||
2680 | return ExprError(); | ||||
2681 | } | ||||
2682 | |||||
2683 | // Check the argument types and determine the result type. | ||||
2684 | QualType ReturnType; | ||||
2685 | ExprValueKind VK = VK_PRValue; | ||||
2686 | |||||
2687 | unsigned NumArgs = ArgsIn.size(); | ||||
2688 | Expr **Args = ArgsIn.data(); | ||||
2689 | if (CheckMessageArgumentTypes(/*Receiver=*/nullptr, ReceiverType, | ||||
2690 | MultiExprArg(Args, NumArgs), Sel, SelectorLocs, | ||||
2691 | Method, true, SuperLoc.isValid(), LBracLoc, | ||||
2692 | RBracLoc, SourceRange(), ReturnType, VK)) | ||||
2693 | return ExprError(); | ||||
2694 | |||||
2695 | if (Method && !Method->getReturnType()->isVoidType() && | ||||
2696 | RequireCompleteType(LBracLoc, Method->getReturnType(), | ||||
2697 | diag::err_illegal_message_expr_incomplete_type)) | ||||
2698 | return ExprError(); | ||||
2699 | |||||
2700 | if (Method && Method->isDirectMethod() && SuperLoc.isValid()) { | ||||
2701 | Diag(SuperLoc, diag::err_messaging_super_with_direct_method) | ||||
2702 | << FixItHint::CreateReplacement( | ||||
2703 | SuperLoc, getLangOpts().ObjCAutoRefCount | ||||
2704 | ? "self" | ||||
2705 | : Method->getClassInterface()->getName()); | ||||
2706 | Diag(Method->getLocation(), diag::note_direct_method_declared_at) | ||||
2707 | << Method->getDeclName(); | ||||
2708 | } | ||||
2709 | |||||
2710 | // Warn about explicit call of +initialize on its own class. But not on 'super'. | ||||
2711 | if (Method && Method->getMethodFamily() == OMF_initialize) { | ||||
2712 | if (!SuperLoc.isValid()) { | ||||
2713 | const ObjCInterfaceDecl *ID = | ||||
2714 | dyn_cast<ObjCInterfaceDecl>(Method->getDeclContext()); | ||||
2715 | if (ID == Class) { | ||||
2716 | Diag(Loc, diag::warn_direct_initialize_call); | ||||
2717 | Diag(Method->getLocation(), diag::note_method_declared_at) | ||||
2718 | << Method->getDeclName(); | ||||
2719 | } | ||||
2720 | } | ||||
2721 | else if (ObjCMethodDecl *CurMeth = getCurMethodDecl()) { | ||||
2722 | // [super initialize] is allowed only within an +initialize implementation | ||||
2723 | if (CurMeth->getMethodFamily() != OMF_initialize) { | ||||
2724 | Diag(Loc, diag::warn_direct_super_initialize_call); | ||||
2725 | Diag(Method->getLocation(), diag::note_method_declared_at) | ||||
2726 | << Method->getDeclName(); | ||||
2727 | Diag(CurMeth->getLocation(), diag::note_method_declared_at) | ||||
2728 | << CurMeth->getDeclName(); | ||||
2729 | } | ||||
2730 | } | ||||
2731 | } | ||||
2732 | |||||
2733 | DiagnoseCStringFormatDirectiveInObjCAPI(*this, Method, Sel, Args, NumArgs); | ||||
2734 | |||||
2735 | // Construct the appropriate ObjCMessageExpr. | ||||
2736 | ObjCMessageExpr *Result; | ||||
2737 | if (SuperLoc.isValid()) | ||||
2738 | Result = ObjCMessageExpr::Create(Context, ReturnType, VK, LBracLoc, | ||||
2739 | SuperLoc, /*IsInstanceSuper=*/false, | ||||
2740 | ReceiverType, Sel, SelectorLocs, | ||||
2741 | Method, makeArrayRef(Args, NumArgs), | ||||
2742 | RBracLoc, isImplicit); | ||||
2743 | else { | ||||
2744 | Result = ObjCMessageExpr::Create(Context, ReturnType, VK, LBracLoc, | ||||
2745 | ReceiverTypeInfo, Sel, SelectorLocs, | ||||
2746 | Method, makeArrayRef(Args, NumArgs), | ||||
2747 | RBracLoc, isImplicit); | ||||
2748 | if (!isImplicit) | ||||
2749 | checkCocoaAPI(*this, Result); | ||||
2750 | } | ||||
2751 | if (Method) | ||||
2752 | checkFoundationAPI(*this, SelLoc, Method, makeArrayRef(Args, NumArgs), | ||||
2753 | ReceiverType, /*IsClassObjectCall=*/true); | ||||
2754 | return MaybeBindToTemporary(Result); | ||||
2755 | } | ||||
2756 | |||||
2757 | // ActOnClassMessage - used for both unary and keyword messages. | ||||
2758 | // ArgExprs is optional - if it is present, the number of expressions | ||||
2759 | // is obtained from Sel.getNumArgs(). | ||||
2760 | ExprResult Sema::ActOnClassMessage(Scope *S, | ||||
2761 | ParsedType Receiver, | ||||
2762 | Selector Sel, | ||||
2763 | SourceLocation LBracLoc, | ||||
2764 | ArrayRef<SourceLocation> SelectorLocs, | ||||
2765 | SourceLocation RBracLoc, | ||||
2766 | MultiExprArg Args) { | ||||
2767 | TypeSourceInfo *ReceiverTypeInfo; | ||||
2768 | QualType ReceiverType = GetTypeFromParser(Receiver, &ReceiverTypeInfo); | ||||
2769 | if (ReceiverType.isNull()) | ||||
2770 | return ExprError(); | ||||
2771 | |||||
2772 | if (!ReceiverTypeInfo) | ||||
2773 | ReceiverTypeInfo = Context.getTrivialTypeSourceInfo(ReceiverType, LBracLoc); | ||||
2774 | |||||
2775 | return BuildClassMessage(ReceiverTypeInfo, ReceiverType, | ||||
2776 | /*SuperLoc=*/SourceLocation(), Sel, | ||||
2777 | /*Method=*/nullptr, LBracLoc, SelectorLocs, RBracLoc, | ||||
2778 | Args); | ||||
2779 | } | ||||
2780 | |||||
2781 | ExprResult Sema::BuildInstanceMessageImplicit(Expr *Receiver, | ||||
2782 | QualType ReceiverType, | ||||
2783 | SourceLocation Loc, | ||||
2784 | Selector Sel, | ||||
2785 | ObjCMethodDecl *Method, | ||||
2786 | MultiExprArg Args) { | ||||
2787 | return BuildInstanceMessage(Receiver, ReceiverType, | ||||
2788 | /*SuperLoc=*/!Receiver ? Loc : SourceLocation(), | ||||
2789 | Sel, Method, Loc, Loc, Loc, Args, | ||||
2790 | /*isImplicit=*/true); | ||||
2791 | } | ||||
2792 | |||||
2793 | static bool isMethodDeclaredInRootProtocol(Sema &S, const ObjCMethodDecl *M) { | ||||
2794 | if (!S.NSAPIObj) | ||||
2795 | return false; | ||||
2796 | const auto *Protocol = dyn_cast<ObjCProtocolDecl>(M->getDeclContext()); | ||||
2797 | if (!Protocol) | ||||
2798 | return false; | ||||
2799 | const IdentifierInfo *II = S.NSAPIObj->getNSClassId(NSAPI::ClassId_NSObject); | ||||
2800 | if (const auto *RootClass = dyn_cast_or_null<ObjCInterfaceDecl>( | ||||
2801 | S.LookupSingleName(S.TUScope, II, Protocol->getBeginLoc(), | ||||
2802 | Sema::LookupOrdinaryName))) { | ||||
2803 | for (const ObjCProtocolDecl *P : RootClass->all_referenced_protocols()) { | ||||
2804 | if (P->getCanonicalDecl() == Protocol->getCanonicalDecl()) | ||||
2805 | return true; | ||||
2806 | } | ||||
2807 | } | ||||
2808 | return false; | ||||
2809 | } | ||||
2810 | |||||
2811 | /// Build an Objective-C instance message expression. | ||||
2812 | /// | ||||
2813 | /// This routine takes care of both normal instance messages and | ||||
2814 | /// instance messages to the superclass instance. | ||||
2815 | /// | ||||
2816 | /// \param Receiver The expression that computes the object that will | ||||
2817 | /// receive this message. This may be empty, in which case we are | ||||
2818 | /// sending to the superclass instance and \p SuperLoc must be a valid | ||||
2819 | /// source location. | ||||
2820 | /// | ||||
2821 | /// \param ReceiverType The (static) type of the object receiving the | ||||
2822 | /// message. When a \p Receiver expression is provided, this is the | ||||
2823 | /// same type as that expression. For a superclass instance send, this | ||||
2824 | /// is a pointer to the type of the superclass. | ||||
2825 | /// | ||||
2826 | /// \param SuperLoc The location of the "super" keyword in a | ||||
2827 | /// superclass instance message. | ||||
2828 | /// | ||||
2829 | /// \param Sel The selector to which the message is being sent. | ||||
2830 | /// | ||||
2831 | /// \param Method The method that this instance message is invoking, if | ||||
2832 | /// already known. | ||||
2833 | /// | ||||
2834 | /// \param LBracLoc The location of the opening square bracket ']'. | ||||
2835 | /// | ||||
2836 | /// \param RBracLoc The location of the closing square bracket ']'. | ||||
2837 | /// | ||||
2838 | /// \param ArgsIn The message arguments. | ||||
2839 | ExprResult Sema::BuildInstanceMessage(Expr *Receiver, | ||||
2840 | QualType ReceiverType, | ||||
2841 | SourceLocation SuperLoc, | ||||
2842 | Selector Sel, | ||||
2843 | ObjCMethodDecl *Method, | ||||
2844 | SourceLocation LBracLoc, | ||||
2845 | ArrayRef<SourceLocation> SelectorLocs, | ||||
2846 | SourceLocation RBracLoc, | ||||
2847 | MultiExprArg ArgsIn, | ||||
2848 | bool isImplicit) { | ||||
2849 | assert((Receiver || SuperLoc.isValid()) && "If the Receiver is null, the "(static_cast <bool> ((Receiver || SuperLoc.isValid()) && "If the Receiver is null, the " "SuperLoc must be valid so we can " "use it instead.") ? void (0) : __assert_fail ("(Receiver || SuperLoc.isValid()) && \"If the Receiver is null, the \" \"SuperLoc must be valid so we can \" \"use it instead.\"" , "/build/llvm-toolchain-snapshot-14~++20210828111110+16086d47c0d0/clang/lib/Sema/SemaExprObjC.cpp" , 2851, __extension__ __PRETTY_FUNCTION__)) | ||||
2850 | "SuperLoc must be valid so we can "(static_cast <bool> ((Receiver || SuperLoc.isValid()) && "If the Receiver is null, the " "SuperLoc must be valid so we can " "use it instead.") ? void (0) : __assert_fail ("(Receiver || SuperLoc.isValid()) && \"If the Receiver is null, the \" \"SuperLoc must be valid so we can \" \"use it instead.\"" , "/build/llvm-toolchain-snapshot-14~++20210828111110+16086d47c0d0/clang/lib/Sema/SemaExprObjC.cpp" , 2851, __extension__ __PRETTY_FUNCTION__)) | ||||
2851 | "use it instead.")(static_cast <bool> ((Receiver || SuperLoc.isValid()) && "If the Receiver is null, the " "SuperLoc must be valid so we can " "use it instead.") ? void (0) : __assert_fail ("(Receiver || SuperLoc.isValid()) && \"If the Receiver is null, the \" \"SuperLoc must be valid so we can \" \"use it instead.\"" , "/build/llvm-toolchain-snapshot-14~++20210828111110+16086d47c0d0/clang/lib/Sema/SemaExprObjC.cpp" , 2851, __extension__ __PRETTY_FUNCTION__)); | ||||
2852 | |||||
2853 | // The location of the receiver. | ||||
2854 | SourceLocation Loc = SuperLoc.isValid() ? SuperLoc : Receiver->getBeginLoc(); | ||||
2855 | SourceRange RecRange = | ||||
2856 | SuperLoc.isValid()? SuperLoc : Receiver->getSourceRange(); | ||||
2857 | ArrayRef<SourceLocation> SelectorSlotLocs; | ||||
2858 | if (!SelectorLocs.empty() && SelectorLocs.front().isValid()) | ||||
2859 | SelectorSlotLocs = SelectorLocs; | ||||
2860 | else | ||||
2861 | SelectorSlotLocs = Loc; | ||||
2862 | SourceLocation SelLoc = SelectorSlotLocs.front(); | ||||
2863 | |||||
2864 | if (LBracLoc.isInvalid()) { | ||||
2865 | Diag(Loc, diag::err_missing_open_square_message_send) | ||||
2866 | << FixItHint::CreateInsertion(Loc, "["); | ||||
2867 | LBracLoc = Loc; | ||||
2868 | } | ||||
2869 | |||||
2870 | // If we have a receiver expression, perform appropriate promotions | ||||
2871 | // and determine receiver type. | ||||
2872 | if (Receiver) { | ||||
2873 | if (Receiver->hasPlaceholderType()) { | ||||
2874 | ExprResult Result; | ||||
2875 | if (Receiver->getType() == Context.UnknownAnyTy) | ||||
2876 | Result = forceUnknownAnyToType(Receiver, Context.getObjCIdType()); | ||||
2877 | else | ||||
2878 | Result = CheckPlaceholderExpr(Receiver); | ||||
2879 | if (Result.isInvalid()) return ExprError(); | ||||
2880 | Receiver = Result.get(); | ||||
2881 | } | ||||
2882 | |||||
2883 | if (Receiver->isTypeDependent()) { | ||||
2884 | // If the receiver is type-dependent, we can't type-check anything | ||||
2885 | // at this point. Build a dependent expression. | ||||
2886 | unsigned NumArgs = ArgsIn.size(); | ||||
2887 | Expr **Args = ArgsIn.data(); | ||||
2888 | assert(SuperLoc.isInvalid() && "Message to super with dependent type")(static_cast <bool> (SuperLoc.isInvalid() && "Message to super with dependent type" ) ? void (0) : __assert_fail ("SuperLoc.isInvalid() && \"Message to super with dependent type\"" , "/build/llvm-toolchain-snapshot-14~++20210828111110+16086d47c0d0/clang/lib/Sema/SemaExprObjC.cpp" , 2888, __extension__ __PRETTY_FUNCTION__)); | ||||
2889 | return ObjCMessageExpr::Create( | ||||
2890 | Context, Context.DependentTy, VK_PRValue, LBracLoc, Receiver, Sel, | ||||
2891 | SelectorLocs, /*Method=*/nullptr, makeArrayRef(Args, NumArgs), | ||||
2892 | RBracLoc, isImplicit); | ||||
2893 | } | ||||
2894 | |||||
2895 | // If necessary, apply function/array conversion to the receiver. | ||||
2896 | // C99 6.7.5.3p[7,8]. | ||||
2897 | ExprResult Result = DefaultFunctionArrayLvalueConversion(Receiver); | ||||
2898 | if (Result.isInvalid()) | ||||
2899 | return ExprError(); | ||||
2900 | Receiver = Result.get(); | ||||
2901 | ReceiverType = Receiver->getType(); | ||||
2902 | |||||
2903 | // If the receiver is an ObjC pointer, a block pointer, or an | ||||
2904 | // __attribute__((NSObject)) pointer, we don't need to do any | ||||
2905 | // special conversion in order to look up a receiver. | ||||
2906 | if (ReceiverType->isObjCRetainableType()) { | ||||
2907 | // do nothing | ||||
2908 | } else if (!getLangOpts().ObjCAutoRefCount && | ||||
2909 | !Context.getObjCIdType().isNull() && | ||||
2910 | (ReceiverType->isPointerType() || | ||||
2911 | ReceiverType->isIntegerType())) { | ||||
2912 | // Implicitly convert integers and pointers to 'id' but emit a warning. | ||||
2913 | // But not in ARC. | ||||
2914 | Diag(Loc, diag::warn_bad_receiver_type) << ReceiverType << RecRange; | ||||
2915 | if (ReceiverType->isPointerType()) { | ||||
2916 | Receiver = ImpCastExprToType(Receiver, Context.getObjCIdType(), | ||||
2917 | CK_CPointerToObjCPointerCast).get(); | ||||
2918 | } else { | ||||
2919 | // TODO: specialized warning on null receivers? | ||||
2920 | bool IsNull = Receiver->isNullPointerConstant(Context, | ||||
2921 | Expr::NPC_ValueDependentIsNull); | ||||
2922 | CastKind Kind = IsNull ? CK_NullToPointer : CK_IntegralToPointer; | ||||
2923 | Receiver = ImpCastExprToType(Receiver, Context.getObjCIdType(), | ||||
2924 | Kind).get(); | ||||
2925 | } | ||||
2926 | ReceiverType = Receiver->getType(); | ||||
2927 | } else if (getLangOpts().CPlusPlus) { | ||||
2928 | // The receiver must be a complete type. | ||||
2929 | if (RequireCompleteType(Loc, Receiver->getType(), | ||||
2930 | diag::err_incomplete_receiver_type)) | ||||
2931 | return ExprError(); | ||||
2932 | |||||
2933 | ExprResult result = PerformContextuallyConvertToObjCPointer(Receiver); | ||||
2934 | if (result.isUsable()) { | ||||
2935 | Receiver = result.get(); | ||||
2936 | ReceiverType = Receiver->getType(); | ||||
2937 | } | ||||
2938 | } | ||||
2939 | } | ||||
2940 | |||||
2941 | // There's a somewhat weird interaction here where we assume that we | ||||
2942 | // won't actually have a method unless we also don't need to do some | ||||
2943 | // of the more detailed type-checking on the receiver. | ||||
2944 | |||||
2945 | if (!Method) { | ||||
2946 | // Handle messages to id and __kindof types (where we use the | ||||
2947 | // global method pool). | ||||
2948 | const ObjCObjectType *typeBound = nullptr; | ||||
2949 | bool receiverIsIdLike = ReceiverType->isObjCIdOrObjectKindOfType(Context, | ||||
2950 | typeBound); | ||||
2951 | if (receiverIsIdLike || ReceiverType->isBlockPointerType() || | ||||
2952 | (Receiver && Context.isObjCNSObjectType(Receiver->getType()))) { | ||||
2953 | SmallVector<ObjCMethodDecl*, 4> Methods; | ||||
2954 | // If we have a type bound, further filter the methods. | ||||
2955 | CollectMultipleMethodsInGlobalPool(Sel, Methods, true/*InstanceFirst*/, | ||||
2956 | true/*CheckTheOther*/, typeBound); | ||||
2957 | if (!Methods.empty()) { | ||||
2958 | // We choose the first method as the initial candidate, then try to | ||||
2959 | // select a better one. | ||||
2960 | Method = Methods[0]; | ||||
2961 | |||||
2962 | if (ObjCMethodDecl *BestMethod = | ||||
2963 | SelectBestMethod(Sel, ArgsIn, Method->isInstanceMethod(), Methods)) | ||||
2964 | Method = BestMethod; | ||||
2965 | |||||
2966 | if (!AreMultipleMethodsInGlobalPool(Sel, Method, | ||||
2967 | SourceRange(LBracLoc, RBracLoc), | ||||
2968 | receiverIsIdLike, Methods)) | ||||
2969 | DiagnoseUseOfDecl(Method, SelectorSlotLocs); | ||||
2970 | } | ||||
2971 | } else if (ReceiverType->isObjCClassOrClassKindOfType() || | ||||
2972 | ReceiverType->isObjCQualifiedClassType()) { | ||||
2973 | // Handle messages to Class. | ||||
2974 | // We allow sending a message to a qualified Class ("Class<foo>"), which | ||||
2975 | // is ok as long as one of the protocols implements the selector (if not, | ||||
2976 | // warn). | ||||
2977 | if (!ReceiverType->isObjCClassOrClassKindOfType()) { | ||||
2978 | const ObjCObjectPointerType *QClassTy | ||||
2979 | = ReceiverType->getAsObjCQualifiedClassType(); | ||||
2980 | // Search protocols for class methods. | ||||
2981 | Method = LookupMethodInQualifiedType(Sel, QClassTy, false); | ||||
2982 | if (!Method) { | ||||
2983 | Method = LookupMethodInQualifiedType(Sel, QClassTy, true); | ||||
2984 | // warn if instance method found for a Class message. | ||||
2985 | if (Method && !isMethodDeclaredInRootProtocol(*this, Method)) { | ||||
2986 | Diag(SelLoc, diag::warn_instance_method_on_class_found) | ||||
2987 | << Method->getSelector() << Sel; | ||||
2988 | Diag(Method->getLocation(), diag::note_method_declared_at) | ||||
2989 | << Method->getDeclName(); | ||||
2990 | } | ||||
2991 | } | ||||
2992 | } else { | ||||
2993 | if (ObjCMethodDecl *CurMeth = getCurMethodDecl()) { | ||||
2994 | if (ObjCInterfaceDecl *ClassDecl = CurMeth->getClassInterface()) { | ||||
2995 | // As a guess, try looking for the method in the current interface. | ||||
2996 | // This very well may not produce the "right" method. | ||||
2997 | |||||
2998 | // First check the public methods in the class interface. | ||||
2999 | Method = ClassDecl->lookupClassMethod(Sel); | ||||
3000 | |||||
3001 | if (!Method) | ||||
3002 | Method = ClassDecl->lookupPrivateClassMethod(Sel); | ||||
3003 | |||||
3004 | if (Method && DiagnoseUseOfDecl(Method, SelectorSlotLocs)) | ||||
3005 | return ExprError(); | ||||
3006 | } | ||||
3007 | } | ||||
3008 | if (!Method) { | ||||
3009 | // If not messaging 'self', look for any factory method named 'Sel'. | ||||
3010 | if (!Receiver || !isSelfExpr(Receiver)) { | ||||
3011 | // If no class (factory) method was found, check if an _instance_ | ||||
3012 | // method of the same name exists in the root class only. | ||||
3013 | SmallVector<ObjCMethodDecl*, 4> Methods; | ||||
3014 | CollectMultipleMethodsInGlobalPool(Sel, Methods, | ||||
3015 | false/*InstanceFirst*/, | ||||
3016 | true/*CheckTheOther*/); | ||||
3017 | if (!Methods.empty()) { | ||||
3018 | // We choose the first method as the initial candidate, then try | ||||
3019 | // to select a better one. | ||||
3020 | Method = Methods[0]; | ||||
3021 | |||||
3022 | // If we find an instance method, emit warning. | ||||
3023 | if (Method->isInstanceMethod()) { | ||||
3024 | if (const ObjCInterfaceDecl *ID = | ||||
3025 | dyn_cast<ObjCInterfaceDecl>(Method->getDeclContext())) { | ||||
3026 | if (ID->getSuperClass()) | ||||
3027 | Diag(SelLoc, diag::warn_root_inst_method_not_found) | ||||
3028 | << Sel << SourceRange(LBracLoc, RBracLoc); | ||||
3029 | } | ||||
3030 | } | ||||
3031 | |||||
3032 | if (ObjCMethodDecl *BestMethod = | ||||
3033 | SelectBestMethod(Sel, ArgsIn, Method->isInstanceMethod(), | ||||
3034 | Methods)) | ||||
3035 | Method = BestMethod; | ||||
3036 | } | ||||
3037 | } | ||||
3038 | } | ||||
3039 | } | ||||
3040 | } else { | ||||
3041 | ObjCInterfaceDecl *ClassDecl = nullptr; | ||||
3042 | |||||
3043 | // We allow sending a message to a qualified ID ("id<foo>"), which is ok as | ||||
3044 | // long as one of the protocols implements the selector (if not, warn). | ||||
3045 | // And as long as message is not deprecated/unavailable (warn if it is). | ||||
3046 | if (const ObjCObjectPointerType *QIdTy | ||||
3047 | = ReceiverType->getAsObjCQualifiedIdType()) { | ||||
3048 | // Search protocols for instance methods. | ||||
3049 | Method = LookupMethodInQualifiedType(Sel, QIdTy, true); | ||||
3050 | if (!Method) | ||||
3051 | Method = LookupMethodInQualifiedType(Sel, QIdTy, false); | ||||
3052 | if (Method && DiagnoseUseOfDecl(Method, SelectorSlotLocs)) | ||||
3053 | return ExprError(); | ||||
3054 | } else if (const ObjCObjectPointerType *OCIType | ||||
3055 | = ReceiverType->getAsObjCInterfacePointerType()) { | ||||
3056 | // We allow sending a message to a pointer to an interface (an object). | ||||
3057 | ClassDecl = OCIType->getInterfaceDecl(); | ||||
3058 | |||||
3059 | // Try to complete the type. Under ARC, this is a hard error from which | ||||
3060 | // we don't try to recover. | ||||
3061 | // FIXME: In the non-ARC case, this will still be a hard error if the | ||||
3062 | // definition is found in a module that's not visible. | ||||
3063 | const ObjCInterfaceDecl *forwardClass = nullptr; | ||||
3064 | if (RequireCompleteType(Loc, OCIType->getPointeeType(), | ||||
3065 | getLangOpts().ObjCAutoRefCount | ||||
3066 | ? diag::err_arc_receiver_forward_instance | ||||
3067 | : diag::warn_receiver_forward_instance, | ||||
3068 | RecRange)) { | ||||
3069 | if (getLangOpts().ObjCAutoRefCount) | ||||
3070 | return ExprError(); | ||||
3071 | |||||
3072 | forwardClass = OCIType->getInterfaceDecl(); | ||||
3073 | Diag(Receiver ? Receiver->getBeginLoc() : SuperLoc, | ||||
3074 | diag::note_receiver_is_id); | ||||
3075 | Method = nullptr; | ||||
3076 | } else { | ||||
3077 | Method = ClassDecl->lookupInstanceMethod(Sel); | ||||
3078 | } | ||||
3079 | |||||
3080 | if (!Method) | ||||
3081 | // Search protocol qualifiers. | ||||
3082 | Method = LookupMethodInQualifiedType(Sel, OCIType, true); | ||||
3083 | |||||
3084 | if (!Method) { | ||||
3085 | // If we have implementations in scope, check "private" methods. | ||||
3086 | Method = ClassDecl->lookupPrivateMethod(Sel); | ||||
3087 | |||||
3088 | if (!Method && getLangOpts().ObjCAutoRefCount) { | ||||
3089 | Diag(SelLoc, diag::err_arc_may_not_respond) | ||||
3090 | << OCIType->getPointeeType() << Sel << RecRange | ||||
3091 | << SourceRange(SelectorLocs.front(), SelectorLocs.back()); | ||||
3092 | return ExprError(); | ||||
3093 | } | ||||
3094 | |||||
3095 | if (!Method && (!Receiver || !isSelfExpr(Receiver))) { | ||||
3096 | // If we still haven't found a method, look in the global pool. This | ||||
3097 | // behavior isn't very desirable, however we need it for GCC | ||||
3098 | // compatibility. FIXME: should we deviate?? | ||||
3099 | if (OCIType->qual_empty()) { | ||||
3100 | SmallVector<ObjCMethodDecl*, 4> Methods; | ||||
3101 | CollectMultipleMethodsInGlobalPool(Sel, Methods, | ||||
3102 | true/*InstanceFirst*/, | ||||
3103 | false/*CheckTheOther*/); | ||||
3104 | if (!Methods.empty()) { | ||||
3105 | // We choose the first method as the initial candidate, then try | ||||
3106 | // to select a better one. | ||||
3107 | Method = Methods[0]; | ||||
3108 | |||||
3109 | if (ObjCMethodDecl *BestMethod = | ||||
3110 | SelectBestMethod(Sel, ArgsIn, Method->isInstanceMethod(), | ||||
3111 | Methods)) | ||||
3112 | Method = BestMethod; | ||||
3113 | |||||
3114 | AreMultipleMethodsInGlobalPool(Sel, Method, | ||||
3115 | SourceRange(LBracLoc, RBracLoc), | ||||
3116 | true/*receiverIdOrClass*/, | ||||
3117 | Methods); | ||||
3118 | } | ||||
3119 | if (Method && !forwardClass) | ||||
3120 | Diag(SelLoc, diag::warn_maynot_respond) | ||||
3121 | << OCIType->getInterfaceDecl()->getIdentifier() | ||||
3122 | << Sel << RecRange; | ||||
3123 | } | ||||
3124 | } | ||||
3125 | } | ||||
3126 | if (Method && DiagnoseUseOfDecl(Method, SelectorSlotLocs, forwardClass)) | ||||
3127 | return ExprError(); | ||||
3128 | } else { | ||||
3129 | // Reject other random receiver types (e.g. structs). | ||||
3130 | Diag(Loc, diag::err_bad_receiver_type) << ReceiverType << RecRange; | ||||
3131 | return ExprError(); | ||||
3132 | } | ||||
3133 | } | ||||
3134 | } | ||||
3135 | |||||
3136 | FunctionScopeInfo *DIFunctionScopeInfo = | ||||
3137 | (Method && Method->getMethodFamily() == OMF_init) | ||||
3138 | ? getEnclosingFunction() : nullptr; | ||||
3139 | |||||
3140 | if (Method && Method->isDirectMethod()) { | ||||
3141 | if (ReceiverType->isObjCIdType() && !isImplicit) { | ||||
3142 | Diag(Receiver->getExprLoc(), | ||||
3143 | diag::err_messaging_unqualified_id_with_direct_method); | ||||
3144 | Diag(Method->getLocation(), diag::note_direct_method_declared_at) | ||||
3145 | << Method->getDeclName(); | ||||
3146 | } | ||||
3147 | |||||
3148 | // Under ARC, self can't be assigned, and doing a direct call to `self` | ||||
3149 | // when it's a Class is hence safe. For other cases, we can't trust `self` | ||||
3150 | // is what we think it is, so we reject it. | ||||
3151 | if (ReceiverType->isObjCClassType() && !isImplicit && | ||||
3152 | !(Receiver->isObjCSelfExpr() && getLangOpts().ObjCAutoRefCount)) { | ||||
3153 | { | ||||
3154 | auto Builder = Diag(Receiver->getExprLoc(), | ||||
3155 | diag::err_messaging_class_with_direct_method); | ||||
3156 | if (Receiver->isObjCSelfExpr()) { | ||||
3157 | Builder.AddFixItHint(FixItHint::CreateReplacement( | ||||
3158 | RecRange, Method->getClassInterface()->getName())); | ||||
3159 | } | ||||
3160 | } | ||||
3161 | Diag(Method->getLocation(), diag::note_direct_method_declared_at) | ||||
3162 | << Method->getDeclName(); | ||||
3163 | } | ||||
3164 | |||||
3165 | if (SuperLoc.isValid()) { | ||||
3166 | { | ||||
3167 | auto Builder = | ||||
3168 | Diag(SuperLoc, diag::err_messaging_super_with_direct_method); | ||||
3169 | if (ReceiverType->isObjCClassType()) { | ||||
3170 | Builder.AddFixItHint(FixItHint::CreateReplacement( | ||||
3171 | SuperLoc, Method->getClassInterface()->getName())); | ||||
3172 | } else { | ||||
3173 | Builder.AddFixItHint(FixItHint::CreateReplacement(SuperLoc, "self")); | ||||
3174 | } | ||||
3175 | } | ||||
3176 | Diag(Method->getLocation(), diag::note_direct_method_declared_at) | ||||
3177 | << Method->getDeclName(); | ||||
3178 | } | ||||
3179 | } else if (ReceiverType->isObjCIdType() && !isImplicit) { | ||||
3180 | Diag(Receiver->getExprLoc(), diag::warn_messaging_unqualified_id); | ||||
3181 | } | ||||
3182 | |||||
3183 | if (DIFunctionScopeInfo && | ||||
3184 | DIFunctionScopeInfo->ObjCIsDesignatedInit && | ||||
3185 | (SuperLoc.isValid() || isSelfExpr(Receiver))) { | ||||
3186 | bool isDesignatedInitChain = false; | ||||
3187 | if (SuperLoc.isValid()) { | ||||
3188 | if (const ObjCObjectPointerType * | ||||
3189 | OCIType = ReceiverType->getAsObjCInterfacePointerType()) { | ||||
3190 | if (const ObjCInterfaceDecl *ID = OCIType->getInterfaceDecl()) { | ||||
3191 | // Either we know this is a designated initializer or we | ||||
3192 | // conservatively assume it because we don't know for sure. | ||||
3193 | if (!ID->declaresOrInheritsDesignatedInitializers() || | ||||
3194 | ID->isDesignatedInitializer(Sel)) { | ||||
3195 | isDesignatedInitChain = true; | ||||
3196 | DIFunctionScopeInfo->ObjCWarnForNoDesignatedInitChain = false; | ||||
3197 | } | ||||
3198 | } | ||||
3199 | } | ||||
3200 | } | ||||
3201 | if (!isDesignatedInitChain) { | ||||
3202 | const ObjCMethodDecl *InitMethod = nullptr; | ||||
3203 | bool isDesignated = | ||||
3204 | getCurMethodDecl()->isDesignatedInitializerForTheInterface(&InitMethod); | ||||
3205 | assert(isDesignated && InitMethod)(static_cast <bool> (isDesignated && InitMethod ) ? void (0) : __assert_fail ("isDesignated && InitMethod" , "/build/llvm-toolchain-snapshot-14~++20210828111110+16086d47c0d0/clang/lib/Sema/SemaExprObjC.cpp" , 3205, __extension__ __PRETTY_FUNCTION__)); | ||||
3206 | (void)isDesignated; | ||||
3207 | Diag(SelLoc, SuperLoc.isValid() ? | ||||
3208 | diag::warn_objc_designated_init_non_designated_init_call : | ||||
3209 | diag::warn_objc_designated_init_non_super_designated_init_call); | ||||
3210 | Diag(InitMethod->getLocation(), | ||||
3211 | diag::note_objc_designated_init_marked_here); | ||||
3212 | } | ||||
3213 | } | ||||
3214 | |||||
3215 | if (DIFunctionScopeInfo && | ||||
3216 | DIFunctionScopeInfo->ObjCIsSecondaryInit && | ||||
3217 | (SuperLoc.isValid() || isSelfExpr(Receiver))) { | ||||
3218 | if (SuperLoc.isValid()) { | ||||
3219 | Diag(SelLoc, diag::warn_objc_secondary_init_super_init_call); | ||||
3220 | } else { | ||||
3221 | DIFunctionScopeInfo->ObjCWarnForNoInitDelegation = false; | ||||
3222 | } | ||||
3223 | } | ||||
3224 | |||||
3225 | // Check the message arguments. | ||||
3226 | unsigned NumArgs = ArgsIn.size(); | ||||
3227 | Expr **Args = ArgsIn.data(); | ||||
3228 | QualType ReturnType; | ||||
3229 | ExprValueKind VK = VK_PRValue; | ||||
3230 | bool ClassMessage = (ReceiverType->isObjCClassType() || | ||||
3231 | ReceiverType->isObjCQualifiedClassType()); | ||||
3232 | if (CheckMessageArgumentTypes(Receiver, ReceiverType, | ||||
3233 | MultiExprArg(Args, NumArgs), Sel, SelectorLocs, | ||||
3234 | Method, ClassMessage, SuperLoc.isValid(), | ||||
3235 | LBracLoc, RBracLoc, RecRange, ReturnType, VK)) | ||||
3236 | return ExprError(); | ||||
3237 | |||||
3238 | if (Method && !Method->getReturnType()->isVoidType() && | ||||
3239 | RequireCompleteType(LBracLoc, Method->getReturnType(), | ||||
3240 | diag::err_illegal_message_expr_incomplete_type)) | ||||
3241 | return ExprError(); | ||||
3242 | |||||
3243 | // In ARC, forbid the user from sending messages to | ||||
3244 | // retain/release/autorelease/dealloc/retainCount explicitly. | ||||
3245 | if (getLangOpts().ObjCAutoRefCount) { | ||||
3246 | ObjCMethodFamily family = | ||||
3247 | (Method ? Method->getMethodFamily() : Sel.getMethodFamily()); | ||||
3248 | switch (family) { | ||||
3249 | case OMF_init: | ||||
3250 | if (Method) | ||||
3251 | checkInitMethod(Method, ReceiverType); | ||||
3252 | break; | ||||
3253 | |||||
3254 | case OMF_None: | ||||
3255 | case OMF_alloc: | ||||
3256 | case OMF_copy: | ||||
3257 | case OMF_finalize: | ||||
3258 | case OMF_mutableCopy: | ||||
3259 | case OMF_new: | ||||
3260 | case OMF_self: | ||||
3261 | case OMF_initialize: | ||||
3262 | break; | ||||
3263 | |||||
3264 | case OMF_dealloc: | ||||
3265 | case OMF_retain: | ||||
3266 | case OMF_release: | ||||
3267 | case OMF_autorelease: | ||||
3268 | case OMF_retainCount: | ||||
3269 | Diag(SelLoc, diag::err_arc_illegal_explicit_message) | ||||
3270 | << Sel << RecRange; | ||||
3271 | break; | ||||
3272 | |||||
3273 | case OMF_performSelector: | ||||
3274 | if (Method && NumArgs >= 1) { | ||||
3275 | if (const auto *SelExp = | ||||
3276 | dyn_cast<ObjCSelectorExpr>(Args[0]->IgnoreParens())) { | ||||
3277 | Selector ArgSel = SelExp->getSelector(); | ||||
3278 | ObjCMethodDecl *SelMethod = | ||||
3279 | LookupInstanceMethodInGlobalPool(ArgSel, | ||||
3280 | SelExp->getSourceRange()); | ||||
3281 | if (!SelMethod) | ||||
3282 | SelMethod = | ||||
3283 | LookupFactoryMethodInGlobalPool(ArgSel, | ||||
3284 | SelExp->getSourceRange()); | ||||
3285 | if (SelMethod) { | ||||
3286 | ObjCMethodFamily SelFamily = SelMethod->getMethodFamily(); | ||||
3287 | switch (SelFamily) { | ||||
3288 | case OMF_alloc: | ||||
3289 | case OMF_copy: | ||||
3290 | case OMF_mutableCopy: | ||||
3291 | case OMF_new: | ||||
3292 | case OMF_init: | ||||
3293 | // Issue error, unless ns_returns_not_retained. | ||||
3294 | if (!SelMethod->hasAttr<NSReturnsNotRetainedAttr>()) { | ||||
3295 | // selector names a +1 method | ||||
3296 | Diag(SelLoc, | ||||
3297 | diag::err_arc_perform_selector_retains); | ||||
3298 | Diag(SelMethod->getLocation(), diag::note_method_declared_at) | ||||
3299 | << SelMethod->getDeclName(); | ||||
3300 | } | ||||
3301 | break; | ||||
3302 | default: | ||||
3303 | // +0 call. OK. unless ns_returns_retained. | ||||
3304 | if (SelMethod->hasAttr<NSReturnsRetainedAttr>()) { | ||||
3305 | // selector names a +1 method | ||||
3306 | Diag(SelLoc, | ||||
3307 | diag::err_arc_perform_selector_retains); | ||||
3308 | Diag(SelMethod->getLocation(), diag::note_method_declared_at) | ||||
3309 | << SelMethod->getDeclName(); | ||||
3310 | } | ||||
3311 | break; | ||||
3312 | } | ||||
3313 | } | ||||
3314 | } else { | ||||
3315 | // error (may leak). | ||||
3316 | Diag(SelLoc, diag::warn_arc_perform_selector_leaks); | ||||
3317 | Diag(Args[0]->getExprLoc(), diag::note_used_here); | ||||
3318 | } | ||||
3319 | } | ||||
3320 | break; | ||||
3321 | } | ||||
3322 | } | ||||
3323 | |||||
3324 | DiagnoseCStringFormatDirectiveInObjCAPI(*this, Method, Sel, Args, NumArgs); | ||||
3325 | |||||
3326 | // Construct the appropriate ObjCMessageExpr instance. | ||||
3327 | ObjCMessageExpr *Result; | ||||
3328 | if (SuperLoc.isValid()) | ||||
3329 | Result = ObjCMessageExpr::Create(Context, ReturnType, VK, LBracLoc, | ||||
3330 | SuperLoc, /*IsInstanceSuper=*/true, | ||||
3331 | ReceiverType, Sel, SelectorLocs, Method, | ||||
3332 | makeArrayRef(Args, NumArgs), RBracLoc, | ||||
3333 | isImplicit); | ||||
3334 | else { | ||||
3335 | Result = ObjCMessageExpr::Create(Context, ReturnType, VK, LBracLoc, | ||||
3336 | Receiver, Sel, SelectorLocs, Method, | ||||
3337 | makeArrayRef(Args, NumArgs), RBracLoc, | ||||
3338 | isImplicit); | ||||
3339 | if (!isImplicit) | ||||
3340 | checkCocoaAPI(*this, Result); | ||||
3341 | } | ||||
3342 | if (Method) { | ||||
3343 | bool IsClassObjectCall = ClassMessage; | ||||
3344 | // 'self' message receivers in class methods should be treated as message | ||||
3345 | // sends to the class object in order for the semantic checks to be | ||||
3346 | // performed correctly. Messages to 'super' already count as class messages, | ||||
3347 | // so they don't need to be handled here. | ||||
3348 | if (Receiver && isSelfExpr(Receiver)) { | ||||
3349 | if (const auto *OPT = ReceiverType->getAs<ObjCObjectPointerType>()) { | ||||
3350 | if (OPT->getObjectType()->isObjCClass()) { | ||||
3351 | if (const auto *CurMeth = getCurMethodDecl()) { | ||||
3352 | IsClassObjectCall = true; | ||||
3353 | ReceiverType = | ||||
3354 | Context.getObjCInterfaceType(CurMeth->getClassInterface()); | ||||
3355 | } | ||||
3356 | } | ||||
3357 | } | ||||
3358 | } | ||||
3359 | checkFoundationAPI(*this, SelLoc, Method, makeArrayRef(Args, NumArgs), | ||||
3360 | ReceiverType, IsClassObjectCall); | ||||
3361 | } | ||||
3362 | |||||
3363 | if (getLangOpts().ObjCAutoRefCount) { | ||||
3364 | // In ARC, annotate delegate init calls. | ||||
3365 | if (Result->getMethodFamily() == OMF_init && | ||||
3366 | (SuperLoc.isValid() || isSelfExpr(Receiver))) { | ||||
3367 | // Only consider init calls *directly* in init implementations, | ||||
3368 | // not within blocks. | ||||
3369 | ObjCMethodDecl *method = dyn_cast<ObjCMethodDecl>(CurContext); | ||||
3370 | if (method && method->getMethodFamily() == OMF_init) { | ||||
3371 | // The implicit assignment to self means we also don't want to | ||||
3372 | // consume the result. | ||||
3373 | Result->setDelegateInitCall(true); | ||||
3374 | return Result; | ||||
3375 | } | ||||
3376 | } | ||||
3377 | |||||
3378 | // In ARC, check for message sends which are likely to introduce | ||||
3379 | // retain cycles. | ||||
3380 | checkRetainCycles(Result); | ||||
3381 | } | ||||
3382 | |||||
3383 | if (getLangOpts().ObjCWeak) { | ||||
3384 | if (!isImplicit && Method) { | ||||
3385 | if (const ObjCPropertyDecl *Prop = Method->findPropertyDecl()) { | ||||
3386 | bool IsWeak = | ||||
3387 | Prop->getPropertyAttributes() & ObjCPropertyAttribute::kind_weak; | ||||
3388 | if (!IsWeak && Sel.isUnarySelector()) | ||||
3389 | IsWeak = ReturnType.getObjCLifetime() & Qualifiers::OCL_Weak; | ||||
3390 | if (IsWeak && !isUnevaluatedContext() && | ||||
3391 | !Diags.isIgnored(diag::warn_arc_repeated_use_of_weak, LBracLoc)) | ||||
3392 | getCurFunction()->recordUseOfWeak(Result, Prop); | ||||
3393 | } | ||||
3394 | } | ||||
3395 | } | ||||
3396 | |||||
3397 | CheckObjCCircularContainer(Result); | ||||
3398 | |||||
3399 | return MaybeBindToTemporary(Result); | ||||
3400 | } | ||||
3401 | |||||
3402 | static void RemoveSelectorFromWarningCache(Sema &S, Expr* Arg) { | ||||
3403 | if (ObjCSelectorExpr *OSE = | ||||
3404 | dyn_cast<ObjCSelectorExpr>(Arg->IgnoreParenCasts())) { | ||||
3405 | Selector Sel = OSE->getSelector(); | ||||
3406 | SourceLocation Loc = OSE->getAtLoc(); | ||||
3407 | auto Pos = S.ReferencedSelectors.find(Sel); | ||||
3408 | if (Pos != S.ReferencedSelectors.end() && Pos->second == Loc) | ||||
3409 | S.ReferencedSelectors.erase(Pos); | ||||
3410 | } | ||||
3411 | } | ||||
3412 | |||||
3413 | // ActOnInstanceMessage - used for both unary and keyword messages. | ||||
3414 | // ArgExprs is optional - if it is present, the number of expressions | ||||
3415 | // is obtained from Sel.getNumArgs(). | ||||
3416 | ExprResult Sema::ActOnInstanceMessage(Scope *S, | ||||
3417 | Expr *Receiver, | ||||
3418 | Selector Sel, | ||||
3419 | SourceLocation LBracLoc, | ||||
3420 | ArrayRef<SourceLocation> SelectorLocs, | ||||
3421 | SourceLocation RBracLoc, | ||||
3422 | MultiExprArg Args) { | ||||
3423 | if (!Receiver) | ||||
3424 | return ExprError(); | ||||
3425 | |||||
3426 | // A ParenListExpr can show up while doing error recovery with invalid code. | ||||
3427 | if (isa<ParenListExpr>(Receiver)) { | ||||
3428 | ExprResult Result = MaybeConvertParenListExprToParenExpr(S, Receiver); | ||||
3429 | if (Result.isInvalid()) return ExprError(); | ||||
3430 | Receiver = Result.get(); | ||||
3431 | } | ||||
3432 | |||||
3433 | if (RespondsToSelectorSel.isNull()) { | ||||
3434 | IdentifierInfo *SelectorId = &Context.Idents.get("respondsToSelector"); | ||||
3435 | RespondsToSelectorSel = Context.Selectors.getUnarySelector(SelectorId); | ||||
3436 | } | ||||
3437 | if (Sel == RespondsToSelectorSel) | ||||
3438 | RemoveSelectorFromWarningCache(*this, Args[0]); | ||||
3439 | |||||
3440 | return BuildInstanceMessage(Receiver, Receiver->getType(), | ||||
3441 | /*SuperLoc=*/SourceLocation(), Sel, | ||||
3442 | /*Method=*/nullptr, LBracLoc, SelectorLocs, | ||||
3443 | RBracLoc, Args); | ||||
3444 | } | ||||
3445 | |||||
3446 | enum ARCConversionTypeClass { | ||||
3447 | /// int, void, struct A | ||||
3448 | ACTC_none, | ||||
3449 | |||||
3450 | /// id, void (^)() | ||||
3451 | ACTC_retainable, | ||||
3452 | |||||
3453 | /// id*, id***, void (^*)(), | ||||
3454 | ACTC_indirectRetainable, | ||||
3455 | |||||
3456 | /// void* might be a normal C type, or it might a CF type. | ||||
3457 | ACTC_voidPtr, | ||||
3458 | |||||
3459 | /// struct A* | ||||
3460 | ACTC_coreFoundation | ||||
3461 | }; | ||||
3462 | |||||
3463 | static bool isAnyRetainable(ARCConversionTypeClass ACTC) { | ||||
3464 | return (ACTC == ACTC_retainable || | ||||
3465 | ACTC == ACTC_coreFoundation || | ||||
3466 | ACTC == ACTC_voidPtr); | ||||
3467 | } | ||||
3468 | |||||
3469 | static bool isAnyCLike(ARCConversionTypeClass ACTC) { | ||||
3470 | return ACTC == ACTC_none || | ||||
3471 | ACTC == ACTC_voidPtr || | ||||
3472 | ACTC == ACTC_coreFoundation; | ||||
3473 | } | ||||
3474 | |||||
3475 | static ARCConversionTypeClass classifyTypeForARCConversion(QualType type) { | ||||
3476 | bool isIndirect = false; | ||||
3477 | |||||
3478 | // Ignore an outermost reference type. | ||||
3479 | if (const ReferenceType *ref = type->getAs<ReferenceType>()) { | ||||
3480 | type = ref->getPointeeType(); | ||||
3481 | isIndirect = true; | ||||
3482 | } | ||||
3483 | |||||
3484 | // Drill through pointers and arrays recursively. | ||||
3485 | while (true) { | ||||
3486 | if (const PointerType *ptr = type->getAs<PointerType>()) { | ||||
3487 | type = ptr->getPointeeType(); | ||||
3488 | |||||
3489 | // The first level of pointer may be the innermost pointer on a CF type. | ||||
3490 | if (!isIndirect) { | ||||
3491 | if (type->isVoidType()) return ACTC_voidPtr; | ||||
3492 | if (type->isRecordType()) return ACTC_coreFoundation; | ||||
3493 | } | ||||
3494 | } else if (const ArrayType *array = type->getAsArrayTypeUnsafe()) { | ||||
3495 | type = QualType(array->getElementType()->getBaseElementTypeUnsafe(), 0); | ||||
3496 | } else { | ||||
3497 | break; | ||||
3498 | } | ||||
3499 | isIndirect = true; | ||||
3500 | } | ||||
3501 | |||||
3502 | if (isIndirect) { | ||||
3503 | if (type->isObjCARCBridgableType()) | ||||
3504 | return ACTC_indirectRetainable; | ||||
3505 | return ACTC_none; | ||||
3506 | } | ||||
3507 | |||||
3508 | if (type->isObjCARCBridgableType()) | ||||
3509 | return ACTC_retainable; | ||||
3510 | |||||
3511 | return ACTC_none; | ||||
3512 | } | ||||
3513 | |||||
3514 | namespace { | ||||
3515 | /// A result from the cast checker. | ||||
3516 | enum ACCResult { | ||||
3517 | /// Cannot be casted. | ||||
3518 | ACC_invalid, | ||||
3519 | |||||
3520 | /// Can be safely retained or not retained. | ||||
3521 | ACC_bottom, | ||||
3522 | |||||
3523 | /// Can be casted at +0. | ||||
3524 | ACC_plusZero, | ||||
3525 | |||||
3526 | /// Can be casted at +1. | ||||
3527 | ACC_plusOne | ||||
3528 | }; | ||||
3529 | ACCResult merge(ACCResult left, ACCResult right) { | ||||
3530 | if (left == right) return left; | ||||
3531 | if (left == ACC_bottom) return right; | ||||
3532 | if (right == ACC_bottom) return left; | ||||
3533 | return ACC_invalid; | ||||
3534 | } | ||||
3535 | |||||
3536 | /// A checker which white-lists certain expressions whose conversion | ||||
3537 | /// to or from retainable type would otherwise be forbidden in ARC. | ||||
3538 | class ARCCastChecker : public StmtVisitor<ARCCastChecker, ACCResult> { | ||||
3539 | typedef StmtVisitor<ARCCastChecker, ACCResult> super; | ||||
3540 | |||||
3541 | ASTContext &Context; | ||||
3542 | ARCConversionTypeClass SourceClass; | ||||
3543 | ARCConversionTypeClass TargetClass; | ||||
3544 | bool Diagnose; | ||||
3545 | |||||
3546 | static bool isCFType(QualType type) { | ||||
3547 | // Someday this can use ns_bridged. For now, it has to do this. | ||||
3548 | return type->isCARCBridgableType(); | ||||
3549 | } | ||||
3550 | |||||
3551 | public: | ||||
3552 | ARCCastChecker(ASTContext &Context, ARCConversionTypeClass source, | ||||
3553 | ARCConversionTypeClass target, bool diagnose) | ||||
3554 | : Context(Context), SourceClass(source), TargetClass(target), | ||||
3555 | Diagnose(diagnose) {} | ||||
3556 | |||||
3557 | using super::Visit; | ||||
3558 | ACCResult Visit(Expr *e) { | ||||
3559 | return super::Visit(e->IgnoreParens()); | ||||
3560 | } | ||||
3561 | |||||
3562 | ACCResult VisitStmt(Stmt *s) { | ||||
3563 | return ACC_invalid; | ||||
3564 | } | ||||
3565 | |||||
3566 | /// Null pointer constants can be casted however you please. | ||||
3567 | ACCResult VisitExpr(Expr *e) { | ||||
3568 | if (e->isNullPointerConstant(Context, Expr::NPC_ValueDependentIsNotNull)) | ||||
3569 | return ACC_bottom; | ||||
3570 | return ACC_invalid; | ||||
3571 | } | ||||
3572 | |||||
3573 | /// Objective-C string literals can be safely casted. | ||||
3574 | ACCResult VisitObjCStringLiteral(ObjCStringLiteral *e) { | ||||
3575 | // If we're casting to any retainable type, go ahead. Global | ||||
3576 | // strings are immune to retains, so this is bottom. | ||||
3577 | if (isAnyRetainable(TargetClass)) return ACC_bottom; | ||||
3578 | |||||
3579 | return ACC_invalid; | ||||
3580 | } | ||||
3581 | |||||
3582 | /// Look through certain implicit and explicit casts. | ||||
3583 | ACCResult VisitCastExpr(CastExpr *e) { | ||||
3584 | switch (e->getCastKind()) { | ||||
3585 | case CK_NullToPointer: | ||||
3586 | return ACC_bottom; | ||||
3587 | |||||
3588 | case CK_NoOp: | ||||
3589 | case CK_LValueToRValue: | ||||
3590 | case CK_BitCast: | ||||
3591 | case CK_CPointerToObjCPointerCast: | ||||
3592 | case CK_BlockPointerToObjCPointerCast: | ||||
3593 | case CK_AnyPointerToBlockPointerCast: | ||||
3594 | return Visit(e->getSubExpr()); | ||||
3595 | |||||
3596 | default: | ||||
3597 | return ACC_invalid; | ||||
3598 | } | ||||
3599 | } | ||||
3600 | |||||
3601 | /// Look through unary extension. | ||||
3602 | ACCResult VisitUnaryExtension(UnaryOperator *e) { | ||||
3603 | return Visit(e->getSubExpr()); | ||||
3604 | } | ||||
3605 | |||||
3606 | /// Ignore the LHS of a comma operator. | ||||
3607 | ACCResult VisitBinComma(BinaryOperator *e) { | ||||
3608 | return Visit(e->getRHS()); | ||||
3609 | } | ||||
3610 | |||||
3611 | /// Conditional operators are okay if both sides are okay. | ||||
3612 | ACCResult VisitConditionalOperator(ConditionalOperator *e) { | ||||
3613 | ACCResult left = Visit(e->getTrueExpr()); | ||||
3614 | if (left == ACC_invalid) return ACC_invalid; | ||||
3615 | return merge(left, Visit(e->getFalseExpr())); | ||||
3616 | } | ||||
3617 | |||||
3618 | /// Look through pseudo-objects. | ||||
3619 | ACCResult VisitPseudoObjectExpr(PseudoObjectExpr *e) { | ||||
3620 | // If we're getting here, we should always have a result. | ||||
3621 | return Visit(e->getResultExpr()); | ||||
3622 | } | ||||
3623 | |||||
3624 | /// Statement expressions are okay if their result expression is okay. | ||||
3625 | ACCResult VisitStmtExpr(StmtExpr *e) { | ||||
3626 | return Visit(e->getSubStmt()->body_back()); | ||||
3627 | } | ||||
3628 | |||||
3629 | /// Some declaration references are okay. | ||||
3630 | ACCResult VisitDeclRefExpr(DeclRefExpr *e) { | ||||
3631 | VarDecl *var = dyn_cast<VarDecl>(e->getDecl()); | ||||
3632 | // References to global constants are okay. | ||||
3633 | if (isAnyRetainable(TargetClass) && | ||||
3634 | isAnyRetainable(SourceClass) && | ||||
3635 | var && | ||||
3636 | !var->hasDefinition(Context) && | ||||
3637 | var->getType().isConstQualified()) { | ||||
3638 | |||||
3639 | // In system headers, they can also be assumed to be immune to retains. | ||||
3640 | // These are things like 'kCFStringTransformToLatin'. | ||||
3641 | if (Context.getSourceManager().isInSystemHeader(var->getLocation())) | ||||
3642 | return ACC_bottom; | ||||
3643 | |||||
3644 | return ACC_plusZero; | ||||
3645 | } | ||||
3646 | |||||
3647 | // Nothing else. | ||||
3648 | return ACC_invalid; | ||||
3649 | } | ||||
3650 | |||||
3651 | /// Some calls are okay. | ||||
3652 | ACCResult VisitCallExpr(CallExpr *e) { | ||||
3653 | if (FunctionDecl *fn = e->getDirectCallee()) | ||||
3654 | if (ACCResult result = checkCallToFunction(fn)) | ||||
3655 | return result; | ||||
3656 | |||||
3657 | return super::VisitCallExpr(e); | ||||
3658 | } | ||||
3659 | |||||
3660 | ACCResult checkCallToFunction(FunctionDecl *fn) { | ||||
3661 | // Require a CF*Ref return type. | ||||
3662 | if (!isCFType(fn->getReturnType())) | ||||
3663 | return ACC_invalid; | ||||
3664 | |||||
3665 | if (!isAnyRetainable(TargetClass)) | ||||
3666 | return ACC_invalid; | ||||
3667 | |||||
3668 | // Honor an explicit 'not retained' attribute. | ||||
3669 | if (fn->hasAttr<CFReturnsNotRetainedAttr>()) | ||||
3670 | return ACC_plusZero; | ||||
3671 | |||||
3672 | // Honor an explicit 'retained' attribute, except that for | ||||
3673 | // now we're not going to permit implicit handling of +1 results, | ||||
3674 | // because it's a bit frightening. | ||||
3675 | if (fn->hasAttr<CFReturnsRetainedAttr>()) | ||||
3676 | return Diagnose ? ACC_plusOne | ||||
3677 | : ACC_invalid; // ACC_plusOne if we start accepting this | ||||
3678 | |||||
3679 | // Recognize this specific builtin function, which is used by CFSTR. | ||||
3680 | unsigned builtinID = fn->getBuiltinID(); | ||||
3681 | if (builtinID == Builtin::BI__builtin___CFStringMakeConstantString) | ||||
3682 | return ACC_bottom; | ||||
3683 | |||||
3684 | // Otherwise, don't do anything implicit with an unaudited function. | ||||
3685 | if (!fn->hasAttr<CFAuditedTransferAttr>()) | ||||
3686 | return ACC_invalid; | ||||
3687 | |||||
3688 | // Otherwise, it's +0 unless it follows the create convention. | ||||
3689 | if (ento::coreFoundation::followsCreateRule(fn)) | ||||
3690 | return Diagnose ? ACC_plusOne | ||||
3691 | : ACC_invalid; // ACC_plusOne if we start accepting this | ||||
3692 | |||||
3693 | return ACC_plusZero; | ||||
3694 | } | ||||
3695 | |||||
3696 | ACCResult VisitObjCMessageExpr(ObjCMessageExpr *e) { | ||||
3697 | return checkCallToMethod(e->getMethodDecl()); | ||||
3698 | } | ||||
3699 | |||||
3700 | ACCResult VisitObjCPropertyRefExpr(ObjCPropertyRefExpr *e) { | ||||
3701 | ObjCMethodDecl *method; | ||||
3702 | if (e->isExplicitProperty()) | ||||
3703 | method = e->getExplicitProperty()->getGetterMethodDecl(); | ||||
3704 | else | ||||
3705 | method = e->getImplicitPropertyGetter(); | ||||
3706 | return checkCallToMethod(method); | ||||
3707 | } | ||||
3708 | |||||
3709 | ACCResult checkCallToMethod(ObjCMethodDecl *method) { | ||||
3710 | if (!method) return ACC_invalid; | ||||
3711 | |||||
3712 | // Check for message sends to functions returning CF types. We | ||||
3713 | // just obey the Cocoa conventions with these, even though the | ||||
3714 | // return type is CF. | ||||
3715 | if (!isAnyRetainable(TargetClass) || !isCFType(method->getReturnType())) | ||||
3716 | return ACC_invalid; | ||||
3717 | |||||
3718 | // If the method is explicitly marked not-retained, it's +0. | ||||
3719 | if (method->hasAttr<CFReturnsNotRetainedAttr>()) | ||||
3720 | return ACC_plusZero; | ||||
3721 | |||||
3722 | // If the method is explicitly marked as returning retained, or its | ||||
3723 | // selector follows a +1 Cocoa convention, treat it as +1. | ||||
3724 | if (method->hasAttr<CFReturnsRetainedAttr>()) | ||||
3725 | return ACC_plusOne; | ||||
3726 | |||||
3727 | switch (method->getSelector().getMethodFamily()) { | ||||
3728 | case OMF_alloc: | ||||
3729 | case OMF_copy: | ||||
3730 | case OMF_mutableCopy: | ||||
3731 | case OMF_new: | ||||
3732 | return ACC_plusOne; | ||||
3733 | |||||
3734 | default: | ||||
3735 | // Otherwise, treat it as +0. | ||||
3736 | return ACC_plusZero; | ||||
3737 | } | ||||
3738 | } | ||||
3739 | }; | ||||
3740 | } // end anonymous namespace | ||||
3741 | |||||
3742 | bool Sema::isKnownName(StringRef name) { | ||||
3743 | if (name.empty()) | ||||
3744 | return false; | ||||
3745 | LookupResult R(*this, &Context.Idents.get(name), SourceLocation(), | ||||
3746 | Sema::LookupOrdinaryName); | ||||
3747 | return LookupName(R, TUScope, false); | ||||
3748 | } | ||||
3749 | |||||
3750 | template <typename DiagBuilderT> | ||||
3751 | static void addFixitForObjCARCConversion( | ||||
3752 | Sema &S, DiagBuilderT &DiagB, Sema::CheckedConversionKind CCK, | ||||
3753 | SourceLocation afterLParen, QualType castType, Expr *castExpr, | ||||
3754 | Expr *realCast, const char *bridgeKeyword, const char *CFBridgeName) { | ||||
3755 | // We handle C-style and implicit casts here. | ||||
3756 | switch (CCK) { | ||||
3757 | case Sema::CCK_ImplicitConversion: | ||||
3758 | case Sema::CCK_ForBuiltinOverloadedOp: | ||||
3759 | case Sema::CCK_CStyleCast: | ||||
3760 | case Sema::CCK_OtherCast: | ||||
3761 | break; | ||||
3762 | case Sema::CCK_FunctionalCast: | ||||
3763 | return; | ||||
3764 | } | ||||
3765 | |||||
3766 | if (CFBridgeName) { | ||||
3767 | if (CCK == Sema::CCK_OtherCast) { | ||||
3768 | if (const CXXNamedCastExpr *NCE = dyn_cast<CXXNamedCastExpr>(realCast)) { | ||||
3769 | SourceRange range(NCE->getOperatorLoc(), | ||||
3770 | NCE->getAngleBrackets().getEnd()); | ||||
3771 | SmallString<32> BridgeCall; | ||||
3772 | |||||
3773 | SourceManager &SM = S.getSourceManager(); | ||||
3774 | char PrevChar = *SM.getCharacterData(range.getBegin().getLocWithOffset(-1)); | ||||
3775 | if (Lexer::isIdentifierBodyChar(PrevChar, S.getLangOpts())) | ||||
3776 | BridgeCall += ' '; | ||||
3777 | |||||
3778 | BridgeCall += CFBridgeName; | ||||
3779 | DiagB.AddFixItHint(FixItHint::CreateReplacement(range, BridgeCall)); | ||||
3780 | } | ||||
3781 | return; | ||||
3782 | } | ||||
3783 | Expr *castedE = castExpr; | ||||
3784 | if (CStyleCastExpr *CCE = dyn_cast<CStyleCastExpr>(castedE)) | ||||
3785 | castedE = CCE->getSubExpr(); | ||||
3786 | castedE = castedE->IgnoreImpCasts(); | ||||
3787 | SourceRange range = castedE->getSourceRange(); | ||||
3788 | |||||
3789 | SmallString<32> BridgeCall; | ||||
3790 | |||||
3791 | SourceManager &SM = S.getSourceManager(); | ||||
3792 | char PrevChar = *SM.getCharacterData(range.getBegin().getLocWithOffset(-1)); | ||||
3793 | if (Lexer::isIdentifierBodyChar(PrevChar, S.getLangOpts())) | ||||
3794 | BridgeCall += ' '; | ||||
3795 | |||||
3796 | BridgeCall += CFBridgeName; | ||||
3797 | |||||
3798 | if (isa<ParenExpr>(castedE)) { | ||||
3799 | DiagB.AddFixItHint(FixItHint::CreateInsertion(range.getBegin(), | ||||
3800 | BridgeCall)); | ||||
3801 | } else { | ||||
3802 | BridgeCall += '('; | ||||
3803 | DiagB.AddFixItHint(FixItHint::CreateInsertion(range.getBegin(), | ||||
3804 | BridgeCall)); | ||||
3805 | DiagB.AddFixItHint(FixItHint::CreateInsertion( | ||||
3806 | S.getLocForEndOfToken(range.getEnd()), | ||||
3807 | ")")); | ||||
3808 | } | ||||
3809 | return; | ||||
3810 | } | ||||
3811 | |||||
3812 | if (CCK == Sema::CCK_CStyleCast) { | ||||
3813 | DiagB.AddFixItHint(FixItHint::CreateInsertion(afterLParen, bridgeKeyword)); | ||||
3814 | } else if (CCK == Sema::CCK_OtherCast) { | ||||
3815 | if (const CXXNamedCastExpr *NCE = dyn_cast<CXXNamedCastExpr>(realCast)) { | ||||
3816 | std::string castCode = "("; | ||||
3817 | castCode += bridgeKeyword; | ||||
3818 | castCode += castType.getAsString(); | ||||
3819 | castCode += ")"; | ||||
3820 | SourceRange Range(NCE->getOperatorLoc(), | ||||
3821 | NCE->getAngleBrackets().getEnd()); | ||||
3822 | DiagB.AddFixItHint(FixItHint::CreateReplacement(Range, castCode)); | ||||
3823 | } | ||||
3824 | } else { | ||||
3825 | std::string castCode = "("; | ||||
3826 | castCode += bridgeKeyword; | ||||
3827 | castCode += castType.getAsString(); | ||||
3828 | castCode += ")"; | ||||
3829 | Expr *castedE = castExpr->IgnoreImpCasts(); | ||||
3830 | SourceRange range = castedE->getSourceRange(); | ||||
3831 | if (isa<ParenExpr>(castedE)) { | ||||
3832 | DiagB.AddFixItHint(FixItHint::CreateInsertion(range.getBegin(), | ||||
3833 | castCode)); | ||||
3834 | } else { | ||||
3835 | castCode += "("; | ||||
3836 | DiagB.AddFixItHint(FixItHint::CreateInsertion(range.getBegin(), | ||||
3837 | castCode)); | ||||
3838 | DiagB.AddFixItHint(FixItHint::CreateInsertion( | ||||
3839 | S.getLocForEndOfToken(range.getEnd()), | ||||
3840 | ")")); | ||||
3841 | } | ||||
3842 | } | ||||
3843 | } | ||||
3844 | |||||
3845 | template <typename T> | ||||
3846 | static inline T *getObjCBridgeAttr(const TypedefType *TD) { | ||||
3847 | TypedefNameDecl *TDNDecl = TD->getDecl(); | ||||
3848 | QualType QT = TDNDecl->getUnderlyingType(); | ||||
3849 | if (QT->isPointerType()) { | ||||
3850 | QT = QT->getPointeeType(); | ||||
3851 | if (const RecordType *RT = QT->getAs<RecordType>()) { | ||||
3852 | for (auto *Redecl : RT->getDecl()->getMostRecentDecl()->redecls()) { | ||||
3853 | if (auto *attr = Redecl->getAttr<T>()) | ||||
3854 | return attr; | ||||
3855 | } | ||||
3856 | } | ||||
3857 | } | ||||
3858 | return nullptr; | ||||
3859 | } | ||||
3860 | |||||
3861 | static ObjCBridgeRelatedAttr *ObjCBridgeRelatedAttrFromType(QualType T, | ||||
3862 | TypedefNameDecl *&TDNDecl) { | ||||
3863 | while (const TypedefType *TD = dyn_cast<TypedefType>(T.getTypePtr())) { | ||||
3864 | TDNDecl = TD->getDecl(); | ||||
3865 | if (ObjCBridgeRelatedAttr *ObjCBAttr = | ||||
3866 | getObjCBridgeAttr<ObjCBridgeRelatedAttr>(TD)) | ||||
3867 | return ObjCBAttr; | ||||
3868 | T = TDNDecl->getUnderlyingType(); | ||||
3869 | } | ||||
3870 | return nullptr; | ||||
3871 | } | ||||
3872 | |||||
3873 | static void | ||||
3874 | diagnoseObjCARCConversion(Sema &S, SourceRange castRange, | ||||
3875 | QualType castType, ARCConversionTypeClass castACTC, | ||||
3876 | Expr *castExpr, Expr *realCast, | ||||
3877 | ARCConversionTypeClass exprACTC, | ||||
3878 | Sema::CheckedConversionKind CCK) { | ||||
3879 | SourceLocation loc = | ||||
3880 | (castRange.isValid() ? castRange.getBegin() : castExpr->getExprLoc()); | ||||
3881 | |||||
3882 | if (S.makeUnavailableInSystemHeader(loc, | ||||
3883 | UnavailableAttr::IR_ARCForbiddenConversion)) | ||||
3884 | return; | ||||
3885 | |||||
3886 | QualType castExprType = castExpr->getType(); | ||||
3887 | // Defer emitting a diagnostic for bridge-related casts; that will be | ||||
3888 | // handled by CheckObjCBridgeRelatedConversions. | ||||
3889 | TypedefNameDecl *TDNDecl = nullptr; | ||||
3890 | if ((castACTC == ACTC_coreFoundation && exprACTC == ACTC_retainable && | ||||
3891 | ObjCBridgeRelatedAttrFromType(castType, TDNDecl)) || | ||||
3892 | (exprACTC == ACTC_coreFoundation && castACTC == ACTC_retainable && | ||||
3893 | ObjCBridgeRelatedAttrFromType(castExprType, TDNDecl))) | ||||
3894 | return; | ||||
3895 | |||||
3896 | unsigned srcKind = 0; | ||||
3897 | switch (exprACTC) { | ||||
3898 | case ACTC_none: | ||||
3899 | case ACTC_coreFoundation: | ||||
3900 | case ACTC_voidPtr: | ||||
3901 | srcKind = (castExprType->isPointerType() ? 1 : 0); | ||||
3902 | break; | ||||
3903 | case ACTC_retainable: | ||||
3904 | srcKind = (castExprType->isBlockPointerType() ? 2 : 3); | ||||
3905 | break; | ||||
3906 | case ACTC_indirectRetainable: | ||||
3907 | srcKind = 4; | ||||
3908 | break; | ||||
3909 | } | ||||
3910 | |||||
3911 | // Check whether this could be fixed with a bridge cast. | ||||
3912 | SourceLocation afterLParen = S.getLocForEndOfToken(castRange.getBegin()); | ||||
3913 | SourceLocation noteLoc = afterLParen.isValid() ? afterLParen : loc; | ||||
3914 | |||||
3915 | unsigned convKindForDiag = Sema::isCast(CCK) ? 0 : 1; | ||||
3916 | |||||
3917 | // Bridge from an ARC type to a CF type. | ||||
3918 | if (castACTC == ACTC_retainable && isAnyRetainable(exprACTC)) { | ||||
3919 | |||||
3920 | S.Diag(loc, diag::err_arc_cast_requires_bridge) | ||||
3921 | << convKindForDiag | ||||
3922 | << 2 // of C pointer type | ||||
3923 | << castExprType | ||||
3924 | << unsigned(castType->isBlockPointerType()) // to ObjC|block type | ||||
3925 | << castType | ||||
3926 | << castRange | ||||
3927 | << castExpr->getSourceRange(); | ||||
3928 | bool br = S.isKnownName("CFBridgingRelease"); | ||||
3929 | ACCResult CreateRule = | ||||
3930 | ARCCastChecker(S.Context, exprACTC, castACTC, true).Visit(castExpr); | ||||
3931 | assert(CreateRule != ACC_bottom && "This cast should already be accepted.")(static_cast <bool> (CreateRule != ACC_bottom && "This cast should already be accepted.") ? void (0) : __assert_fail ("CreateRule != ACC_bottom && \"This cast should already be accepted.\"" , "/build/llvm-toolchain-snapshot-14~++20210828111110+16086d47c0d0/clang/lib/Sema/SemaExprObjC.cpp" , 3931, __extension__ __PRETTY_FUNCTION__)); | ||||
3932 | if (CreateRule != ACC_plusOne) | ||||
3933 | { | ||||
3934 | auto DiagB = (CCK != Sema::CCK_OtherCast) | ||||
3935 | ? S.Diag(noteLoc, diag::note_arc_bridge) | ||||
3936 | : S.Diag(noteLoc, diag::note_arc_cstyle_bridge); | ||||
3937 | |||||
3938 | addFixitForObjCARCConversion(S, DiagB, CCK, afterLParen, | ||||
3939 | castType, castExpr, realCast, "__bridge ", | ||||
3940 | nullptr); | ||||
3941 | } | ||||
3942 | if (CreateRule != ACC_plusZero) | ||||
3943 | { | ||||
3944 | auto DiagB = (CCK == Sema::CCK_OtherCast && !br) | ||||
3945 | ? S.Diag(noteLoc, diag::note_arc_cstyle_bridge_transfer) | ||||
3946 | << castExprType | ||||
3947 | : S.Diag(br ? castExpr->getExprLoc() : noteLoc, | ||||
3948 | diag::note_arc_bridge_transfer) | ||||
3949 | << castExprType << br; | ||||
3950 | |||||
3951 | addFixitForObjCARCConversion(S, DiagB, CCK, afterLParen, | ||||
3952 | castType, castExpr, realCast, "__bridge_transfer ", | ||||
3953 | br ? "CFBridgingRelease" : nullptr); | ||||
3954 | } | ||||
3955 | |||||
3956 | return; | ||||
3957 | } | ||||
3958 | |||||
3959 | // Bridge from a CF type to an ARC type. | ||||
3960 | if (exprACTC == ACTC_retainable && isAnyRetainable(castACTC)) { | ||||
3961 | bool br = S.isKnownName("CFBridgingRetain"); | ||||
3962 | S.Diag(loc, diag::err_arc_cast_requires_bridge) | ||||
3963 | << convKindForDiag | ||||
3964 | << unsigned(castExprType->isBlockPointerType()) // of ObjC|block type | ||||
3965 | << castExprType | ||||
3966 | << 2 // to C pointer type | ||||
3967 | << castType | ||||
3968 | << castRange | ||||
3969 | << castExpr->getSourceRange(); | ||||
3970 | ACCResult CreateRule = | ||||
3971 | ARCCastChecker(S.Context, exprACTC, castACTC, true).Visit(castExpr); | ||||
3972 | assert(CreateRule != ACC_bottom && "This cast should already be accepted.")(static_cast <bool> (CreateRule != ACC_bottom && "This cast should already be accepted.") ? void (0) : __assert_fail ("CreateRule != ACC_bottom && \"This cast should already be accepted.\"" , "/build/llvm-toolchain-snapshot-14~++20210828111110+16086d47c0d0/clang/lib/Sema/SemaExprObjC.cpp" , 3972, __extension__ __PRETTY_FUNCTION__)); | ||||
3973 | if (CreateRule != ACC_plusOne) | ||||
3974 | { | ||||
3975 | auto DiagB = (CCK != Sema::CCK_OtherCast) | ||||
3976 | ? S.Diag(noteLoc, diag::note_arc_bridge) | ||||
3977 | : S.Diag(noteLoc, diag::note_arc_cstyle_bridge); | ||||
3978 | addFixitForObjCARCConversion(S, DiagB, CCK, afterLParen, | ||||
3979 | castType, castExpr, realCast, "__bridge ", | ||||
3980 | nullptr); | ||||
3981 | } | ||||
3982 | if (CreateRule != ACC_plusZero) | ||||
3983 | { | ||||
3984 | auto DiagB = (CCK == Sema::CCK_OtherCast && !br) | ||||
3985 | ? S.Diag(noteLoc, diag::note_arc_cstyle_bridge_retained) | ||||
3986 | << castType | ||||
3987 | : S.Diag(br ? castExpr->getExprLoc() : noteLoc, | ||||
3988 | diag::note_arc_bridge_retained) | ||||
3989 | << castType << br; | ||||
3990 | |||||
3991 | addFixitForObjCARCConversion(S, DiagB, CCK, afterLParen, | ||||
3992 | castType, castExpr, realCast, "__bridge_retained ", | ||||
3993 | br ? "CFBridgingRetain" : nullptr); | ||||
3994 | } | ||||
3995 | |||||
3996 | return; | ||||
3997 | } | ||||
3998 | |||||
3999 | S.Diag(loc, diag::err_arc_mismatched_cast) | ||||
4000 | << !convKindForDiag | ||||
4001 | << srcKind << castExprType << castType | ||||
4002 | << castRange << castExpr->getSourceRange(); | ||||
4003 | } | ||||
4004 | |||||
4005 | template <typename TB> | ||||
4006 | static bool CheckObjCBridgeNSCast(Sema &S, QualType castType, Expr *castExpr, | ||||
4007 | bool &HadTheAttribute, bool warn) { | ||||
4008 | QualType T = castExpr->getType(); | ||||
4009 | HadTheAttribute = false; | ||||
4010 | while (const TypedefType *TD = dyn_cast<TypedefType>(T.getTypePtr())) { | ||||
4011 | TypedefNameDecl *TDNDecl = TD->getDecl(); | ||||
4012 | if (TB *ObjCBAttr = getObjCBridgeAttr<TB>(TD)) { | ||||
4013 | if (IdentifierInfo *Parm = ObjCBAttr->getBridgedType()) { | ||||
4014 | HadTheAttribute = true; | ||||
4015 | if (Parm->isStr("id")) | ||||
4016 | return true; | ||||
4017 | |||||
4018 | // Check for an existing type with this name. | ||||
4019 | LookupResult R(S, DeclarationName(Parm), SourceLocation(), | ||||
4020 | Sema::LookupOrdinaryName); | ||||
4021 | if (S.LookupName(R, S.TUScope)) { | ||||
4022 | NamedDecl *Target = R.getFoundDecl(); | ||||
4023 | if (Target && isa<ObjCInterfaceDecl>(Target)) { | ||||
4024 | ObjCInterfaceDecl *ExprClass = cast<ObjCInterfaceDecl>(Target); | ||||
4025 | if (const ObjCObjectPointerType *InterfacePointerType = | ||||
4026 | castType->getAsObjCInterfacePointerType()) { | ||||
4027 | ObjCInterfaceDecl *CastClass | ||||
4028 | = InterfacePointerType->getObjectType()->getInterface(); | ||||
4029 | if ((CastClass == ExprClass) || | ||||
4030 | (CastClass && CastClass->isSuperClassOf(ExprClass))) | ||||
4031 | return true; | ||||
4032 | if (warn) | ||||
4033 | S.Diag(castExpr->getBeginLoc(), diag::warn_objc_invalid_bridge) | ||||
4034 | << T << Target->getName() << castType->getPointeeType(); | ||||
4035 | return false; | ||||
4036 | } else if (castType->isObjCIdType() || | ||||
4037 | (S.Context.ObjCObjectAdoptsQTypeProtocols( | ||||
4038 | castType, ExprClass))) | ||||
4039 | // ok to cast to 'id'. | ||||
4040 | // casting to id<p-list> is ok if bridge type adopts all of | ||||
4041 | // p-list protocols. | ||||
4042 | return true; | ||||
4043 | else { | ||||
4044 | if (warn) { | ||||
4045 | S.Diag(castExpr->getBeginLoc(), diag::warn_objc_invalid_bridge) | ||||
4046 | << T << Target->getName() << castType; | ||||
4047 | S.Diag(TDNDecl->getBeginLoc(), diag::note_declared_at); | ||||
4048 | S.Diag(Target->getBeginLoc(), diag::note_declared_at); | ||||
4049 | } | ||||
4050 | return false; | ||||
4051 | } | ||||
4052 | } | ||||
4053 | } else if (!castType->isObjCIdType()) { | ||||
4054 | S.Diag(castExpr->getBeginLoc(), | ||||
4055 | diag::err_objc_cf_bridged_not_interface) | ||||
4056 | << castExpr->getType() << Parm; | ||||
4057 | S.Diag(TDNDecl->getBeginLoc(), diag::note_declared_at); | ||||
4058 | } | ||||
4059 | return true; | ||||
4060 | } | ||||
4061 | return false; | ||||
4062 | } | ||||
4063 | T = TDNDecl->getUnderlyingType(); | ||||
4064 | } | ||||
4065 | return true; | ||||
4066 | } | ||||
4067 | |||||
4068 | template <typename TB> | ||||
4069 | static bool CheckObjCBridgeCFCast(Sema &S, QualType castType, Expr *castExpr, | ||||
4070 | bool &HadTheAttribute, bool warn) { | ||||
4071 | QualType T = castType; | ||||
4072 | HadTheAttribute = false; | ||||
4073 | while (const TypedefType *TD = dyn_cast<TypedefType>(T.getTypePtr())) { | ||||
4074 | TypedefNameDecl *TDNDecl = TD->getDecl(); | ||||
4075 | if (TB *ObjCBAttr = getObjCBridgeAttr<TB>(TD)) { | ||||
4076 | if (IdentifierInfo *Parm = ObjCBAttr->getBridgedType()) { | ||||
4077 | HadTheAttribute = true; | ||||
4078 | if (Parm->isStr("id")) | ||||
4079 | return true; | ||||
4080 | |||||
4081 | NamedDecl *Target = nullptr; | ||||
4082 | // Check for an existing type with this name. | ||||
4083 | LookupResult R(S, DeclarationName(Parm), SourceLocation(), | ||||
4084 | Sema::LookupOrdinaryName); | ||||
4085 | if (S.LookupName(R, S.TUScope)) { | ||||
4086 | Target = R.getFoundDecl(); | ||||
4087 | if (Target && isa<ObjCInterfaceDecl>(Target)) { | ||||
4088 | ObjCInterfaceDecl *CastClass = cast<ObjCInterfaceDecl>(Target); | ||||
4089 | if (const ObjCObjectPointerType *InterfacePointerType = | ||||
4090 | castExpr->getType()->getAsObjCInterfacePointerType()) { | ||||
4091 | ObjCInterfaceDecl *ExprClass | ||||
4092 | = InterfacePointerType->getObjectType()->getInterface(); | ||||
4093 | if ((CastClass == ExprClass) || | ||||
4094 | (ExprClass && CastClass->isSuperClassOf(ExprClass))) | ||||
4095 | return true; | ||||
4096 | if (warn) { | ||||
4097 | S.Diag(castExpr->getBeginLoc(), | ||||
4098 | diag::warn_objc_invalid_bridge_to_cf) | ||||
4099 | << castExpr->getType()->getPointeeType() << T; | ||||
4100 | S.Diag(TDNDecl->getBeginLoc(), diag::note_declared_at); | ||||
4101 | } | ||||
4102 | return false; | ||||
4103 | } else if (castExpr->getType()->isObjCIdType() || | ||||
4104 | (S.Context.QIdProtocolsAdoptObjCObjectProtocols( | ||||
4105 | castExpr->getType(), CastClass))) | ||||
4106 | // ok to cast an 'id' expression to a CFtype. | ||||
4107 | // ok to cast an 'id<plist>' expression to CFtype provided plist | ||||
4108 | // adopts all of CFtype's ObjetiveC's class plist. | ||||
4109 | return true; | ||||
4110 | else { | ||||
4111 | if (warn) { | ||||
4112 | S.Diag(castExpr->getBeginLoc(), | ||||
4113 | diag::warn_objc_invalid_bridge_to_cf) | ||||
4114 | << castExpr->getType() << castType; | ||||
4115 | S.Diag(TDNDecl->getBeginLoc(), diag::note_declared_at); | ||||
4116 | S.Diag(Target->getBeginLoc(), diag::note_declared_at); | ||||
4117 | } | ||||
4118 | return false; | ||||
4119 | } | ||||
4120 | } | ||||
4121 | } | ||||
4122 | S.Diag(castExpr->getBeginLoc(), | ||||
4123 | diag::err_objc_ns_bridged_invalid_cfobject) | ||||
4124 | << castExpr->getType() << castType; | ||||
4125 | S.Diag(TDNDecl->getBeginLoc(), diag::note_declared_at); | ||||
4126 | if (Target) | ||||
4127 | S.Diag(Target->getBeginLoc(), diag::note_declared_at); | ||||
4128 | return true; | ||||
4129 | } | ||||
4130 | return false; | ||||
4131 | } | ||||
4132 | T = TDNDecl->getUnderlyingType(); | ||||
4133 | } | ||||
4134 | return true; | ||||
4135 | } | ||||
4136 | |||||
4137 | void Sema::CheckTollFreeBridgeCast(QualType castType, Expr *castExpr) { | ||||
4138 | if (!getLangOpts().ObjC) | ||||
4139 | return; | ||||
4140 | // warn in presence of __bridge casting to or from a toll free bridge cast. | ||||
4141 | ARCConversionTypeClass exprACTC = classifyTypeForARCConversion(castExpr->getType()); | ||||
4142 | ARCConversionTypeClass castACTC = classifyTypeForARCConversion(castType); | ||||
4143 | if (castACTC == ACTC_retainable && exprACTC == ACTC_coreFoundation) { | ||||
4144 | bool HasObjCBridgeAttr; | ||||
4145 | bool ObjCBridgeAttrWillNotWarn = | ||||
4146 | CheckObjCBridgeNSCast<ObjCBridgeAttr>(*this, castType, castExpr, HasObjCBridgeAttr, | ||||
4147 | false); | ||||
4148 | if (ObjCBridgeAttrWillNotWarn && HasObjCBridgeAttr) | ||||
4149 | return; | ||||
4150 | bool HasObjCBridgeMutableAttr; | ||||
4151 | bool ObjCBridgeMutableAttrWillNotWarn = | ||||
4152 | CheckObjCBridgeNSCast<ObjCBridgeMutableAttr>(*this, castType, castExpr, | ||||
4153 | HasObjCBridgeMutableAttr, false); | ||||
4154 | if (ObjCBridgeMutableAttrWillNotWarn && HasObjCBridgeMutableAttr) | ||||
4155 | return; | ||||
4156 | |||||
4157 | if (HasObjCBridgeAttr) | ||||
4158 | CheckObjCBridgeNSCast<ObjCBridgeAttr>(*this, castType, castExpr, HasObjCBridgeAttr, | ||||
4159 | true); | ||||
4160 | else if (HasObjCBridgeMutableAttr) | ||||
4161 | CheckObjCBridgeNSCast<ObjCBridgeMutableAttr>(*this, castType, castExpr, | ||||
4162 | HasObjCBridgeMutableAttr, true); | ||||
4163 | } | ||||
4164 | else if (castACTC == ACTC_coreFoundation && exprACTC == ACTC_retainable) { | ||||
4165 | bool HasObjCBridgeAttr; | ||||
4166 | bool ObjCBridgeAttrWillNotWarn = | ||||
4167 | CheckObjCBridgeCFCast<ObjCBridgeAttr>(*this, castType, castExpr, HasObjCBridgeAttr, | ||||
4168 | false); | ||||
4169 | if (ObjCBridgeAttrWillNotWarn && HasObjCBridgeAttr) | ||||
4170 | return; | ||||
4171 | bool HasObjCBridgeMutableAttr; | ||||
4172 | bool ObjCBridgeMutableAttrWillNotWarn = | ||||
4173 | CheckObjCBridgeCFCast<ObjCBridgeMutableAttr>(*this, castType, castExpr, | ||||
4174 | HasObjCBridgeMutableAttr, false); | ||||
4175 | if (ObjCBridgeMutableAttrWillNotWarn && HasObjCBridgeMutableAttr) | ||||
4176 | return; | ||||
4177 | |||||
4178 | if (HasObjCBridgeAttr) | ||||
4179 | CheckObjCBridgeCFCast<ObjCBridgeAttr>(*this, castType, castExpr, HasObjCBridgeAttr, | ||||
4180 | true); | ||||
4181 | else if (HasObjCBridgeMutableAttr) | ||||
4182 | CheckObjCBridgeCFCast<ObjCBridgeMutableAttr>(*this, castType, castExpr, | ||||
4183 | HasObjCBridgeMutableAttr, true); | ||||
4184 | } | ||||
4185 | } | ||||
4186 | |||||
4187 | void Sema::CheckObjCBridgeRelatedCast(QualType castType, Expr *castExpr) { | ||||
4188 | QualType SrcType = castExpr->getType(); | ||||
4189 | if (ObjCPropertyRefExpr *PRE = dyn_cast<ObjCPropertyRefExpr>(castExpr)) { | ||||
4190 | if (PRE->isExplicitProperty()) { | ||||
4191 | if (ObjCPropertyDecl *PDecl = PRE->getExplicitProperty()) | ||||
4192 | SrcType = PDecl->getType(); | ||||
4193 | } | ||||
4194 | else if (PRE->isImplicitProperty()) { | ||||
4195 | if (ObjCMethodDecl *Getter = PRE->getImplicitPropertyGetter()) | ||||
4196 | SrcType = Getter->getReturnType(); | ||||
4197 | } | ||||
4198 | } | ||||
4199 | |||||
4200 | ARCConversionTypeClass srcExprACTC = classifyTypeForARCConversion(SrcType); | ||||
4201 | ARCConversionTypeClass castExprACTC = classifyTypeForARCConversion(castType); | ||||
4202 | if (srcExprACTC != ACTC_retainable || castExprACTC != ACTC_coreFoundation) | ||||
4203 | return; | ||||
4204 | CheckObjCBridgeRelatedConversions(castExpr->getBeginLoc(), castType, SrcType, | ||||
4205 | castExpr); | ||||
4206 | } | ||||
4207 | |||||
4208 | bool Sema::CheckTollFreeBridgeStaticCast(QualType castType, Expr *castExpr, | ||||
4209 | CastKind &Kind) { | ||||
4210 | if (!getLangOpts().ObjC) | ||||
4211 | return false; | ||||
4212 | ARCConversionTypeClass exprACTC = | ||||
4213 | classifyTypeForARCConversion(castExpr->getType()); | ||||
4214 | ARCConversionTypeClass castACTC = classifyTypeForARCConversion(castType); | ||||
4215 | if ((castACTC == ACTC_retainable && exprACTC == ACTC_coreFoundation) || | ||||
4216 | (castACTC == ACTC_coreFoundation && exprACTC == ACTC_retainable)) { | ||||
4217 | CheckTollFreeBridgeCast(castType, castExpr); | ||||
4218 | Kind = (castACTC == ACTC_coreFoundation) ? CK_BitCast | ||||
4219 | : CK_CPointerToObjCPointerCast; | ||||
4220 | return true; | ||||
4221 | } | ||||
4222 | return false; | ||||
4223 | } | ||||
4224 | |||||
4225 | bool Sema::checkObjCBridgeRelatedComponents(SourceLocation Loc, | ||||
4226 | QualType DestType, QualType SrcType, | ||||
4227 | ObjCInterfaceDecl *&RelatedClass, | ||||
4228 | ObjCMethodDecl *&ClassMethod, | ||||
4229 | ObjCMethodDecl *&InstanceMethod, | ||||
4230 | TypedefNameDecl *&TDNDecl, | ||||
4231 | bool CfToNs, bool Diagnose) { | ||||
4232 | QualType T = CfToNs ? SrcType : DestType; | ||||
4233 | ObjCBridgeRelatedAttr *ObjCBAttr = ObjCBridgeRelatedAttrFromType(T, TDNDecl); | ||||
4234 | if (!ObjCBAttr) | ||||
4235 | return false; | ||||
4236 | |||||
4237 | IdentifierInfo *RCId = ObjCBAttr->getRelatedClass(); | ||||
4238 | IdentifierInfo *CMId = ObjCBAttr->getClassMethod(); | ||||
4239 | IdentifierInfo *IMId = ObjCBAttr->getInstanceMethod(); | ||||
4240 | if (!RCId) | ||||
4241 | return false; | ||||
4242 | NamedDecl *Target = nullptr; | ||||
4243 | // Check for an existing type with this name. | ||||
4244 | LookupResult R(*this, DeclarationName(RCId), SourceLocation(), | ||||
4245 | Sema::LookupOrdinaryName); | ||||
4246 | if (!LookupName(R, TUScope)) { | ||||
4247 | if (Diagnose) { | ||||
4248 | Diag(Loc, diag::err_objc_bridged_related_invalid_class) << RCId | ||||
4249 | << SrcType << DestType; | ||||
4250 | Diag(TDNDecl->getBeginLoc(), diag::note_declared_at); | ||||
4251 | } | ||||
4252 | return false; | ||||
4253 | } | ||||
4254 | Target = R.getFoundDecl(); | ||||
4255 | if (Target && isa<ObjCInterfaceDecl>(Target)) | ||||
4256 | RelatedClass = cast<ObjCInterfaceDecl>(Target); | ||||
4257 | else { | ||||
4258 | if (Diagnose) { | ||||
4259 | Diag(Loc, diag::err_objc_bridged_related_invalid_class_name) << RCId | ||||
4260 | << SrcType << DestType; | ||||
4261 | Diag(TDNDecl->getBeginLoc(), diag::note_declared_at); | ||||
4262 | if (Target) | ||||
4263 | Diag(Target->getBeginLoc(), diag::note_declared_at); | ||||
4264 | } | ||||
4265 | return false; | ||||
4266 | } | ||||
4267 | |||||
4268 | // Check for an existing class method with the given selector name. | ||||
4269 | if (CfToNs && CMId) { | ||||
4270 | Selector Sel = Context.Selectors.getUnarySelector(CMId); | ||||
4271 | ClassMethod = RelatedClass->lookupMethod(Sel, false); | ||||
4272 | if (!ClassMethod) { | ||||
4273 | if (Diagnose) { | ||||
4274 | Diag(Loc, diag::err_objc_bridged_related_known_method) | ||||
4275 | << SrcType << DestType << Sel << false; | ||||
4276 | Diag(TDNDecl->getBeginLoc(), diag::note_declared_at); | ||||
4277 | } | ||||
4278 | return false; | ||||
4279 | } | ||||
4280 | } | ||||
4281 | |||||
4282 | // Check for an existing instance method with the given selector name. | ||||
4283 | if (!CfToNs && IMId) { | ||||
4284 | Selector Sel = Context.Selectors.getNullarySelector(IMId); | ||||
4285 | InstanceMethod = RelatedClass->lookupMethod(Sel, true); | ||||
4286 | if (!InstanceMethod) { | ||||
4287 | if (Diagnose) { | ||||
4288 | Diag(Loc, diag::err_objc_bridged_related_known_method) | ||||
4289 | << SrcType << DestType << Sel << true; | ||||
4290 | Diag(TDNDecl->getBeginLoc(), diag::note_declared_at); | ||||
4291 | } | ||||
4292 | return false; | ||||
4293 | } | ||||
4294 | } | ||||
4295 | return true; | ||||
4296 | } | ||||
4297 | |||||
4298 | bool | ||||
4299 | Sema::CheckObjCBridgeRelatedConversions(SourceLocation Loc, | ||||
4300 | QualType DestType, QualType SrcType, | ||||
4301 | Expr *&SrcExpr, bool Diagnose) { | ||||
4302 | ARCConversionTypeClass rhsExprACTC = classifyTypeForARCConversion(SrcType); | ||||
4303 | ARCConversionTypeClass lhsExprACTC = classifyTypeForARCConversion(DestType); | ||||
4304 | bool CfToNs = (rhsExprACTC == ACTC_coreFoundation && lhsExprACTC == ACTC_retainable); | ||||
4305 | bool NsToCf = (rhsExprACTC == ACTC_retainable && lhsExprACTC == ACTC_coreFoundation); | ||||
4306 | if (!CfToNs && !NsToCf) | ||||
4307 | return false; | ||||
4308 | |||||
4309 | ObjCInterfaceDecl *RelatedClass; | ||||
4310 | ObjCMethodDecl *ClassMethod = nullptr; | ||||
4311 | ObjCMethodDecl *InstanceMethod = nullptr; | ||||
4312 | TypedefNameDecl *TDNDecl = nullptr; | ||||
4313 | if (!checkObjCBridgeRelatedComponents(Loc, DestType, SrcType, RelatedClass, | ||||
4314 | ClassMethod, InstanceMethod, TDNDecl, | ||||
4315 | CfToNs, Diagnose)) | ||||
4316 | return false; | ||||
4317 | |||||
4318 | if (CfToNs) { | ||||
4319 | // Implicit conversion from CF to ObjC object is needed. | ||||
4320 | if (ClassMethod) { | ||||
4321 | if (Diagnose) { | ||||
4322 | std::string ExpressionString = "["; | ||||
4323 | ExpressionString += RelatedClass->getNameAsString(); | ||||
4324 | ExpressionString += " "; | ||||
4325 | ExpressionString += ClassMethod->getSelector().getAsString(); | ||||
4326 | SourceLocation SrcExprEndLoc = | ||||
4327 | getLocForEndOfToken(SrcExpr->getEndLoc()); | ||||
4328 | // Provide a fixit: [RelatedClass ClassMethod SrcExpr] | ||||
4329 | Diag(Loc, diag::err_objc_bridged_related_known_method) | ||||
4330 | << SrcType << DestType << ClassMethod->getSelector() << false | ||||
4331 | << FixItHint::CreateInsertion(SrcExpr->getBeginLoc(), | ||||
4332 | ExpressionString) | ||||
4333 | << FixItHint::CreateInsertion(SrcExprEndLoc, "]"); | ||||
4334 | Diag(RelatedClass->getBeginLoc(), diag::note_declared_at); | ||||
4335 | Diag(TDNDecl->getBeginLoc(), diag::note_declared_at); | ||||
4336 | |||||
4337 | QualType receiverType = Context.getObjCInterfaceType(RelatedClass); | ||||
4338 | // Argument. | ||||
4339 | Expr *args[] = { SrcExpr }; | ||||
4340 | ExprResult msg = BuildClassMessageImplicit(receiverType, false, | ||||
4341 | ClassMethod->getLocation(), | ||||
4342 | ClassMethod->getSelector(), ClassMethod, | ||||
4343 | MultiExprArg(args, 1)); | ||||
4344 | SrcExpr = msg.get(); | ||||
4345 | } | ||||
4346 | return true; | ||||
4347 | } | ||||
4348 | } | ||||
4349 | else { | ||||
4350 | // Implicit conversion from ObjC type to CF object is needed. | ||||
4351 | if (InstanceMethod) { | ||||
4352 | if (Diagnose) { | ||||
4353 | std::string ExpressionString; | ||||
4354 | SourceLocation SrcExprEndLoc = | ||||
4355 | getLocForEndOfToken(SrcExpr->getEndLoc()); | ||||
4356 | if (InstanceMethod->isPropertyAccessor()) | ||||
4357 | if (const ObjCPropertyDecl *PDecl = | ||||
4358 | InstanceMethod->findPropertyDecl()) { | ||||
4359 | // fixit: ObjectExpr.propertyname when it is aproperty accessor. | ||||
4360 | ExpressionString = "."; | ||||
4361 | ExpressionString += PDecl->getNameAsString(); | ||||
4362 | Diag(Loc, diag::err_objc_bridged_related_known_method) | ||||
4363 | << SrcType << DestType << InstanceMethod->getSelector() << true | ||||
4364 | << FixItHint::CreateInsertion(SrcExprEndLoc, ExpressionString); | ||||
4365 | } | ||||
4366 | if (ExpressionString.empty()) { | ||||
4367 | // Provide a fixit: [ObjectExpr InstanceMethod] | ||||
4368 | ExpressionString = " "; | ||||
4369 | ExpressionString += InstanceMethod->getSelector().getAsString(); | ||||
4370 | ExpressionString += "]"; | ||||
4371 | |||||
4372 | Diag(Loc, diag::err_objc_bridged_related_known_method) | ||||
4373 | << SrcType << DestType << InstanceMethod->getSelector() << true | ||||
4374 | << FixItHint::CreateInsertion(SrcExpr->getBeginLoc(), "[") | ||||
4375 | << FixItHint::CreateInsertion(SrcExprEndLoc, ExpressionString); | ||||
4376 | } | ||||
4377 | Diag(RelatedClass->getBeginLoc(), diag::note_declared_at); | ||||
4378 | Diag(TDNDecl->getBeginLoc(), diag::note_declared_at); | ||||
4379 | |||||
4380 | ExprResult msg = | ||||
4381 | BuildInstanceMessageImplicit(SrcExpr, SrcType, | ||||
4382 | InstanceMethod->getLocation(), | ||||
4383 | InstanceMethod->getSelector(), | ||||
4384 | InstanceMethod, None); | ||||
4385 | SrcExpr = msg.get(); | ||||
4386 | } | ||||
4387 | return true; | ||||
4388 | } | ||||
4389 | } | ||||
4390 | return false; | ||||
4391 | } | ||||
4392 | |||||
4393 | Sema::ARCConversionResult | ||||
4394 | Sema::CheckObjCConversion(SourceRange castRange, QualType castType, | ||||
4395 | Expr *&castExpr, CheckedConversionKind CCK, | ||||
4396 | bool Diagnose, bool DiagnoseCFAudited, | ||||
4397 | BinaryOperatorKind Opc) { | ||||
4398 | QualType castExprType = castExpr->getType(); | ||||
4399 | |||||
4400 | // For the purposes of the classification, we assume reference types | ||||
4401 | // will bind to temporaries. | ||||
4402 | QualType effCastType = castType; | ||||
4403 | if (const ReferenceType *ref = castType->getAs<ReferenceType>()) | ||||
4404 | effCastType = ref->getPointeeType(); | ||||
4405 | |||||
4406 | ARCConversionTypeClass exprACTC = classifyTypeForARCConversion(castExprType); | ||||
4407 | ARCConversionTypeClass castACTC = classifyTypeForARCConversion(effCastType); | ||||
4408 | if (exprACTC == castACTC) { | ||||
4409 | // Check for viability and report error if casting an rvalue to a | ||||
4410 | // life-time qualifier. | ||||
4411 | if (castACTC == ACTC_retainable && | ||||
4412 | (CCK == CCK_CStyleCast || CCK == CCK_OtherCast) && | ||||
4413 | castType != castExprType) { | ||||
4414 | const Type *DT = castType.getTypePtr(); | ||||
4415 | QualType QDT = castType; | ||||
4416 | // We desugar some types but not others. We ignore those | ||||
4417 | // that cannot happen in a cast; i.e. auto, and those which | ||||
4418 | // should not be de-sugared; i.e typedef. | ||||
4419 | if (const ParenType *PT = dyn_cast<ParenType>(DT)) | ||||
4420 | QDT = PT->desugar(); | ||||
4421 | else if (const TypeOfType *TP = dyn_cast<TypeOfType>(DT)) | ||||
4422 | QDT = TP->desugar(); | ||||
4423 | else if (const AttributedType *AT = dyn_cast<AttributedType>(DT)) | ||||
4424 | QDT = AT->desugar(); | ||||
4425 | if (QDT != castType && | ||||
4426 | QDT.getObjCLifetime() != Qualifiers::OCL_None) { | ||||
4427 | if (Diagnose) { | ||||
4428 | SourceLocation loc = (castRange.isValid() ? castRange.getBegin() | ||||
4429 | : castExpr->getExprLoc()); | ||||
4430 | Diag(loc, diag::err_arc_nolifetime_behavior); | ||||
4431 | } | ||||
4432 | return ACR_error; | ||||
4433 | } | ||||
4434 | } | ||||
4435 | return ACR_okay; | ||||
4436 | } | ||||
4437 | |||||
4438 | // The life-time qualifier cast check above is all we need for ObjCWeak. | ||||
4439 | // ObjCAutoRefCount has more restrictions on what is legal. | ||||
4440 | if (!getLangOpts().ObjCAutoRefCount) | ||||
4441 | return ACR_okay; | ||||
4442 | |||||
4443 | if (isAnyCLike(exprACTC) && isAnyCLike(castACTC)) return ACR_okay; | ||||
4444 | |||||
4445 | // Allow all of these types to be cast to integer types (but not | ||||
4446 | // vice-versa). | ||||
4447 | if (castACTC == ACTC_none && castType->isIntegralType(Context)) | ||||
4448 | return ACR_okay; | ||||
4449 | |||||
4450 | // Allow casts between pointers to lifetime types (e.g., __strong id*) | ||||
4451 | // and pointers to void (e.g., cv void *). Casting from void* to lifetime* | ||||
4452 | // must be explicit. | ||||
4453 | // Allow conversions between pointers to lifetime types and coreFoundation | ||||
4454 | // pointers too, but only when the conversions are explicit. | ||||
4455 | if (exprACTC == ACTC_indirectRetainable && | ||||
4456 | (castACTC == ACTC_voidPtr || | ||||
4457 | (castACTC == ACTC_coreFoundation && isCast(CCK)))) | ||||
4458 | return ACR_okay; | ||||
4459 | if (castACTC == ACTC_indirectRetainable && | ||||
4460 | (exprACTC == ACTC_voidPtr || exprACTC == ACTC_coreFoundation) && | ||||
4461 | isCast(CCK)) | ||||
4462 | return ACR_okay; | ||||
4463 | |||||
4464 | switch (ARCCastChecker(Context, exprACTC, castACTC, false).Visit(castExpr)) { | ||||
4465 | // For invalid casts, fall through. | ||||
4466 | case ACC_invalid: | ||||
4467 | break; | ||||
4468 | |||||
4469 | // Do nothing for both bottom and +0. | ||||
4470 | case ACC_bottom: | ||||
4471 | case ACC_plusZero: | ||||
4472 | return ACR_okay; | ||||
4473 | |||||
4474 | // If the result is +1, consume it here. | ||||
4475 | case ACC_plusOne: | ||||
4476 | castExpr = ImplicitCastExpr::Create(Context, castExpr->getType(), | ||||
4477 | CK_ARCConsumeObject, castExpr, nullptr, | ||||
4478 | VK_PRValue, FPOptionsOverride()); | ||||
4479 | Cleanup.setExprNeedsCleanups(true); | ||||
4480 | return ACR_okay; | ||||
4481 | } | ||||
4482 | |||||
4483 | // If this is a non-implicit cast from id or block type to a | ||||
4484 | // CoreFoundation type, delay complaining in case the cast is used | ||||
4485 | // in an acceptable context. | ||||
4486 | if (exprACTC == ACTC_retainable && isAnyRetainable(castACTC) && isCast(CCK)) | ||||
4487 | return ACR_unbridged; | ||||
4488 | |||||
4489 | // Issue a diagnostic about a missing @-sign when implicit casting a cstring | ||||
4490 | // to 'NSString *', instead of falling through to report a "bridge cast" | ||||
4491 | // diagnostic. | ||||
4492 | if (castACTC == ACTC_retainable && exprACTC == ACTC_none && | ||||
4493 | CheckConversionToObjCLiteral(castType, castExpr, Diagnose)) | ||||
4494 | return ACR_error; | ||||
4495 | |||||
4496 | // Do not issue "bridge cast" diagnostic when implicit casting | ||||
4497 | // a retainable object to a CF type parameter belonging to an audited | ||||
4498 | // CF API function. Let caller issue a normal type mismatched diagnostic | ||||
4499 | // instead. | ||||
4500 | if ((!DiagnoseCFAudited || exprACTC != ACTC_retainable || | ||||
4501 | castACTC != ACTC_coreFoundation) && | ||||
4502 | !(exprACTC == ACTC_voidPtr && castACTC == ACTC_retainable && | ||||
4503 | (Opc == BO_NE || Opc == BO_EQ))) { | ||||
4504 | if (Diagnose) | ||||
4505 | diagnoseObjCARCConversion(*this, castRange, castType, castACTC, castExpr, | ||||
4506 | castExpr, exprACTC, CCK); | ||||
4507 | return ACR_error; | ||||
4508 | } | ||||
4509 | return ACR_okay; | ||||
4510 | } | ||||
4511 | |||||
4512 | /// Given that we saw an expression with the ARCUnbridgedCastTy | ||||
4513 | /// placeholder type, complain bitterly. | ||||
4514 | void Sema::diagnoseARCUnbridgedCast(Expr *e) { | ||||
4515 | // We expect the spurious ImplicitCastExpr to already have been stripped. | ||||
4516 | assert(!e->hasPlaceholderType(BuiltinType::ARCUnbridgedCast))(static_cast <bool> (!e->hasPlaceholderType(BuiltinType ::ARCUnbridgedCast)) ? void (0) : __assert_fail ("!e->hasPlaceholderType(BuiltinType::ARCUnbridgedCast)" , "/build/llvm-toolchain-snapshot-14~++20210828111110+16086d47c0d0/clang/lib/Sema/SemaExprObjC.cpp" , 4516, __extension__ __PRETTY_FUNCTION__)); | ||||
4517 | CastExpr *realCast = cast<CastExpr>(e->IgnoreParens()); | ||||
4518 | |||||
4519 | SourceRange castRange; | ||||
4520 | QualType castType; | ||||
4521 | CheckedConversionKind CCK; | ||||
4522 | |||||
4523 | if (CStyleCastExpr *cast = dyn_cast<CStyleCastExpr>(realCast)) { | ||||
4524 | castRange = SourceRange(cast->getLParenLoc(), cast->getRParenLoc()); | ||||
4525 | castType = cast->getTypeAsWritten(); | ||||
4526 | CCK = CCK_CStyleCast; | ||||
4527 | } else if (ExplicitCastExpr *cast = dyn_cast<ExplicitCastExpr>(realCast)) { | ||||
4528 | castRange = cast->getTypeInfoAsWritten()->getTypeLoc().getSourceRange(); | ||||
4529 | castType = cast->getTypeAsWritten(); | ||||
4530 | CCK = CCK_OtherCast; | ||||
4531 | } else { | ||||
4532 | llvm_unreachable("Unexpected ImplicitCastExpr")::llvm::llvm_unreachable_internal("Unexpected ImplicitCastExpr" , "/build/llvm-toolchain-snapshot-14~++20210828111110+16086d47c0d0/clang/lib/Sema/SemaExprObjC.cpp" , 4532); | ||||
4533 | } | ||||
4534 | |||||
4535 | ARCConversionTypeClass castACTC = | ||||
4536 | classifyTypeForARCConversion(castType.getNonReferenceType()); | ||||
4537 | |||||
4538 | Expr *castExpr = realCast->getSubExpr(); | ||||
4539 | assert(classifyTypeForARCConversion(castExpr->getType()) == ACTC_retainable)(static_cast <bool> (classifyTypeForARCConversion(castExpr ->getType()) == ACTC_retainable) ? void (0) : __assert_fail ("classifyTypeForARCConversion(castExpr->getType()) == ACTC_retainable" , "/build/llvm-toolchain-snapshot-14~++20210828111110+16086d47c0d0/clang/lib/Sema/SemaExprObjC.cpp" , 4539, __extension__ __PRETTY_FUNCTION__)); | ||||
4540 | |||||
4541 | diagnoseObjCARCConversion(*this, castRange, castType, castACTC, | ||||
4542 | castExpr, realCast, ACTC_retainable, CCK); | ||||
4543 | } | ||||
4544 | |||||
4545 | /// stripARCUnbridgedCast - Given an expression of ARCUnbridgedCast | ||||
4546 | /// type, remove the placeholder cast. | ||||
4547 | Expr *Sema::stripARCUnbridgedCast(Expr *e) { | ||||
4548 | assert(e->hasPlaceholderType(BuiltinType::ARCUnbridgedCast))(static_cast <bool> (e->hasPlaceholderType(BuiltinType ::ARCUnbridgedCast)) ? void (0) : __assert_fail ("e->hasPlaceholderType(BuiltinType::ARCUnbridgedCast)" , "/build/llvm-toolchain-snapshot-14~++20210828111110+16086d47c0d0/clang/lib/Sema/SemaExprObjC.cpp" , 4548, __extension__ __PRETTY_FUNCTION__)); | ||||
4549 | |||||
4550 | if (ParenExpr *pe = dyn_cast<ParenExpr>(e)) { | ||||
4551 | Expr *sub = stripARCUnbridgedCast(pe->getSubExpr()); | ||||
4552 | return new (Context) ParenExpr(pe->getLParen(), pe->getRParen(), sub); | ||||
4553 | } else if (UnaryOperator *uo = dyn_cast<UnaryOperator>(e)) { | ||||
4554 | assert(uo->getOpcode() == UO_Extension)(static_cast <bool> (uo->getOpcode() == UO_Extension ) ? void (0) : __assert_fail ("uo->getOpcode() == UO_Extension" , "/build/llvm-toolchain-snapshot-14~++20210828111110+16086d47c0d0/clang/lib/Sema/SemaExprObjC.cpp" , 4554, __extension__ __PRETTY_FUNCTION__)); | ||||
4555 | Expr *sub = stripARCUnbridgedCast(uo->getSubExpr()); | ||||
4556 | return UnaryOperator::Create(Context, sub, UO_Extension, sub->getType(), | ||||
4557 | sub->getValueKind(), sub->getObjectKind(), | ||||
4558 | uo->getOperatorLoc(), false, | ||||
4559 | CurFPFeatureOverrides()); | ||||
4560 | } else if (GenericSelectionExpr *gse = dyn_cast<GenericSelectionExpr>(e)) { | ||||
4561 | assert(!gse->isResultDependent())(static_cast <bool> (!gse->isResultDependent()) ? void (0) : __assert_fail ("!gse->isResultDependent()", "/build/llvm-toolchain-snapshot-14~++20210828111110+16086d47c0d0/clang/lib/Sema/SemaExprObjC.cpp" , 4561, __extension__ __PRETTY_FUNCTION__)); | ||||
4562 | |||||
4563 | unsigned n = gse->getNumAssocs(); | ||||
4564 | SmallVector<Expr *, 4> subExprs; | ||||
4565 | SmallVector<TypeSourceInfo *, 4> subTypes; | ||||
4566 | subExprs.reserve(n); | ||||
4567 | subTypes.reserve(n); | ||||
4568 | for (const GenericSelectionExpr::Association assoc : gse->associations()) { | ||||
4569 | subTypes.push_back(assoc.getTypeSourceInfo()); | ||||
4570 | Expr *sub = assoc.getAssociationExpr(); | ||||
4571 | if (assoc.isSelected()) | ||||
4572 | sub = stripARCUnbridgedCast(sub); | ||||
4573 | subExprs.push_back(sub); | ||||
4574 | } | ||||
4575 | |||||
4576 | return GenericSelectionExpr::Create( | ||||
4577 | Context, gse->getGenericLoc(), gse->getControllingExpr(), subTypes, | ||||
4578 | subExprs, gse->getDefaultLoc(), gse->getRParenLoc(), | ||||
4579 | gse->containsUnexpandedParameterPack(), gse->getResultIndex()); | ||||
4580 | } else { | ||||
4581 | assert(isa<ImplicitCastExpr>(e) && "bad form of unbridged cast!")(static_cast <bool> (isa<ImplicitCastExpr>(e) && "bad form of unbridged cast!") ? void (0) : __assert_fail ("isa<ImplicitCastExpr>(e) && \"bad form of unbridged cast!\"" , "/build/llvm-toolchain-snapshot-14~++20210828111110+16086d47c0d0/clang/lib/Sema/SemaExprObjC.cpp" , 4581, __extension__ __PRETTY_FUNCTION__)); | ||||
4582 | return cast<ImplicitCastExpr>(e)->getSubExpr(); | ||||
4583 | } | ||||
4584 | } | ||||
4585 | |||||
4586 | bool Sema::CheckObjCARCUnavailableWeakConversion(QualType castType, | ||||
4587 | QualType exprType) { | ||||
4588 | QualType canCastType = | ||||
4589 | Context.getCanonicalType(castType).getUnqualifiedType(); | ||||
4590 | QualType canExprType = | ||||
4591 | Context.getCanonicalType(exprType).getUnqualifiedType(); | ||||
4592 | if (isa<ObjCObjectPointerType>(canCastType) && | ||||
4593 | castType.getObjCLifetime() == Qualifiers::OCL_Weak && | ||||
4594 | canExprType->isObjCObjectPointerType()) { | ||||
4595 | if (const ObjCObjectPointerType *ObjT = | ||||
4596 | canExprType->getAs<ObjCObjectPointerType>()) | ||||
4597 | if (const ObjCInterfaceDecl *ObjI = ObjT->getInterfaceDecl()) | ||||
4598 | return !ObjI->isArcWeakrefUnavailable(); | ||||
4599 | } | ||||
4600 | return true; | ||||
4601 | } | ||||
4602 | |||||
4603 | /// Look for an ObjCReclaimReturnedObject cast and destroy it. | ||||
4604 | static Expr *maybeUndoReclaimObject(Expr *e) { | ||||
4605 | Expr *curExpr = e, *prevExpr = nullptr; | ||||
4606 | |||||
4607 | // Walk down the expression until we hit an implicit cast of kind | ||||
4608 | // ARCReclaimReturnedObject or an Expr that is neither a Paren nor a Cast. | ||||
4609 | while (true) { | ||||
4610 | if (auto *pe = dyn_cast<ParenExpr>(curExpr)) { | ||||
4611 | prevExpr = curExpr; | ||||
4612 | curExpr = pe->getSubExpr(); | ||||
4613 | continue; | ||||
4614 | } | ||||
4615 | |||||
4616 | if (auto *ce = dyn_cast<CastExpr>(curExpr)) { | ||||
4617 | if (auto *ice = dyn_cast<ImplicitCastExpr>(ce)) | ||||
4618 | if (ice->getCastKind() == CK_ARCReclaimReturnedObject) { | ||||
4619 | if (!prevExpr) | ||||
4620 | return ice->getSubExpr(); | ||||
4621 | if (auto *pe = dyn_cast<ParenExpr>(prevExpr)) | ||||
4622 | pe->setSubExpr(ice->getSubExpr()); | ||||
4623 | else | ||||
4624 | cast<CastExpr>(prevExpr)->setSubExpr(ice->getSubExpr()); | ||||
4625 | return e; | ||||
4626 | } | ||||
4627 | |||||
4628 | prevExpr = curExpr; | ||||
4629 | curExpr = ce->getSubExpr(); | ||||
4630 | continue; | ||||
4631 | } | ||||
4632 | |||||
4633 | // Break out of the loop if curExpr is neither a Paren nor a Cast. | ||||
4634 | break; | ||||
4635 | } | ||||
4636 | |||||
4637 | return e; | ||||
4638 | } | ||||
4639 | |||||
4640 | ExprResult Sema::BuildObjCBridgedCast(SourceLocation LParenLoc, | ||||
4641 | ObjCBridgeCastKind Kind, | ||||
4642 | SourceLocation BridgeKeywordLoc, | ||||
4643 | TypeSourceInfo *TSInfo, | ||||
4644 | Expr *SubExpr) { | ||||
4645 | ExprResult SubResult = UsualUnaryConversions(SubExpr); | ||||
4646 | if (SubResult.isInvalid()) return ExprError(); | ||||
4647 | SubExpr = SubResult.get(); | ||||
4648 | |||||
4649 | QualType T = TSInfo->getType(); | ||||
4650 | QualType FromType = SubExpr->getType(); | ||||
4651 | |||||
4652 | CastKind CK; | ||||
4653 | |||||
4654 | bool MustConsume = false; | ||||
4655 | if (T->isDependentType() || SubExpr->isTypeDependent()) { | ||||
4656 | // Okay: we'll build a dependent expression type. | ||||
4657 | CK = CK_Dependent; | ||||
4658 | } else if (T->isObjCARCBridgableType() && FromType->isCARCBridgableType()) { | ||||
4659 | // Casting CF -> id | ||||
4660 | CK = (T->isBlockPointerType() ? CK_AnyPointerToBlockPointerCast | ||||
4661 | : CK_CPointerToObjCPointerCast); | ||||
4662 | switch (Kind) { | ||||
4663 | case OBC_Bridge: | ||||
4664 | break; | ||||
4665 | |||||
4666 | case OBC_BridgeRetained: { | ||||
4667 | bool br = isKnownName("CFBridgingRelease"); | ||||
4668 | Diag(BridgeKeywordLoc, diag::err_arc_bridge_cast_wrong_kind) | ||||
4669 | << 2 | ||||
4670 | << FromType | ||||
4671 | << (T->isBlockPointerType()? 1 : 0) | ||||
4672 | << T | ||||
4673 | << SubExpr->getSourceRange() | ||||
4674 | << Kind; | ||||
4675 | Diag(BridgeKeywordLoc, diag::note_arc_bridge) | ||||
4676 | << FixItHint::CreateReplacement(BridgeKeywordLoc, "__bridge"); | ||||
4677 | Diag(BridgeKeywordLoc, diag::note_arc_bridge_transfer) | ||||
4678 | << FromType << br | ||||
4679 | << FixItHint::CreateReplacement(BridgeKeywordLoc, | ||||
4680 | br ? "CFBridgingRelease " | ||||
4681 | : "__bridge_transfer "); | ||||
4682 | |||||
4683 | Kind = OBC_Bridge; | ||||
4684 | break; | ||||
4685 | } | ||||
4686 | |||||
4687 | case OBC_BridgeTransfer: | ||||
4688 | // We must consume the Objective-C object produced by the cast. | ||||
4689 | MustConsume = true; | ||||
4690 | break; | ||||
4691 | } | ||||
4692 | } else if (T->isCARCBridgableType() && FromType->isObjCARCBridgableType()) { | ||||
4693 | // Okay: id -> CF | ||||
4694 | CK = CK_BitCast; | ||||
4695 | switch (Kind) { | ||||
4696 | case OBC_Bridge: | ||||
4697 | // Reclaiming a value that's going to be __bridge-casted to CF | ||||
4698 | // is very dangerous, so we don't do it. | ||||
4699 | SubExpr = maybeUndoReclaimObject(SubExpr); | ||||
4700 | break; | ||||
4701 | |||||
4702 | case OBC_BridgeRetained: | ||||
4703 | // Produce the object before casting it. | ||||
4704 | SubExpr = ImplicitCastExpr::Create(Context, FromType, CK_ARCProduceObject, | ||||
4705 | SubExpr, nullptr, VK_PRValue, | ||||
4706 | FPOptionsOverride()); | ||||
4707 | break; | ||||
4708 | |||||
4709 | case OBC_BridgeTransfer: { | ||||
4710 | bool br = isKnownName("CFBridgingRetain"); | ||||
4711 | Diag(BridgeKeywordLoc, diag::err_arc_bridge_cast_wrong_kind) | ||||
4712 | << (FromType->isBlockPointerType()? 1 : 0) | ||||
4713 | << FromType | ||||
4714 | << 2 | ||||
4715 | << T | ||||
4716 | << SubExpr->getSourceRange() | ||||
4717 | << Kind; | ||||
4718 | |||||
4719 | Diag(BridgeKeywordLoc, diag::note_arc_bridge) | ||||
4720 | << FixItHint::CreateReplacement(BridgeKeywordLoc, "__bridge "); | ||||
4721 | Diag(BridgeKeywordLoc, diag::note_arc_bridge_retained) | ||||
4722 | << T << br | ||||
4723 | << FixItHint::CreateReplacement(BridgeKeywordLoc, | ||||
4724 | br ? "CFBridgingRetain " : "__bridge_retained"); | ||||
4725 | |||||
4726 | Kind = OBC_Bridge; | ||||
4727 | break; | ||||
4728 | } | ||||
4729 | } | ||||
4730 | } else { | ||||
4731 | Diag(LParenLoc, diag::err_arc_bridge_cast_incompatible) | ||||
4732 | << FromType << T << Kind | ||||
4733 | << SubExpr->getSourceRange() | ||||
4734 | << TSInfo->getTypeLoc().getSourceRange(); | ||||
4735 | return ExprError(); | ||||
4736 | } | ||||
4737 | |||||
4738 | Expr *Result = new (Context) ObjCBridgedCastExpr(LParenLoc, Kind, CK, | ||||
4739 | BridgeKeywordLoc, | ||||
4740 | TSInfo, SubExpr); | ||||
4741 | |||||
4742 | if (MustConsume) { | ||||
4743 | Cleanup.setExprNeedsCleanups(true); | ||||
4744 | Result = ImplicitCastExpr::Create(Context, T, CK_ARCConsumeObject, Result, | ||||
4745 | nullptr, VK_PRValue, FPOptionsOverride()); | ||||
4746 | } | ||||
4747 | |||||
4748 | return Result; | ||||
4749 | } | ||||
4750 | |||||
4751 | ExprResult Sema::ActOnObjCBridgedCast(Scope *S, | ||||
4752 | SourceLocation LParenLoc, | ||||
4753 | ObjCBridgeCastKind Kind, | ||||
4754 | SourceLocation BridgeKeywordLoc, | ||||
4755 | ParsedType Type, | ||||
4756 | SourceLocation RParenLoc, | ||||
4757 | Expr *SubExpr) { | ||||
4758 | TypeSourceInfo *TSInfo = nullptr; | ||||
4759 | QualType T = GetTypeFromParser(Type, &TSInfo); | ||||
4760 | if (Kind == OBC_Bridge) | ||||
4761 | CheckTollFreeBridgeCast(T, SubExpr); | ||||
4762 | if (!TSInfo) | ||||
4763 | TSInfo = Context.getTrivialTypeSourceInfo(T, LParenLoc); | ||||
4764 | return BuildObjCBridgedCast(LParenLoc, Kind, BridgeKeywordLoc, TSInfo, | ||||
4765 | SubExpr); | ||||
4766 | } |
1 | //===- SourceLocation.h - Compact identifier for Source Files ---*- C++ -*-===// |
2 | // |
3 | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
4 | // See https://llvm.org/LICENSE.txt for license information. |
5 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
6 | // |
7 | //===----------------------------------------------------------------------===// |
8 | // |
9 | /// \file |
10 | /// Defines the clang::SourceLocation class and associated facilities. |
11 | // |
12 | //===----------------------------------------------------------------------===// |
13 | |
14 | #ifndef LLVM_CLANG_BASIC_SOURCELOCATION_H |
15 | #define LLVM_CLANG_BASIC_SOURCELOCATION_H |
16 | |
17 | #include "clang/Basic/LLVM.h" |
18 | #include "llvm/ADT/StringRef.h" |
19 | #include <cassert> |
20 | #include <cstdint> |
21 | #include <string> |
22 | #include <utility> |
23 | |
24 | namespace llvm { |
25 | |
26 | template <typename T> struct DenseMapInfo; |
27 | |
28 | class FoldingSetNodeID; |
29 | template <typename T> struct FoldingSetTrait; |
30 | |
31 | } // namespace llvm |
32 | |
33 | namespace clang { |
34 | |
35 | class SourceManager; |
36 | |
37 | /// An opaque identifier used by SourceManager which refers to a |
38 | /// source file (MemoryBuffer) along with its \#include path and \#line data. |
39 | /// |
40 | class FileID { |
41 | /// A mostly-opaque identifier, where 0 is "invalid", >0 is |
42 | /// this module, and <-1 is something loaded from another module. |
43 | int ID = 0; |
44 | |
45 | public: |
46 | bool isValid() const { return ID != 0; } |
47 | bool isInvalid() const { return ID == 0; } |
48 | |
49 | bool operator==(const FileID &RHS) const { return ID == RHS.ID; } |
50 | bool operator<(const FileID &RHS) const { return ID < RHS.ID; } |
51 | bool operator<=(const FileID &RHS) const { return ID <= RHS.ID; } |
52 | bool operator!=(const FileID &RHS) const { return !(*this == RHS); } |
53 | bool operator>(const FileID &RHS) const { return RHS < *this; } |
54 | bool operator>=(const FileID &RHS) const { return RHS <= *this; } |
55 | |
56 | static FileID getSentinel() { return get(-1); } |
57 | unsigned getHashValue() const { return static_cast<unsigned>(ID); } |
58 | |
59 | private: |
60 | friend class ASTWriter; |
61 | friend class ASTReader; |
62 | friend class SourceManager; |
63 | |
64 | static FileID get(int V) { |
65 | FileID F; |
66 | F.ID = V; |
67 | return F; |
68 | } |
69 | |
70 | int getOpaqueValue() const { return ID; } |
71 | }; |
72 | |
73 | /// Encodes a location in the source. The SourceManager can decode this |
74 | /// to get at the full include stack, line and column information. |
75 | /// |
76 | /// Technically, a source location is simply an offset into the manager's view |
77 | /// of the input source, which is all input buffers (including macro |
78 | /// expansions) concatenated in an effectively arbitrary order. The manager |
79 | /// actually maintains two blocks of input buffers. One, starting at offset |
80 | /// 0 and growing upwards, contains all buffers from this module. The other, |
81 | /// starting at the highest possible offset and growing downwards, contains |
82 | /// buffers of loaded modules. |
83 | /// |
84 | /// In addition, one bit of SourceLocation is used for quick access to the |
85 | /// information whether the location is in a file or a macro expansion. |
86 | /// |
87 | /// It is important that this type remains small. It is currently 32 bits wide. |
88 | class SourceLocation { |
89 | friend class ASTReader; |
90 | friend class ASTWriter; |
91 | friend class SourceManager; |
92 | friend struct llvm::FoldingSetTrait<SourceLocation>; |
93 | |
94 | public: |
95 | using UIntTy = uint32_t; |
96 | using IntTy = int32_t; |
97 | |
98 | private: |
99 | UIntTy ID = 0; |
100 | |
101 | enum : UIntTy { MacroIDBit = 1ULL << (8 * sizeof(UIntTy) - 1) }; |
102 | |
103 | public: |
104 | bool isFileID() const { return (ID & MacroIDBit) == 0; } |
105 | bool isMacroID() const { return (ID & MacroIDBit) != 0; } |
106 | |
107 | /// Return true if this is a valid SourceLocation object. |
108 | /// |
109 | /// Invalid SourceLocations are often used when events have no corresponding |
110 | /// location in the source (e.g. a diagnostic is required for a command line |
111 | /// option). |
112 | bool isValid() const { return ID != 0; } |
113 | bool isInvalid() const { return ID == 0; } |
114 | |
115 | private: |
116 | /// Return the offset into the manager's global input view. |
117 | UIntTy getOffset() const { return ID & ~MacroIDBit; } |
118 | |
119 | static SourceLocation getFileLoc(UIntTy ID) { |
120 | assert((ID & MacroIDBit) == 0 && "Ran out of source locations!")(static_cast <bool> ((ID & MacroIDBit) == 0 && "Ran out of source locations!") ? void (0) : __assert_fail ( "(ID & MacroIDBit) == 0 && \"Ran out of source locations!\"" , "/build/llvm-toolchain-snapshot-14~++20210828111110+16086d47c0d0/clang/include/clang/Basic/SourceLocation.h" , 120, __extension__ __PRETTY_FUNCTION__)); |
121 | SourceLocation L; |
122 | L.ID = ID; |
123 | return L; |
124 | } |
125 | |
126 | static SourceLocation getMacroLoc(UIntTy ID) { |
127 | assert((ID & MacroIDBit) == 0 && "Ran out of source locations!")(static_cast <bool> ((ID & MacroIDBit) == 0 && "Ran out of source locations!") ? void (0) : __assert_fail ( "(ID & MacroIDBit) == 0 && \"Ran out of source locations!\"" , "/build/llvm-toolchain-snapshot-14~++20210828111110+16086d47c0d0/clang/include/clang/Basic/SourceLocation.h" , 127, __extension__ __PRETTY_FUNCTION__)); |
128 | SourceLocation L; |
129 | L.ID = MacroIDBit | ID; |
130 | return L; |
131 | } |
132 | |
133 | public: |
134 | /// Return a source location with the specified offset from this |
135 | /// SourceLocation. |
136 | SourceLocation getLocWithOffset(IntTy Offset) const { |
137 | assert(((getOffset()+Offset) & MacroIDBit) == 0 && "offset overflow")(static_cast <bool> (((getOffset()+Offset) & MacroIDBit ) == 0 && "offset overflow") ? void (0) : __assert_fail ("((getOffset()+Offset) & MacroIDBit) == 0 && \"offset overflow\"" , "/build/llvm-toolchain-snapshot-14~++20210828111110+16086d47c0d0/clang/include/clang/Basic/SourceLocation.h" , 137, __extension__ __PRETTY_FUNCTION__)); |
138 | SourceLocation L; |
139 | L.ID = ID+Offset; |
140 | return L; |
141 | } |
142 | |
143 | /// When a SourceLocation itself cannot be used, this returns |
144 | /// an (opaque) 32-bit integer encoding for it. |
145 | /// |
146 | /// This should only be passed to SourceLocation::getFromRawEncoding, it |
147 | /// should not be inspected directly. |
148 | UIntTy getRawEncoding() const { return ID; } |
149 | |
150 | /// Turn a raw encoding of a SourceLocation object into |
151 | /// a real SourceLocation. |
152 | /// |
153 | /// \see getRawEncoding. |
154 | static SourceLocation getFromRawEncoding(UIntTy Encoding) { |
155 | SourceLocation X; |
156 | X.ID = Encoding; |
157 | return X; |
158 | } |
159 | |
160 | /// When a SourceLocation itself cannot be used, this returns |
161 | /// an (opaque) pointer encoding for it. |
162 | /// |
163 | /// This should only be passed to SourceLocation::getFromPtrEncoding, it |
164 | /// should not be inspected directly. |
165 | void* getPtrEncoding() const { |
166 | // Double cast to avoid a warning "cast to pointer from integer of different |
167 | // size". |
168 | return (void*)(uintptr_t)getRawEncoding(); |
169 | } |
170 | |
171 | /// Turn a pointer encoding of a SourceLocation object back |
172 | /// into a real SourceLocation. |
173 | static SourceLocation getFromPtrEncoding(const void *Encoding) { |
174 | return getFromRawEncoding((SourceLocation::UIntTy)(uintptr_t)Encoding); |
175 | } |
176 | |
177 | static bool isPairOfFileLocations(SourceLocation Start, SourceLocation End) { |
178 | return Start.isValid() && Start.isFileID() && End.isValid() && |
179 | End.isFileID(); |
180 | } |
181 | |
182 | unsigned getHashValue() const; |
183 | void print(raw_ostream &OS, const SourceManager &SM) const; |
184 | std::string printToString(const SourceManager &SM) const; |
185 | void dump(const SourceManager &SM) const; |
186 | }; |
187 | |
188 | inline bool operator==(const SourceLocation &LHS, const SourceLocation &RHS) { |
189 | return LHS.getRawEncoding() == RHS.getRawEncoding(); |
190 | } |
191 | |
192 | inline bool operator!=(const SourceLocation &LHS, const SourceLocation &RHS) { |
193 | return !(LHS == RHS); |
194 | } |
195 | |
196 | // Ordering is meaningful only if LHS and RHS have the same FileID! |
197 | // Otherwise use SourceManager::isBeforeInTranslationUnit(). |
198 | inline bool operator<(const SourceLocation &LHS, const SourceLocation &RHS) { |
199 | return LHS.getRawEncoding() < RHS.getRawEncoding(); |
200 | } |
201 | inline bool operator>(const SourceLocation &LHS, const SourceLocation &RHS) { |
202 | return LHS.getRawEncoding() > RHS.getRawEncoding(); |
203 | } |
204 | inline bool operator<=(const SourceLocation &LHS, const SourceLocation &RHS) { |
205 | return LHS.getRawEncoding() <= RHS.getRawEncoding(); |
206 | } |
207 | inline bool operator>=(const SourceLocation &LHS, const SourceLocation &RHS) { |
208 | return LHS.getRawEncoding() >= RHS.getRawEncoding(); |
209 | } |
210 | |
211 | /// A trivial tuple used to represent a source range. |
212 | class SourceRange { |
213 | SourceLocation B; |
214 | SourceLocation E; |
215 | |
216 | public: |
217 | SourceRange() = default; |
218 | SourceRange(SourceLocation loc) : B(loc), E(loc) {} |
219 | SourceRange(SourceLocation begin, SourceLocation end) : B(begin), E(end) {} |
220 | |
221 | SourceLocation getBegin() const { return B; } |
222 | SourceLocation getEnd() const { return E; } |
223 | |
224 | void setBegin(SourceLocation b) { B = b; } |
225 | void setEnd(SourceLocation e) { E = e; } |
226 | |
227 | bool isValid() const { return B.isValid() && E.isValid(); } |
228 | bool isInvalid() const { return !isValid(); } |
229 | |
230 | bool operator==(const SourceRange &X) const { |
231 | return B == X.B && E == X.E; |
232 | } |
233 | |
234 | bool operator!=(const SourceRange &X) const { |
235 | return B != X.B || E != X.E; |
236 | } |
237 | |
238 | // Returns true iff other is wholly contained within this range. |
239 | bool fullyContains(const SourceRange &other) const { |
240 | return B <= other.B && E >= other.E; |
241 | } |
242 | |
243 | void print(raw_ostream &OS, const SourceManager &SM) const; |
244 | std::string printToString(const SourceManager &SM) const; |
245 | void dump(const SourceManager &SM) const; |
246 | }; |
247 | |
248 | /// Represents a character-granular source range. |
249 | /// |
250 | /// The underlying SourceRange can either specify the starting/ending character |
251 | /// of the range, or it can specify the start of the range and the start of the |
252 | /// last token of the range (a "token range"). In the token range case, the |
253 | /// size of the last token must be measured to determine the actual end of the |
254 | /// range. |
255 | class CharSourceRange { |
256 | SourceRange Range; |
257 | bool IsTokenRange = false; |
258 | |
259 | public: |
260 | CharSourceRange() = default; |
261 | CharSourceRange(SourceRange R, bool ITR) : Range(R), IsTokenRange(ITR) {} |
262 | |
263 | static CharSourceRange getTokenRange(SourceRange R) { |
264 | return CharSourceRange(R, true); |
265 | } |
266 | |
267 | static CharSourceRange getCharRange(SourceRange R) { |
268 | return CharSourceRange(R, false); |
269 | } |
270 | |
271 | static CharSourceRange getTokenRange(SourceLocation B, SourceLocation E) { |
272 | return getTokenRange(SourceRange(B, E)); |
273 | } |
274 | |
275 | static CharSourceRange getCharRange(SourceLocation B, SourceLocation E) { |
276 | return getCharRange(SourceRange(B, E)); |
277 | } |
278 | |
279 | /// Return true if the end of this range specifies the start of |
280 | /// the last token. Return false if the end of this range specifies the last |
281 | /// character in the range. |
282 | bool isTokenRange() const { return IsTokenRange; } |
283 | bool isCharRange() const { return !IsTokenRange; } |
284 | |
285 | SourceLocation getBegin() const { return Range.getBegin(); } |
286 | SourceLocation getEnd() const { return Range.getEnd(); } |
287 | SourceRange getAsRange() const { return Range; } |
288 | |
289 | void setBegin(SourceLocation b) { Range.setBegin(b); } |
290 | void setEnd(SourceLocation e) { Range.setEnd(e); } |
291 | void setTokenRange(bool TR) { IsTokenRange = TR; } |
292 | |
293 | bool isValid() const { return Range.isValid(); } |
294 | bool isInvalid() const { return !isValid(); } |
295 | }; |
296 | |
297 | /// Represents an unpacked "presumed" location which can be presented |
298 | /// to the user. |
299 | /// |
300 | /// A 'presumed' location can be modified by \#line and GNU line marker |
301 | /// directives and is always the expansion point of a normal location. |
302 | /// |
303 | /// You can get a PresumedLoc from a SourceLocation with SourceManager. |
304 | class PresumedLoc { |
305 | const char *Filename = nullptr; |
306 | FileID ID; |
307 | unsigned Line, Col; |
308 | SourceLocation IncludeLoc; |
309 | |
310 | public: |
311 | PresumedLoc() = default; |
312 | PresumedLoc(const char *FN, FileID FID, unsigned Ln, unsigned Co, |
313 | SourceLocation IL) |
314 | : Filename(FN), ID(FID), Line(Ln), Col(Co), IncludeLoc(IL) {} |
315 | |
316 | /// Return true if this object is invalid or uninitialized. |
317 | /// |
318 | /// This occurs when created with invalid source locations or when walking |
319 | /// off the top of a \#include stack. |
320 | bool isInvalid() const { return Filename == nullptr; } |
321 | bool isValid() const { return Filename != nullptr; } |
322 | |
323 | /// Return the presumed filename of this location. |
324 | /// |
325 | /// This can be affected by \#line etc. |
326 | const char *getFilename() const { |
327 | assert(isValid())(static_cast <bool> (isValid()) ? void (0) : __assert_fail ("isValid()", "/build/llvm-toolchain-snapshot-14~++20210828111110+16086d47c0d0/clang/include/clang/Basic/SourceLocation.h" , 327, __extension__ __PRETTY_FUNCTION__)); |
328 | return Filename; |
329 | } |
330 | |
331 | FileID getFileID() const { |
332 | assert(isValid())(static_cast <bool> (isValid()) ? void (0) : __assert_fail ("isValid()", "/build/llvm-toolchain-snapshot-14~++20210828111110+16086d47c0d0/clang/include/clang/Basic/SourceLocation.h" , 332, __extension__ __PRETTY_FUNCTION__)); |
333 | return ID; |
334 | } |
335 | |
336 | /// Return the presumed line number of this location. |
337 | /// |
338 | /// This can be affected by \#line etc. |
339 | unsigned getLine() const { |
340 | assert(isValid())(static_cast <bool> (isValid()) ? void (0) : __assert_fail ("isValid()", "/build/llvm-toolchain-snapshot-14~++20210828111110+16086d47c0d0/clang/include/clang/Basic/SourceLocation.h" , 340, __extension__ __PRETTY_FUNCTION__)); |
341 | return Line; |
342 | } |
343 | |
344 | /// Return the presumed column number of this location. |
345 | /// |
346 | /// This cannot be affected by \#line, but is packaged here for convenience. |
347 | unsigned getColumn() const { |
348 | assert(isValid())(static_cast <bool> (isValid()) ? void (0) : __assert_fail ("isValid()", "/build/llvm-toolchain-snapshot-14~++20210828111110+16086d47c0d0/clang/include/clang/Basic/SourceLocation.h" , 348, __extension__ __PRETTY_FUNCTION__)); |
349 | return Col; |
350 | } |
351 | |
352 | /// Return the presumed include location of this location. |
353 | /// |
354 | /// This can be affected by GNU linemarker directives. |
355 | SourceLocation getIncludeLoc() const { |
356 | assert(isValid())(static_cast <bool> (isValid()) ? void (0) : __assert_fail ("isValid()", "/build/llvm-toolchain-snapshot-14~++20210828111110+16086d47c0d0/clang/include/clang/Basic/SourceLocation.h" , 356, __extension__ __PRETTY_FUNCTION__)); |
357 | return IncludeLoc; |
358 | } |
359 | }; |
360 | |
361 | class FileEntry; |
362 | |
363 | /// A SourceLocation and its associated SourceManager. |
364 | /// |
365 | /// This is useful for argument passing to functions that expect both objects. |
366 | /// |
367 | /// This class does not guarantee the presence of either the SourceManager or |
368 | /// a valid SourceLocation. Clients should use `isValid()` and `hasManager()` |
369 | /// before calling the member functions. |
370 | class FullSourceLoc : public SourceLocation { |
371 | const SourceManager *SrcMgr = nullptr; |
372 | |
373 | public: |
374 | /// Creates a FullSourceLoc where isValid() returns \c false. |
375 | FullSourceLoc() = default; |
376 | |
377 | explicit FullSourceLoc(SourceLocation Loc, const SourceManager &SM) |
378 | : SourceLocation(Loc), SrcMgr(&SM) {} |
379 | |
380 | /// Checks whether the SourceManager is present. |
381 | bool hasManager() const { return SrcMgr != nullptr; } |
382 | |
383 | /// \pre hasManager() |
384 | const SourceManager &getManager() const { |
385 | assert(SrcMgr && "SourceManager is NULL.")(static_cast <bool> (SrcMgr && "SourceManager is NULL." ) ? void (0) : __assert_fail ("SrcMgr && \"SourceManager is NULL.\"" , "/build/llvm-toolchain-snapshot-14~++20210828111110+16086d47c0d0/clang/include/clang/Basic/SourceLocation.h" , 385, __extension__ __PRETTY_FUNCTION__)); |
386 | return *SrcMgr; |
387 | } |
388 | |
389 | FileID getFileID() const; |
390 | |
391 | FullSourceLoc getExpansionLoc() const; |
392 | FullSourceLoc getSpellingLoc() const; |
393 | FullSourceLoc getFileLoc() const; |
394 | PresumedLoc getPresumedLoc(bool UseLineDirectives = true) const; |
395 | bool isMacroArgExpansion(FullSourceLoc *StartLoc = nullptr) const; |
396 | FullSourceLoc getImmediateMacroCallerLoc() const; |
397 | std::pair<FullSourceLoc, StringRef> getModuleImportLoc() const; |
398 | unsigned getFileOffset() const; |
399 | |
400 | unsigned getExpansionLineNumber(bool *Invalid = nullptr) const; |
401 | unsigned getExpansionColumnNumber(bool *Invalid = nullptr) const; |
402 | |
403 | unsigned getSpellingLineNumber(bool *Invalid = nullptr) const; |
404 | unsigned getSpellingColumnNumber(bool *Invalid = nullptr) const; |
405 | |
406 | const char *getCharacterData(bool *Invalid = nullptr) const; |
407 | |
408 | unsigned getLineNumber(bool *Invalid = nullptr) const; |
409 | unsigned getColumnNumber(bool *Invalid = nullptr) const; |
410 | |
411 | const FileEntry *getFileEntry() const; |
412 | |
413 | /// Return a StringRef to the source buffer data for the |
414 | /// specified FileID. |
415 | StringRef getBufferData(bool *Invalid = nullptr) const; |
416 | |
417 | /// Decompose the specified location into a raw FileID + Offset pair. |
418 | /// |
419 | /// The first element is the FileID, the second is the offset from the |
420 | /// start of the buffer of the location. |
421 | std::pair<FileID, unsigned> getDecomposedLoc() const; |
422 | |
423 | bool isInSystemHeader() const; |
424 | |
425 | /// Determines the order of 2 source locations in the translation unit. |
426 | /// |
427 | /// \returns true if this source location comes before 'Loc', false otherwise. |
428 | bool isBeforeInTranslationUnitThan(SourceLocation Loc) const; |
429 | |
430 | /// Determines the order of 2 source locations in the translation unit. |
431 | /// |
432 | /// \returns true if this source location comes before 'Loc', false otherwise. |
433 | bool isBeforeInTranslationUnitThan(FullSourceLoc Loc) const { |
434 | assert(Loc.isValid())(static_cast <bool> (Loc.isValid()) ? void (0) : __assert_fail ("Loc.isValid()", "/build/llvm-toolchain-snapshot-14~++20210828111110+16086d47c0d0/clang/include/clang/Basic/SourceLocation.h" , 434, __extension__ __PRETTY_FUNCTION__)); |
435 | assert(SrcMgr == Loc.SrcMgr && "Loc comes from another SourceManager!")(static_cast <bool> (SrcMgr == Loc.SrcMgr && "Loc comes from another SourceManager!" ) ? void (0) : __assert_fail ("SrcMgr == Loc.SrcMgr && \"Loc comes from another SourceManager!\"" , "/build/llvm-toolchain-snapshot-14~++20210828111110+16086d47c0d0/clang/include/clang/Basic/SourceLocation.h" , 435, __extension__ __PRETTY_FUNCTION__)); |
436 | return isBeforeInTranslationUnitThan((SourceLocation)Loc); |
437 | } |
438 | |
439 | /// Comparison function class, useful for sorting FullSourceLocs. |
440 | struct BeforeThanCompare { |
441 | bool operator()(const FullSourceLoc& lhs, const FullSourceLoc& rhs) const { |
442 | return lhs.isBeforeInTranslationUnitThan(rhs); |
443 | } |
444 | }; |
445 | |
446 | /// Prints information about this FullSourceLoc to stderr. |
447 | /// |
448 | /// This is useful for debugging. |
449 | void dump() const; |
450 | |
451 | friend bool |
452 | operator==(const FullSourceLoc &LHS, const FullSourceLoc &RHS) { |
453 | return LHS.getRawEncoding() == RHS.getRawEncoding() && |
454 | LHS.SrcMgr == RHS.SrcMgr; |
455 | } |
456 | |
457 | friend bool |
458 | operator!=(const FullSourceLoc &LHS, const FullSourceLoc &RHS) { |
459 | return !(LHS == RHS); |
460 | } |
461 | }; |
462 | |
463 | } // namespace clang |
464 | |
465 | namespace llvm { |
466 | |
467 | /// Define DenseMapInfo so that FileID's can be used as keys in DenseMap and |
468 | /// DenseSets. |
469 | template <> |
470 | struct DenseMapInfo<clang::FileID> { |
471 | static clang::FileID getEmptyKey() { |
472 | return {}; |
473 | } |
474 | |
475 | static clang::FileID getTombstoneKey() { |
476 | return clang::FileID::getSentinel(); |
477 | } |
478 | |
479 | static unsigned getHashValue(clang::FileID S) { |
480 | return S.getHashValue(); |
481 | } |
482 | |
483 | static bool isEqual(clang::FileID LHS, clang::FileID RHS) { |
484 | return LHS == RHS; |
485 | } |
486 | }; |
487 | |
488 | /// Define DenseMapInfo so that SourceLocation's can be used as keys in |
489 | /// DenseMap and DenseSet. This trait class is eqivalent to |
490 | /// DenseMapInfo<unsigned> which uses SourceLocation::ID is used as a key. |
491 | template <> struct DenseMapInfo<clang::SourceLocation> { |
492 | static clang::SourceLocation getEmptyKey() { |
493 | constexpr clang::SourceLocation::UIntTy Zero = 0; |
494 | return clang::SourceLocation::getFromRawEncoding(~Zero); |
495 | } |
496 | |
497 | static clang::SourceLocation getTombstoneKey() { |
498 | constexpr clang::SourceLocation::UIntTy Zero = 0; |
499 | return clang::SourceLocation::getFromRawEncoding(~Zero - 1); |
500 | } |
501 | |
502 | static unsigned getHashValue(clang::SourceLocation Loc) { |
503 | return Loc.getHashValue(); |
504 | } |
505 | |
506 | static bool isEqual(clang::SourceLocation LHS, clang::SourceLocation RHS) { |
507 | return LHS == RHS; |
508 | } |
509 | }; |
510 | |
511 | // Allow calling FoldingSetNodeID::Add with SourceLocation object as parameter |
512 | template <> struct FoldingSetTrait<clang::SourceLocation> { |
513 | static void Profile(const clang::SourceLocation &X, FoldingSetNodeID &ID); |
514 | }; |
515 | |
516 | } // namespace llvm |
517 | |
518 | #endif // LLVM_CLANG_BASIC_SOURCELOCATION_H |