30#include "llvm/ADT/SmallString.h"
31#include "llvm/Support/ConvertUTF.h"
48 if (Strings.size() != 1) {
53 for (
Expr *E : Strings) {
54 S = cast<StringLiteral>(E);
57 if (!S->isOrdinary()) {
58 Diag(S->getBeginLoc(), diag::err_cfstring_literal_not_string_constant)
59 << S->getSourceRange();
64 StrBuf += S->getString();
67 StrLocs.append(S->tokloc_begin(), S->tokloc_end());
73 assert(CAT &&
"String literal not of constant array type!");
75 CAT->
getElementType(), llvm::APInt(32, StrBuf.size() + 1),
nullptr,
78 false, StrTy, &StrLocs[0],
101 std::string StringClass(
getLangOpts().ObjCConstantStringClass);
103 if (StringClass.empty())
104 NSIdent = &Context.
Idents.
get(
"NSConstantString");
106 NSIdent = &Context.
Idents.
get(StringClass);
117 Diag(S->getBeginLoc(), diag::err_no_nsconstant_string_class)
118 << NSIdent << S->getSourceRange();
158 S.
Diag(
Loc, diag::err_undeclared_boxing_method) << Sel <<
Class->getName();
165 S.
Diag(
Loc, diag::err_objc_literal_method_sig)
178 switch (LiteralKind) {
196 llvm_unreachable(
"LiteralKind can't be converted into a ClassKind");
209 S.
Diag(
Loc, diag::err_undeclared_objc_literal_class)
210 << II->
getName() << LiteralKind;
212 }
else if (!
Decl->hasDefinition() && !S.
getLangOpts().DebuggerObjCLiteral) {
213 S.
Diag(
Loc, diag::err_undeclared_objc_literal_class)
214 <<
Decl->getName() << LiteralKind;
251 bool isLiteral =
false,
253 std::optional<NSAPI::NSNumberLiteralMethodKind> Kind =
254 S.NSAPIObj->getNSNumberFactoryMethodKind(NumberType);
258 S.
Diag(
Loc, diag::err_invalid_nsnumber_type)
265 if (S.NSNumberLiteralMethods[*Kind])
266 return S.NSNumberLiteralMethods[*Kind];
268 Selector Sel = S.NSAPIObj->getNSNumberLiteralSelector(*Kind,
275 if (!S.NSNumberDecl) {
278 if (!S.NSNumberDecl) {
283 if (S.NSNumberPointer.isNull()) {
291 if (!Method && S.
getLangOpts().DebuggerObjCLiteral) {
296 ReturnTInfo, S.NSNumberDecl,
306 NumberType,
nullptr,
SC_None,
nullptr);
316 S.NSNumberLiteralMethods[*Kind] = Method;
330 switch (Char->getKind()) {
333 NumberType = Context.
CharTy;
366 Number = ConvertedNumber.
get();
379 Value ? tok::kw_true : tok::kw_false);
385 CK_IntegralToBoolean);
395 bool ArrayLiteral =
false) {
397 if (Element->isTypeDependent())
407 if (S.
getLangOpts().CPlusPlus && Element->getType()->isRecordType()) {
415 return Seq.Perform(S, Entity, Kind, Element);
418 Expr *OrigElement = Element;
427 if (!Element->getType()->isObjCObjectPointerType() &&
428 !Element->getType()->isBlockPointerType()) {
429 bool Recovered =
false;
432 if (isa<IntegerLiteral>(OrigElement) ||
433 isa<CharacterLiteral>(OrigElement) ||
434 isa<FloatingLiteral>(OrigElement) ||
435 isa<ObjCBoolLiteralExpr>(OrigElement) ||
436 isa<CXXBoolLiteralExpr>(OrigElement)) {
439 int Which = isa<CharacterLiteral>(OrigElement) ? 1
440 : (isa<CXXBoolLiteralExpr>(OrigElement) ||
441 isa<ObjCBoolLiteralExpr>(OrigElement)) ? 2
458 else if (
StringLiteral *String = dyn_cast<StringLiteral>(OrigElement)) {
459 if (String->isOrdinary()) {
475 S.
Diag(Element->getBeginLoc(), diag::err_invalid_collection_element)
476 << Element->getType();
482 dyn_cast<ObjCStringLiteral>(OrigElement)) {
484 unsigned numConcat = SL->getNumConcatenated();
487 bool hasMacro =
false;
488 for (
unsigned i = 0; i < numConcat ; ++i)
489 if (SL->getStrTokenLoc(i).isMacroID()) {
494 S.
Diag(Element->getBeginLoc(),
495 diag::warn_concatenated_nsarray_literal)
496 << Element->getType();
506 Element->getBeginLoc(), Element);
524 ValueExpr = RValue.
get();
542 if (
auto *CE = dyn_cast<ImplicitCastExpr>(ValueExpr))
543 if (CE->getCastKind() == CK_ArrayToPointerDecay)
545 dyn_cast<StringLiteral>(CE->getSubExpr()->IgnoreParens())) {
546 assert((SL->isOrdinary() || SL->isUTF8()) &&
547 "unexpected character encoding");
548 StringRef Str = SL->getString();
549 const llvm::UTF8 *StrBegin = Str.bytes_begin();
550 const llvm::UTF8 *StrEnd = Str.bytes_end();
552 if (llvm::isLegalUTF8String(&StrBegin, StrEnd)) {
557 return new (Context)
ObjCBoxedExpr(CE, BoxedType,
nullptr, SR);
560 Diag(SL->getBeginLoc(), diag::warn_objc_boxing_invalid_utf8_string)
570 if (!BoxingMethod &&
getLangOpts().DebuggerObjCLiteral) {
595 stringWithUTF8String, BoxingMethod))
604 std::optional<NullabilityKind> Nullability =
619 dyn_cast<CharacterLiteral>(ValueExpr->
IgnoreParens())) {
622 switch (Char->getKind()) {
625 ValueType = Context.
CharTy;
647 if (!ET->getDecl()->isComplete()) {
648 Diag(
Loc, diag::err_objc_incomplete_boxed_expression_type)
654 ET->getDecl()->getIntegerType());
680 if (!BoxingMethod &&
getLangOpts().DebuggerObjCLiteral) {
703 Params.push_back(
bytes);
713 Params.push_back(
type);
720 ValueWithBytesObjCType, BoxingMethod))
727 Diag(
Loc, diag::err_objc_non_trivially_copyable_boxed_expression_type)
737 Diag(
Loc, diag::err_objc_illegal_boxed_expression_type)
760 ValueExpr = ConvertedValueExpr.
get();
773 assert(!
getLangOpts().isSubscriptPointerArithmetic());
779 "base or index cannot have dependent type here");
797 getterMethod, setterMethod, RB);
819 if (!Method &&
getLangOpts().DebuggerObjCLiteral) {
836 Params.push_back(objects);
844 Params.push_back(cnt);
859 diag::note_objc_literal_method_param)
866 if (!Method->
parameters()[1]->getType()->isIntegerType()) {
870 diag::note_objc_literal_method_param)
886 Expr **ElementsBuffer = Elements.data();
887 for (
unsigned I = 0, N = Elements.size(); I != N; ++I) {
889 SemaRef, ElementsBuffer[I], RequiredType,
true);
893 ElementsBuffer[I] = Converted.
get();
909 if (Literal->isValueDependent() || Literal->isTypeDependent())
915 struct APSIntCompare {
916 bool operator()(
const llvm::APSInt &LHS,
const llvm::APSInt &RHS)
const {
917 return llvm::APSInt::compareValues(LHS, RHS) < 0;
921 llvm::DenseMap<StringRef, SourceLocation> StringKeys;
922 std::map<llvm::APSInt, SourceLocation, APSIntCompare> IntegralKeys;
925 auto Pair = Map.insert({Key,
Loc});
927 S.
Diag(
Loc, diag::warn_nsdictionary_duplicate_key);
928 S.
Diag(Pair.first->second, diag::note_nsdictionary_duplicate_key_here);
932 for (
unsigned Idx = 0, End = Literal->getNumElements(); Idx != End; ++Idx) {
933 Expr *Key = Literal->getKeyValueElement(Idx).Key->IgnoreParenImpCasts();
935 if (
auto *StrLit = dyn_cast<ObjCStringLiteral>(Key)) {
936 StringRef Bytes = StrLit->getString()->getBytes();
938 checkOneKey(StringKeys, Bytes,
Loc);
941 if (
auto *BE = dyn_cast<ObjCBoxedExpr>(Key)) {
942 Expr *Boxed = BE->getSubExpr();
947 checkOneKey(StringKeys, Str->getBytes(),
Loc);
954 checkOneKey(IntegralKeys,
Result.Val.getInt(),
Loc);
980 if (!Method &&
getLangOpts().DebuggerObjCLiteral) {
997 Params.push_back(objects);
1005 Params.push_back(keys);
1013 Params.push_back(cnt);
1029 diag::note_objc_literal_method_param)
1063 diag::note_objc_literal_method_param)
1071 QualType CountType = Method->parameters()[2]->getType();
1075 Diag(Method->parameters()[2]->getLocation(),
1076 diag::note_objc_literal_method_param)
1086 QualType ValuesT = DictionaryWithObjectsMethod->parameters()[0]->getType();
1088 QualType KeysT = DictionaryWithObjectsMethod->parameters()[1]->getType();
1093 bool HasPackExpansions =
false;
1104 if (
Value.isInvalid())
1107 Element.Key = Key.
get();
1108 Element.Value =
Value.get();
1110 if (Element.EllipsisLoc.isInvalid())
1113 if (!Element.Key->containsUnexpandedParameterPack() &&
1114 !Element.Value->containsUnexpandedParameterPack()) {
1115 Diag(Element.EllipsisLoc,
1116 diag::err_pack_expansion_without_parameter_packs)
1118 Element.Value->getEndLoc());
1122 HasPackExpansions =
true;
1130 DictionaryWithObjectsMethod, SR);
1132 return SemaRef.MaybeBindToTemporary(Literal);
1147 diag::err_incomplete_type_objc_at_encode,
1154 if (!NotEncodedT.
isNull())
1155 Diag(AtLoc, diag::warn_incomplete_encoded_type)
1156 << EncodedType << NotEncodedT;
1163 return new (Context)
ObjCEncodeExpr(StrTy, EncodedTypeInfo, AtLoc, RParenLoc);
1189 bool Warned =
false;
1192 if (MatchingMethodDecl == Method ||
1200 S.
Diag(AtLoc, diag::warn_multiple_selectors)
1206 S.
Diag(MatchingMethodDecl->
getLocation(), diag::note_method_declared_at)
1217 bool WarnMultipleSelectors) {
1218 if (!WarnMultipleSelectors ||
1221 bool Warned =
false;
1228 Method, InstMethList))
1234 Method, ClsMethList) || Warned)
1250 assert(Method->
getSelector() == Sel &&
"Method with wrong selector in method list");
1253 DirectMethod = Method;
1258 return DirectMethod;
1273 S, Sel,
Iter->second.first, onlyDirect, anyDirect);
1275 S, Sel,
Iter->second.second, onlyDirect, anyDirect);
1277 return DirectInstance ? DirectInstance : DirectClass;
1306 bool WarnMultipleSelectors) {
1315 Selector MatchedSel = OM->getSelector();
1318 Diag(SelLoc, diag::warn_undeclared_selector_with_typo)
1319 << Sel << MatchedSel
1323 Diag(SelLoc, diag::warn_undeclared_selector) << Sel;
1326 WarnMultipleSelectors);
1328 bool onlyDirect =
true;
1329 bool anyDirect =
false;
1334 Diag(AtLoc, diag::err_direct_selector_expression)
1338 }
else if (anyDirect) {
1344 if (LikelyTargetMethod && LikelyTargetMethod->
isDirectMethod()) {
1345 Diag(AtLoc, diag::warn_potentially_direct_selector_expression) << Sel;
1347 diag::note_direct_method_declared_at)
1349 }
else if (!LikelyTargetMethod) {
1352 Diag(AtLoc, diag::warn_strict_potentially_direct_selector_expression)
1355 diag::note_direct_method_declared_at)
1376 Diag(AtLoc, diag::err_arc_illegal_selector) <<
1406 Diag(ProtoLoc, diag::err_undeclared_protocol) << ProtocolId;
1410 Diag(ProtoLoc, diag::err_objc_non_runtime_protocol_in_protocol_expr)
1413 Diag(ProtoLoc, diag::err_atprotocol_protocol) << PDecl;
1423 return new (Context)
ObjCProtocolExpr(Ty, PDecl, AtLoc, ProtoIdLoc, RParenLoc);
1469 bool isClassMessage,
1470 bool isSuperMessage) {
1471 assert(Method &&
"Must have a method");
1481 if (
auto nullability =
1506 if (isSuperMessage) {
1509 return transferNullability(
1528 return transferNullability(ReceiverType);
1534 bool isClassMessage,
1535 bool isSuperMessage) {
1539 SemaRef, ReceiverType, Method, isClassMessage, isSuperMessage);
1542 if (isClassMessage) {
1554 cast<ImplicitParamDecl>(
1556 ->getDeclContext());
1563 NewResultType, NewResultType);
1564 return NewResultType;
1576 unsigned receiverNullabilityIdx = 0;
1577 if (std::optional<NullabilityKind> nullability =
1581 receiverNullabilityIdx = 1 +
static_cast<unsigned>(*nullability);
1584 unsigned resultNullabilityIdx = 0;
1585 if (std::optional<NullabilityKind> nullability =
1589 resultNullabilityIdx = 1 +
static_cast<unsigned>(*nullability);
1594 static const uint8_t
None = 0;
1595 static const uint8_t
NonNull = 1;
1598 static const uint8_t nullabilityMap[4][4] = {
1606 unsigned newResultNullabilityIdx
1607 = nullabilityMap[receiverNullabilityIdx][resultNullabilityIdx];
1608 if (newResultNullabilityIdx == resultNullabilityIdx)
1614 if (
auto attributed = dyn_cast<AttributedType>(resultType.
getTypePtr())) {
1615 resultType = attributed->getModifiedType();
1622 if (newResultNullabilityIdx > 0) {
1627 resultType, resultType);
1646 dyn_cast<ObjCCategoryImplDecl>(impl)) {
1647 iface = catImpl->getCategoryDecl();
1649 iface = impl->getClassInterface();
1659 for (
unsigned i = 0, e = overrides.size(); i != e; ++i) {
1681 SourceRange range = overridden->getReturnTypeSourceRange();
1684 loc = overridden->getLocation();
1685 Diag(loc, diag::note_related_result_type_explicit)
1733 if (!SelectorLocs.empty() && SelectorLocs.front().isValid())
1734 SelLoc = SelectorLocs.front();
1740 for (
unsigned i = 0, e = Args.size(); i != e; i++) {
1741 if (Args[i]->isTypeDependent())
1753 Args[i] = result.
get();
1758 DiagID = diag::err_arc_method_not_found;
1760 DiagID = isClassMessage ? diag::warn_class_method_not_found
1761 : diag::warn_inst_method_not_found;
1766 DiagID = diag::err_method_not_found_with_typo;
1768 DiagID = isClassMessage ? diag::warn_class_method_not_found_with_typo
1769 : diag::warn_instance_method_not_found_with_typo;
1771 SourceRange SelectorRange(SelectorLocs.front(), SelectorLocs.back());
1773 Diag(SelLoc, DiagID)
1774 << Sel<< isClassMessage << MatchedSel
1777 Diag(SelLoc, DiagID) << Sel<< isClassMessage << MatchedSel;
1780 Diag(SelLoc, DiagID)
1781 << Sel << isClassMessage <<
SourceRange(SelectorLocs.front(),
1782 SelectorLocs.back());
1786 Diag(ThisClass->getLocation(), diag::note_receiver_class_declared);
1788 if (ThisClass->lookupClassMethod(Sel))
1789 Diag(RecRange.
getBegin(), diag::note_receiver_expr_here)
1791 ThisClass->getNameAsString());
1808 isClassMessage, isSuperMessage);
1817 if (Args.size() < NumNamedArgs) {
1818 Diag(SelLoc, diag::err_typecheck_call_too_few_args)
1819 << 2 << NumNamedArgs << static_cast<unsigned>(Args.size())
1826 std::optional<ArrayRef<QualType>> typeArgs =
1828 bool IsError =
false;
1829 for (
unsigned i = 0; i < NumNamedArgs; i++) {
1831 if (Args[i]->isTypeDependent())
1834 Expr *argExpr = Args[i];
1837 assert(argExpr &&
"CheckMessageArgumentTypes(): missing expression");
1839 if (param->
hasAttr<NoEscapeAttr>() &&
1841 if (
auto *BE = dyn_cast<BlockExpr>(
1843 BE->getBlockDecl()->setDoesNotEscape();
1848 !param->
hasAttr<CFConsumedAttr>())
1859 Args[i] = argE.
get();
1877 diag::err_call_incomplete_argument, argExpr))
1893 Args[i]->getType()->isBlockPointerType() &&
1897 Args[i] = arg.get();
1904 for (
unsigned i = NumNamedArgs, e = Args.size(); i < e; ++i) {
1905 if (Args[i]->isTypeDependent())
1911 Args[i] = Arg.
get();
1915 if (Args.size() != NumNamedArgs) {
1916 Diag(Args[NumNamedArgs]->getBeginLoc(),
1917 diag::err_typecheck_call_too_many_args)
1918 << 2 << NumNamedArgs << static_cast<unsigned>(Args.size())
1921 Args.back()->getEndLoc());
1942 if (!method)
return false;
1945 if (
DeclRefExpr *DRE = dyn_cast<DeclRefExpr>(receiver))
1957 if (
ObjCMethodDecl *method = iface->lookupMethod(sel, isInstance))
1962 if (
ObjCMethodDecl *method = iface->lookupPrivateMethod(sel, isInstance))
1967 for (
const auto *I : objType->
quals())
1979 for (
const auto *PROTO : OPT->
quals()) {
1980 if ((MD = PROTO->lookupMethod(Sel, Instance))) {
1998 Diag(MemberLoc, diag::err_invalid_property_name)
2008 diag::err_property_not_found_forward_class,
2009 MemberName, BaseRange))
2018 return new (Context)
2022 return new (Context)
2027 for (
const auto *I : OPT->
quals())
2037 SuperLoc, SuperType);
2039 return new (Context)
2093 if (!(PDecl->getPropertyAttributes() &
2096 diag::warn_property_access_suggest)
2097 << MemberName <<
QualType(OPT, 0) << PDecl->getName()
2102 if (Getter || Setter) {
2104 return new (Context)
2108 return new (Context)
2124 Corrected.isKeyword() ? nullptr : Corrected.getFoundDecl();
2125 if (ChosenDecl && isa<ObjCPropertyDecl>(ChosenDecl))
2126 if (cast<ObjCPropertyDecl>(ChosenDecl)->isClassProperty()) {
2129 Diag(MemberLoc, diag::err_class_property_found) << MemberName
2138 << MemberName <<
QualType(OPT, 0));
2140 TypoResult, MemberLoc,
2141 SuperLoc, SuperType, Super);
2151 diag::err_property_not_as_forward_class,
2152 MemberName, BaseExpr))
2156 diag::err_ivar_access_using_property_syntax_suggest)
2157 << MemberName <<
QualType(OPT, 0) << Ivar->getDeclName()
2162 Diag(MemberLoc, diag::err_property_not_found)
2182 if (receiverNamePtr->
isStr(
"super")) {
2184 if (
auto classDecl = CurMethod->getClassInterface()) {
2185 SuperType =
QualType(classDecl->getSuperClassType(), 0);
2186 if (CurMethod->isInstanceMethod()) {
2187 if (SuperType.
isNull()) {
2189 Diag(receiverNameLoc, diag::err_root_class_cannot_use_super)
2190 << CurMethod->getClassInterface()->getIdentifier();
2200 receiverNameLoc,
T,
true);
2211 Diag(receiverNameLoc, diag::err_expected_either) << tok::identifier
2221 GetterSel = PD->getGetterName();
2222 SetterSel = PD->getSetterName();
2258 if (Getter || Setter) {
2260 return new (Context)
2267 propertyNameLoc, receiverNameLoc, IFace);
2269 return ExprError(
Diag(propertyNameLoc, diag::err_property_not_found)
2283 bool ValidateCandidate(
const TypoCorrection &candidate)
override {
2288 std::unique_ptr<CorrectionCandidateCallback> clone()
override {
2289 return std::make_unique<ObjCInterfaceOrSuperCCC>(*
this);
2298 bool HasTrailingDot,
ParsedType &ReceiverType) {
2300 ReceiverType =
nullptr;
2305 if (IsSuper && S->isInObjcMethodScope())
2311 switch (
Result.getResultKind()) {
2336 Result.suppressDiagnostics();
2367 Result.getLookupNameInfo(),
Result.getLookupKind(), S,
nullptr, CCC,
2369 if (Corrected.isKeyword()) {
2373 Corrected,
SemaRef.
PDiag(diag::err_unknown_receiver_suggest) << Name);
2380 Corrected,
SemaRef.
PDiag(diag::err_unknown_receiver_suggest) << Name);
2401 Diag(SuperLoc, diag::err_invalid_receiver_to_message_super);
2407 Diag(SuperLoc, diag::err_no_super_class_message)
2415 Diag(SuperLoc, diag::err_root_class_cannot_use_super)
2416 <<
Class->getIdentifier();
2431 LBracLoc, SelectorLocs, RBracLoc, Args);
2438 SuperLoc, Sel,
nullptr,
2439 LBracLoc, SelectorLocs, RBracLoc, Args);
2443 bool isSuperReceiver,
2449 if (!ReceiverType.
isNull())
2452 assert(((isSuperReceiver &&
Loc.
isValid()) || receiverTypeInfo) &&
2453 "Either the super receiver location needs to be valid or the receiver "
2454 "needs valid type source information");
2472 auto Builder = S.
Diag(MsgLoc, DiagID)
2480 switch (Edit.
Kind) {
2487 Builder.AddFixItHint(
2508 bool IsClassObjectCall) {
2514 const auto *SE = dyn_cast<ObjCSelectorExpr>(Args[0]->IgnoreParens());
2518 if (!IsClassObjectCall) {
2520 if (!OPT || !OPT->getInterfaceDecl())
2523 OPT->getInterfaceDecl()->lookupInstanceMethod(SE->getSelector());
2526 OPT->getInterfaceDecl()->lookupPrivateMethod(SE->getSelector());
2531 ImpliedMethod = IT->getDecl()->lookupClassMethod(SE->getSelector());
2534 IT->getDecl()->lookupPrivateClassMethod(SE->getSelector());
2539 if (Ret->isRecordType() || Ret->isVectorType() || Ret->isExtVectorType()) {
2540 S.
Diag(
Loc, diag::warn_objc_unsafe_perform_selector)
2542 << (!Ret->isRecordType()
2544 : Ret->isUnionType() ? 1 : 0);
2546 diag::note_objc_unsafe_perform_selector_method_declared_here)
2557 Expr **Args,
unsigned NumArgs) {
2559 bool Format =
false;
2573 if (!Format || NumArgs <= Idx)
2576 Expr *FormatExpr = Args[Idx];
2581 S.
Diag(FormatExpr->
getExprLoc(), diag::warn_objc_cdirective_format_string)
2627 Diag(
Loc, diag::err_missing_open_square_message_send)
2632 if (!SelectorLocs.empty() && SelectorLocs.front().isValid())
2633 SelectorSlotLocs = SelectorLocs;
2635 SelectorSlotLocs =
Loc;
2641 unsigned NumArgs = ArgsIn.size();
2642 Expr **Args = ArgsIn.data();
2643 assert(SuperLoc.
isInvalid() &&
"Message to super with dependent type");
2645 ReceiverTypeInfo, Sel, SelectorLocs,
2647 RBracLoc, isImplicit);
2654 Diag(
Loc, diag::err_invalid_receiver_class_message)
2658 assert(
Class &&
"We don't know which class we're messaging?");
2669 ? diag::err_arc_receiver_forward_class
2670 : diag::warn_receiver_forward_class),
2680 Method =
Class->lookupClassMethod(Sel);
2684 Method =
Class->lookupPrivateClassMethod(Sel);
2687 false,
false,
Class))
2695 unsigned NumArgs = ArgsIn.size();
2696 Expr **Args = ArgsIn.data();
2699 Method,
true, SuperLoc.
isValid(), LBracLoc,
2706 diag::err_illegal_message_expr_incomplete_type))
2710 Diag(SuperLoc, diag::err_messaging_super_with_direct_method)
2725 Diag(
Loc, diag::warn_direct_initialize_call);
2732 Diag(
Loc, diag::warn_direct_super_initialize_call);
2735 Diag(CurMeth->getLocation(), diag::note_method_declared_at)
2736 << CurMeth->getDeclName();
2747 Context, ReturnType, VK, LBracLoc, SuperLoc,
false,
2748 ReceiverType, Sel, SelectorLocs, Method,
ArrayRef(Args, NumArgs),
2749 RBracLoc, isImplicit);
2752 Context, ReturnType, VK, LBracLoc, ReceiverTypeInfo, Sel, SelectorLocs,
2753 Method,
ArrayRef(Args, NumArgs), RBracLoc, isImplicit);
2759 ReceiverType,
true);
2775 if (ReceiverType.
isNull())
2778 if (!ReceiverTypeInfo)
2783 nullptr, LBracLoc, SelectorLocs, RBracLoc,
2799 const auto *Protocol = dyn_cast<ObjCProtocolDecl>(M->
getDeclContext());
2804 if (
const auto *RootClass = dyn_cast_or_null<ObjCInterfaceDecl>(
2808 if (
P->getCanonicalDecl() == Protocol->getCanonicalDecl())
2848 assert((Receiver || SuperLoc.
isValid()) &&
"If the Receiver is null, the "
2849 "SuperLoc must be valid so we can "
2858 if (!SelectorLocs.empty() && SelectorLocs.front().isValid())
2859 SelectorSlotLocs = SelectorLocs;
2861 SelectorSlotLocs =
Loc;
2865 Diag(
Loc, diag::err_missing_open_square_message_send)
2887 unsigned NumArgs = ArgsIn.size();
2888 Expr **Args = ArgsIn.data();
2889 assert(SuperLoc.
isInvalid() &&
"Message to super with dependent type");
2892 SelectorLocs,
nullptr,
ArrayRef(Args, NumArgs), RBracLoc,
2902 ReceiverType = Receiver->
getType();
2915 Diag(
Loc, diag::warn_bad_receiver_type) << ReceiverType << RecRange;
2919 CK_CPointerToObjCPointerCast)
2925 CastKind Kind =
IsNull ? CK_NullToPointer : CK_IntegralToPointer;
2930 ReceiverType = Receiver->
getType();
2934 diag::err_incomplete_receiver_type))
2940 Receiver = result.
get();
2941 ReceiverType = Receiver->
getType();
2962 if (!Methods.empty()) {
2965 Method = Methods[0];
2969 Method = BestMethod;
2973 receiverIsIdLike, Methods))
2991 Diag(SelLoc, diag::warn_instance_method_on_class_found)
3004 Method = ClassDecl->lookupClassMethod(Sel);
3007 Method = ClassDecl->lookupPrivateClassMethod(Sel);
3022 if (!Methods.empty()) {
3025 Method = Methods[0];
3031 if (ID->getSuperClass())
3032 Diag(SelLoc, diag::warn_root_inst_method_not_found)
3039 Method = BestMethod;
3061 ClassDecl = OCIType->getInterfaceDecl();
3069 Loc, OCIType->getPointeeType(),
3071 ? diag::err_arc_receiver_forward_instance
3072 : diag::warn_receiver_forward_instance,
3077 forwardClass = OCIType->getInterfaceDecl();
3079 diag::note_receiver_is_id);
3094 Diag(SelLoc, diag::err_arc_may_not_respond)
3095 << OCIType->getPointeeType() << Sel << RecRange
3096 <<
SourceRange(SelectorLocs.front(), SelectorLocs.back());
3100 if (!Method && (!Receiver || !
isSelfExpr(Receiver))) {
3104 if (OCIType->qual_empty()) {
3109 if (!Methods.empty()) {
3112 Method = Methods[0];
3116 Method = BestMethod;
3123 if (Method && !forwardClass)
3124 Diag(SelLoc, diag::warn_maynot_respond)
3125 << OCIType->getInterfaceDecl()->getIdentifier()
3135 Diag(
Loc, diag::err_bad_receiver_type) << ReceiverType << RecRange;
3149 diag::err_messaging_unqualified_id_with_direct_method);
3161 diag::err_messaging_class_with_direct_method);
3174 Diag(SuperLoc, diag::err_messaging_super_with_direct_method);
3185 }
else if (ReceiverType->
isObjCIdType() && !isImplicit) {
3186 Diag(Receiver->
getExprLoc(), diag::warn_messaging_unqualified_id);
3189 if (DIFunctionScopeInfo &&
3192 bool isDesignatedInitChain =
false;
3199 if (!ID->declaresOrInheritsDesignatedInitializers() ||
3200 ID->isDesignatedInitializer(Sel)) {
3201 isDesignatedInitChain =
true;
3207 if (!isDesignatedInitChain) {
3212 assert(isDesignated && InitMethod);
3215 diag::warn_objc_designated_init_non_designated_init_call :
3216 diag::warn_objc_designated_init_non_super_designated_init_call);
3218 diag::note_objc_designated_init_marked_here);
3222 if (DIFunctionScopeInfo &&
3226 Diag(SelLoc, diag::warn_objc_secondary_init_super_init_call);
3233 unsigned NumArgs = ArgsIn.size();
3234 Expr **Args = ArgsIn.data();
3241 Method, ClassMessage, SuperLoc.
isValid(),
3242 LBracLoc, RBracLoc, RecRange, ReturnType, VK))
3248 diag::err_illegal_message_expr_incomplete_type))
3277 Diag(SelLoc, diag::err_arc_illegal_explicit_message)
3282 if (Method && NumArgs >= 1) {
3283 if (
const auto *SelExp =
3284 dyn_cast<ObjCSelectorExpr>(Args[0]->IgnoreParens())) {
3285 Selector ArgSel = SelExp->getSelector();
3288 SelExp->getSourceRange());
3292 SelExp->getSourceRange());
3295 switch (SelFamily) {
3302 if (!SelMethod->
hasAttr<NSReturnsNotRetainedAttr>()) {
3305 diag::err_arc_perform_selector_retains);
3312 if (SelMethod->
hasAttr<NSReturnsRetainedAttr>()) {
3315 diag::err_arc_perform_selector_retains);
3324 Diag(SelLoc, diag::warn_arc_perform_selector_leaks);
3325 Diag(Args[0]->getExprLoc(), diag::note_used_here);
3338 Context, ReturnType, VK, LBracLoc, SuperLoc,
true,
3339 ReceiverType, Sel, SelectorLocs, Method,
ArrayRef(Args, NumArgs),
3340 RBracLoc, isImplicit);
3343 Context, ReturnType, VK, LBracLoc, Receiver, Sel, SelectorLocs, Method,
3344 ArrayRef(Args, NumArgs), RBracLoc, isImplicit);
3349 bool IsClassObjectCall = ClassMessage;
3356 if (OPT->getObjectType()->isObjCClass()) {
3358 IsClassObjectCall =
true;
3366 ReceiverType, IsClassObjectCall);
3379 Result->setDelegateInitCall(
true);
3390 if (!isImplicit && Method) {
3414 auto Pos = S.ReferencedSelectors.find(Sel);
3415 if (Pos != S.ReferencedSelectors.end() && Pos->second ==
Loc)
3416 S.ReferencedSelectors.erase(Pos);
3433 if (isa<ParenListExpr>(Receiver)) {
3449 nullptr, LBracLoc, SelectorLocs,
3483 bool isIndirect =
false;
3487 type = ref->getPointeeType();
3494 type = ptr->getPointeeType();
3501 }
else if (
const ArrayType *array =
type->getAsArrayTypeUnsafe()) {
3502 type =
QualType(array->getElementType()->getBaseElementTypeUnsafe(), 0);
3510 if (
type->isObjCARCBridgableType())
3515 if (
type->isObjCARCBridgableType())
3536 ACCResult merge(ACCResult left, ACCResult right) {
3537 if (left == right)
return left;
3538 if (left == ACC_bottom)
return right;
3539 if (right == ACC_bottom)
return left;
3545 class ARCCastChecker :
public StmtVisitor<ARCCastChecker, ACCResult> {
3555 return type->isCARCBridgableType();
3561 : Context(Context), SourceClass(source), TargetClass(target),
3562 Diagnose(diagnose) {}
3565 ACCResult Visit(
Expr *e) {
3569 ACCResult VisitStmt(
Stmt *
s) {
3574 ACCResult VisitExpr(
Expr *e) {
3590 ACCResult VisitCastExpr(
CastExpr *e) {
3592 case CK_NullToPointer:
3596 case CK_LValueToRValue:
3598 case CK_CPointerToObjCPointerCast:
3599 case CK_BlockPointerToObjCPointerCast:
3600 case CK_AnyPointerToBlockPointerCast:
3615 return Visit(e->
getRHS());
3621 if (left == ACC_invalid)
return ACC_invalid;
3632 ACCResult VisitStmtExpr(
StmtExpr *e) {
3651 return ACC_plusZero;
3659 ACCResult VisitCallExpr(
CallExpr *e) {
3661 if (ACCResult result = checkCallToFunction(fn))
3664 return super::VisitCallExpr(e);
3676 if (fn->
hasAttr<CFReturnsNotRetainedAttr>())
3677 return ACC_plusZero;
3682 if (fn->
hasAttr<CFReturnsRetainedAttr>())
3683 return Diagnose ? ACC_plusOne
3688 if (builtinID == Builtin::BI__builtin___CFStringMakeConstantString)
3692 if (!fn->
hasAttr<CFAuditedTransferAttr>())
3697 return Diagnose ? ACC_plusOne
3700 return ACC_plusZero;
3713 return checkCallToMethod(method);
3717 if (!method)
return ACC_invalid;
3726 if (method->
hasAttr<CFReturnsNotRetainedAttr>())
3727 return ACC_plusZero;
3731 if (method->
hasAttr<CFReturnsRetainedAttr>())
3743 return ACC_plusZero;
3758template <
typename DiagBuilderT>
3762 Expr *realCast,
const char *bridgeKeyword,
const char *CFBridgeName) {
3778 NCE->getAngleBrackets().getEnd());
3782 char PrevChar = *
SM.getCharacterData(range.getBegin().getLocWithOffset(-1));
3786 BridgeCall += CFBridgeName;
3793 castedE = CCE->getSubExpr();
3800 char PrevChar = *
SM.getCharacterData(range.getBegin().getLocWithOffset(-1));
3804 BridgeCall += CFBridgeName;
3806 if (isa<ParenExpr>(castedE)) {
3824 std::string castCode =
"(";
3825 castCode += bridgeKeyword;
3829 NCE->getAngleBrackets().getEnd());
3833 std::string castCode =
"(";
3834 castCode += bridgeKeyword;
3839 if (isa<ParenExpr>(castedE)) {
3853template <
typename T>
3860 for (
auto *Redecl : RT->getDecl()->getMostRecentDecl()->redecls()) {
3861 if (
auto *
attr = Redecl->getAttr<
T>())
3872 TDNDecl = TD->getDecl();
3873 if (ObjCBridgeRelatedAttr *ObjCBAttr =
3874 getObjCBridgeAttr<ObjCBridgeRelatedAttr>(TD))
3891 UnavailableAttr::IR_ARCForbiddenConversion))
3904 unsigned srcKind = 0;
3928 S.
Diag(loc, diag::err_arc_cast_requires_bridge)
3937 ACCResult CreateRule =
3939 assert(CreateRule != ACC_bottom &&
"This cast should already be accepted.");
3940 if (CreateRule != ACC_plusOne)
3943 ? S.
Diag(noteLoc, diag::note_arc_bridge)
3944 : S.
Diag(noteLoc, diag::note_arc_cstyle_bridge);
3947 castType,
castExpr, realCast,
"__bridge ",
3950 if (CreateRule != ACC_plusZero)
3953 ? S.
Diag(noteLoc, diag::note_arc_cstyle_bridge_transfer)
3956 diag::note_arc_bridge_transfer)
3957 << castExprType << br;
3960 castType,
castExpr, realCast,
"__bridge_transfer ",
3961 br ?
"CFBridgingRelease" :
nullptr);
3970 S.
Diag(loc, diag::err_arc_cast_requires_bridge)
3978 ACCResult CreateRule =
3980 assert(CreateRule != ACC_bottom &&
"This cast should already be accepted.");
3981 if (CreateRule != ACC_plusOne)
3984 ? S.
Diag(noteLoc, diag::note_arc_bridge)
3985 : S.
Diag(noteLoc, diag::note_arc_cstyle_bridge);
3987 castType,
castExpr, realCast,
"__bridge ",
3990 if (CreateRule != ACC_plusZero)
3993 ? S.
Diag(noteLoc, diag::note_arc_cstyle_bridge_retained)
3996 diag::note_arc_bridge_retained)
4000 castType,
castExpr, realCast,
"__bridge_retained ",
4001 br ?
"CFBridgingRetain" :
nullptr);
4007 S.
Diag(loc, diag::err_arc_mismatched_cast)
4009 << srcKind << castExprType << castType
4010 << castRange <<
castExpr->getSourceRange();
4013template <
typename TB>
4015 bool &HadTheAttribute,
bool warn) {
4017 HadTheAttribute =
false;
4020 if (TB *ObjCBAttr = getObjCBridgeAttr<TB>(TD)) {
4022 HadTheAttribute =
true;
4023 if (Parm->isStr(
"id"))
4036 = InterfacePointerType->getObjectType()->getInterface();
4037 if ((CastClass == ExprClass) ||
4041 S.
Diag(
castExpr->getBeginLoc(), diag::warn_objc_invalid_bridge)
4046 castType, ExprClass)))
4053 S.
Diag(
castExpr->getBeginLoc(), diag::warn_objc_invalid_bridge)
4054 <<
T <<
Target->getName() << castType;
4056 S.
Diag(
Target->getBeginLoc(), diag::note_declared_at);
4063 diag::err_objc_cf_bridged_not_interface)
4076template <
typename TB>
4078 bool &HadTheAttribute,
bool warn) {
4080 HadTheAttribute =
false;
4083 if (TB *ObjCBAttr = getObjCBridgeAttr<TB>(TD)) {
4085 HadTheAttribute =
true;
4086 if (Parm->isStr(
"id"))
4098 castExpr->getType()->getAsObjCInterfacePointerType()) {
4100 = InterfacePointerType->getObjectType()->getInterface();
4101 if ((CastClass == ExprClass) ||
4106 diag::warn_objc_invalid_bridge_to_cf)
4107 <<
castExpr->getType()->getPointeeType() <<
T;
4111 }
else if (
castExpr->getType()->isObjCIdType() ||
4121 diag::warn_objc_invalid_bridge_to_cf)
4122 <<
castExpr->getType() << castType;
4124 S.
Diag(
Target->getBeginLoc(), diag::note_declared_at);
4131 diag::err_objc_ns_bridged_invalid_cfobject)
4132 <<
castExpr->getType() << castType;
4135 S.
Diag(
Target->getBeginLoc(), diag::note_declared_at);
4152 bool HasObjCBridgeAttr;
4153 bool ObjCBridgeAttrWillNotWarn = CheckObjCBridgeNSCast<ObjCBridgeAttr>(
4155 if (ObjCBridgeAttrWillNotWarn && HasObjCBridgeAttr)
4157 bool HasObjCBridgeMutableAttr;
4158 bool ObjCBridgeMutableAttrWillNotWarn =
4159 CheckObjCBridgeNSCast<ObjCBridgeMutableAttr>(
4161 if (ObjCBridgeMutableAttrWillNotWarn && HasObjCBridgeMutableAttr)
4164 if (HasObjCBridgeAttr)
4166 HasObjCBridgeAttr,
true);
4167 else if (HasObjCBridgeMutableAttr)
4168 CheckObjCBridgeNSCast<ObjCBridgeMutableAttr>(
4172 bool HasObjCBridgeAttr;
4173 bool ObjCBridgeAttrWillNotWarn = CheckObjCBridgeCFCast<ObjCBridgeAttr>(
4175 if (ObjCBridgeAttrWillNotWarn && HasObjCBridgeAttr)
4177 bool HasObjCBridgeMutableAttr;
4178 bool ObjCBridgeMutableAttrWillNotWarn =
4179 CheckObjCBridgeCFCast<ObjCBridgeMutableAttr>(
4181 if (ObjCBridgeMutableAttrWillNotWarn && HasObjCBridgeMutableAttr)
4184 if (HasObjCBridgeAttr)
4186 HasObjCBridgeAttr,
true);
4187 else if (HasObjCBridgeMutableAttr)
4188 CheckObjCBridgeCFCast<ObjCBridgeMutableAttr>(
4196 if (PRE->isExplicitProperty()) {
4198 SrcType = PDecl->getType();
4200 else if (PRE->isImplicitProperty()) {
4202 SrcType = Getter->getReturnType();
4225 : CK_CPointerToObjCPointerCast;
4237 QualType T = CfToNs ? SrcType : DestType;
4253 Diag(
Loc, diag::err_objc_bridged_related_invalid_class) << RCId
4254 << SrcType << DestType;
4261 RelatedClass = cast<ObjCInterfaceDecl>(
Target);
4264 Diag(
Loc, diag::err_objc_bridged_related_invalid_class_name) << RCId
4265 << SrcType << DestType;
4268 Diag(
Target->getBeginLoc(), diag::note_declared_at);
4274 if (CfToNs && CMId) {
4279 Diag(
Loc, diag::err_objc_bridged_related_known_method)
4280 << SrcType << DestType << Sel <<
false;
4288 if (!CfToNs && IMId) {
4290 InstanceMethod = RelatedClass->
lookupMethod(Sel,
true);
4291 if (!InstanceMethod) {
4293 Diag(
Loc, diag::err_objc_bridged_related_known_method)
4294 << SrcType << DestType << Sel <<
true;
4313 if (!CfToNs && !NsToCf)
4321 ClassMethod, InstanceMethod, TDNDecl,
4329 std::string ExpressionString =
"[";
4331 ExpressionString +=
" ";
4332 ExpressionString += ClassMethod->getSelector().getAsString();
4336 Diag(
Loc, diag::err_objc_bridged_related_known_method)
4337 << SrcType << DestType << ClassMethod->getSelector() <<
false
4346 Expr *args[] = { SrcExpr };
4348 ClassMethod->getLocation(),
4349 ClassMethod->getSelector(), ClassMethod,
4351 SrcExpr = msg.
get();
4358 if (InstanceMethod) {
4360 std::string ExpressionString;
4363 if (InstanceMethod->isPropertyAccessor())
4365 InstanceMethod->findPropertyDecl()) {
4367 ExpressionString =
".";
4368 ExpressionString += PDecl->getNameAsString();
4369 Diag(
Loc, diag::err_objc_bridged_related_known_method)
4370 << SrcType << DestType << InstanceMethod->getSelector() <<
true
4373 if (ExpressionString.empty()) {
4375 ExpressionString =
" ";
4376 ExpressionString += InstanceMethod->getSelector().getAsString();
4377 ExpressionString +=
"]";
4379 Diag(
Loc, diag::err_objc_bridged_related_known_method)
4380 << SrcType << DestType << InstanceMethod->getSelector() <<
true
4388 SrcExpr, SrcType, InstanceMethod->getLocation(),
4389 InstanceMethod->getSelector(), InstanceMethod, std::nullopt);
4390 SrcExpr = msg.
get();
4401 bool Diagnose,
bool DiagnoseCFAudited,
4414 if (exprACTC == castACTC) {
4420 castType != castExprType) {
4426 if (
const ParenType *PT = dyn_cast<ParenType>(DT))
4427 QDT = PT->desugar();
4428 else if (
const TypeOfType *TP = dyn_cast<TypeOfType>(DT))
4429 QDT = TP->desugar();
4430 else if (
const AttributedType *AT = dyn_cast<AttributedType>(DT))
4431 QDT = AT->desugar();
4432 if (QDT != castType &&
4437 Diag(loc, diag::err_arc_nolifetime_behavior);
4471 switch (ARCCastChecker(Context, exprACTC, castACTC,
false).Visit(
castExpr)) {
4484 CK_ARCConsumeObject,
castExpr,
nullptr,
4511 (Opc == BO_NE || Opc == BO_EQ))) {
4533 castType =
cast->getTypeAsWritten();
4536 castRange =
cast->getTypeInfoAsWritten()->getTypeLoc().getSourceRange();
4537 castType =
cast->getTypeAsWritten();
4540 llvm_unreachable(
"Unexpected ImplicitCastExpr");
4559 if (
ParenExpr *pe = dyn_cast<ParenExpr>(e)) {
4561 return new (Context)
ParenExpr(pe->getLParen(), pe->getRParen(), sub);
4562 }
else if (
UnaryOperator *uo = dyn_cast<UnaryOperator>(e)) {
4563 assert(uo->getOpcode() == UO_Extension);
4567 uo->getOperatorLoc(),
false,
4570 assert(!gse->isResultDependent());
4571 assert(!gse->isTypePredicate());
4573 unsigned n = gse->getNumAssocs();
4576 subExprs.reserve(n);
4577 subTypes.reserve(n);
4579 subTypes.push_back(assoc.getTypeSourceInfo());
4580 Expr *sub = assoc.getAssociationExpr();
4581 if (assoc.isSelected())
4583 subExprs.push_back(sub);
4587 Context, gse->getGenericLoc(), gse->getControllingExpr(), subTypes,
4588 subExprs, gse->getDefaultLoc(), gse->getRParenLoc(),
4589 gse->containsUnexpandedParameterPack(), gse->getResultIndex());
4591 assert(isa<ImplicitCastExpr>(e) &&
"bad form of unbridged cast!");
4592 return cast<ImplicitCastExpr>(e)->getSubExpr();
4603 if (isa<ObjCObjectPointerType>(canCastType) &&
4609 return !ObjI->isArcWeakrefUnavailable();
4616 Expr *curExpr = e, *prevExpr =
nullptr;
4621 if (
auto *pe = dyn_cast<ParenExpr>(curExpr)) {
4623 curExpr = pe->getSubExpr();
4627 if (
auto *ce = dyn_cast<CastExpr>(curExpr)) {
4628 if (
auto *ice = dyn_cast<ImplicitCastExpr>(ce))
4629 if (ice->getCastKind() == CK_ARCReclaimReturnedObject) {
4631 return ice->getSubExpr();
4632 if (
auto *pe = dyn_cast<ParenExpr>(prevExpr))
4633 pe->setSubExpr(ice->getSubExpr());
4635 cast<CastExpr>(prevExpr)->setSubExpr(ice->getSubExpr());
4640 curExpr = ce->getSubExpr();
4659 SubExpr = SubResult.
get();
4666 bool MustConsume =
false;
4673 : CK_CPointerToObjCPointerCast);
4680 Diag(BridgeKeywordLoc, diag::err_arc_bridge_cast_wrong_kind)
4687 Diag(BridgeKeywordLoc, diag::note_arc_bridge)
4689 Diag(BridgeKeywordLoc, diag::note_arc_bridge_transfer)
4692 br ?
"CFBridgingRelease "
4693 :
"__bridge_transfer ");
4723 Diag(BridgeKeywordLoc, diag::err_arc_bridge_cast_wrong_kind)
4731 Diag(BridgeKeywordLoc, diag::note_arc_bridge)
4733 Diag(BridgeKeywordLoc, diag::note_arc_bridge_retained)
4736 br ?
"CFBridgingRetain " :
"__bridge_retained");
4743 Diag(LParenLoc, diag::err_arc_bridge_cast_incompatible)
4744 << FromType <<
T << Kind
4802 LookForIvars =
true;
4803 else if (IsClassMethod)
4804 LookForIvars =
false;
4815 if (IsClassMethod) {
4836 Diag(
Loc, diag::warn_ivar_use_hidden) << IV->getDeclName();
4844 Diag(
Loc, diag::err_ivar_use_in_class_method) << IV->getDeclName();
4855 bool AllowBuiltinCreation) {
4862 cast<ObjCIvarDecl>(Ivar.
get()));
4864 if (Lookup.
empty() && II && AllowBuiltinCreation)
4876 "should not reference ivar from this context");
4879 assert(IFace &&
"should not reference ivar from this context");
4944 CK_CPointerToObjCPointerCast);
4950 CK_CPointerToObjCPointerCast);
4957 CK_CPointerToObjCPointerCast);
4963 CK_CPointerToObjCPointerCast);
5011 RHSOPT->isObjCQualifiedIdType()) &&
5022 Diag(QuestionLoc, diag::ext_typecheck_cond_incompatible_operands)
5033 return compositeType;
5040 Diag(QuestionLoc, diag::err_cond_voidptr_arc)
5061 Diag(QuestionLoc, diag::err_cond_voidptr_arc)
5096 if (OV->getSourceExpr())
5099 if (
auto *SL = dyn_cast<StringLiteral>(SrcExpr)) {
5100 if (!PT->
isObjCIdType() && !(ID && ID->getIdentifier()->isStr(
"NSString")))
5102 if (!SL->isOrdinary())
5106 Diag(SL->getBeginLoc(), diag::err_missing_atsign_prefix)
5113 if ((isa<IntegerLiteral>(SrcExpr) || isa<CharacterLiteral>(SrcExpr) ||
5114 isa<FloatingLiteral>(SrcExpr) || isa<ObjCBoolLiteralExpr>(SrcExpr) ||
5115 isa<CXXBoolLiteralExpr>(SrcExpr)) &&
5118 if (!ID || !ID->getIdentifier()->isStr(
"NSNumber"))
5138 assert((Kind == tok::kw___objc_yes || Kind == tok::kw___objc_no) &&
5139 "Unknown Objective-C Boolean value!");
5146 Result.isSingleResult()) {
5154 return new (Context)
5162 auto FindSpecVersion =
5163 [&](StringRef Platform) -> std::optional<VersionTuple> {
5169 if (Spec == AvailSpecs.end() && Platform ==
"maccatalyst") {
5174 if (Spec == AvailSpecs.end())
5175 return std::nullopt;
5179 VersionTuple Version;
5180 if (
auto MaybeVersion =
5182 Version = *MaybeVersion;
5187 Context->HasPotentialAvailabilityViolations =
true;
5189 return new (Context)
5197 if (
type->isObjCObjectPointerType()) {
5199 }
else if (
type->isBlockPointerType()) {
5201 return CK_BlockPointerToObjCPointerCast;
5203 assert(
type->isPointerType());
5204 return CK_CPointerToObjCPointerCast;
5213 case Stmt::ObjCStringLiteralClass:
5216 case Stmt::ObjCArrayLiteralClass:
5219 case Stmt::ObjCDictionaryLiteralClass:
5222 case Stmt::BlockExprClass:
5224 case Stmt::ObjCBoxedExprClass: {
5225 Expr *Inner = cast<ObjCBoxedExpr>(FromE)->getSubExpr()->IgnoreParens();
5226 switch (Inner->getStmtClass()) {
5227 case Stmt::IntegerLiteralClass:
5228 case Stmt::FloatingLiteralClass:
5229 case Stmt::CharacterLiteralClass:
5230 case Stmt::ObjCBoolLiteralExprClass:
5231 case Stmt::CXXBoolLiteralExprClass:
5234 case Stmt::ImplicitCastExprClass: {
5235 CastKind CK = cast<CastExpr>(Inner)->getCastKind();
5237 if (CK == CK_IntegralToBoolean || CK == CK_IntegralCast)
Defines the clang::ASTContext interface.
static StringRef bytes(const std::vector< T, Allocator > &v)
Defines enum values for all the target-independent builtin functions.
static DiagnosticBuilder Diag(DiagnosticsEngine *Diags, const LangOptions &Features, FullSourceLoc TokLoc, const char *TokBegin, const char *TokRangeBegin, const char *TokRangeEnd, unsigned DiagID)
Produce a diagnostic highlighting some portion of a literal.
llvm::MachO::Target Target
Defines the clang::Preprocessor interface.
static bool CheckObjCBridgeNSCast(Sema &S, QualType castType, Expr *castExpr, bool &HadTheAttribute, bool warn)
static ObjCMethodDecl * getNSNumberFactoryMethod(SemaObjC &S, SourceLocation Loc, QualType NumberType, bool isLiteral=false, SourceRange R=SourceRange())
Retrieve the NSNumber factory method that should be used to create an Objective-C literal for the giv...
static QualType stripObjCInstanceType(ASTContext &Context, QualType T)
static void diagnoseObjCARCConversion(Sema &S, SourceRange castRange, QualType castType, ARCConversionTypeClass castACTC, Expr *castExpr, Expr *realCast, ARCConversionTypeClass exprACTC, CheckedConversionKind CCK)
static ObjCInterfaceDecl * LookupObjCInterfaceDeclForLiteral(Sema &S, SourceLocation Loc, SemaObjC::ObjCLiteralKind LiteralKind)
Looks up ObjCInterfaceDecl of a given NSClassIdKindKind.
static ObjCMethodDecl * findMethodInCurrentClass(Sema &S, Selector Sel)
static void checkCocoaAPI(Sema &S, const ObjCMessageExpr *Msg)
static ObjCMethodDecl * LookupDirectMethodInGlobalPool(Sema &S, Selector Sel, bool &onlyDirect, bool &anyDirect)
static Expr * maybeUndoReclaimObject(Expr *e)
Look for an ObjCReclaimReturnedObject cast and destroy it.
static bool CheckObjCBridgeCFCast(Sema &S, QualType castType, Expr *castExpr, bool &HadTheAttribute, bool warn)
static void CheckObjCDictionaryLiteralDuplicateKeys(Sema &S, ObjCDictionaryLiteral *Literal)
Check for duplicate keys in an ObjC dictionary literal.
static bool ValidateObjCLiteralInterfaceDecl(Sema &S, ObjCInterfaceDecl *Decl, SourceLocation Loc, SemaObjC::ObjCLiteralKind LiteralKind)
Validates ObjCInterfaceDecl availability.
static NSAPI::NSClassIdKindKind ClassKindFromLiteralKind(SemaObjC::ObjCLiteralKind LiteralKind)
Maps ObjCLiteralKind to NSClassIdKindKind.
static bool isAnyCLike(ARCConversionTypeClass ACTC)
static void DiagnoseMismatchedSelectors(Sema &S, SourceLocation AtLoc, ObjCMethodDecl *Method, SourceLocation LParenLoc, SourceLocation RParenLoc, bool WarnMultipleSelectors)
static bool HelperToDiagnoseMismatchedMethodsInGlobalPool(Sema &S, SourceLocation AtLoc, SourceLocation LParenLoc, SourceLocation RParenLoc, ObjCMethodDecl *Method, ObjCMethodList &MethList)
static void applyCocoaAPICheck(Sema &S, const ObjCMessageExpr *Msg, unsigned DiagID, bool(*refactor)(const ObjCMessageExpr *, const NSAPI &, edit::Commit &))
static ObjCMethodDecl * LookupDirectMethodInMethodList(Sema &S, Selector Sel, ObjCMethodList &MethList, bool &onlyDirect, bool &anyDirect)
static ObjCBridgeRelatedAttr * ObjCBridgeRelatedAttrFromType(QualType T, TypedefNameDecl *&TDNDecl)
static T * getObjCBridgeAttr(const TypedefType *TD)
static ARCConversionTypeClass classifyTypeForARCConversion(QualType type)
static bool isAnyRetainable(ARCConversionTypeClass ACTC)
static void RemoveSelectorFromWarningCache(SemaObjC &S, Expr *Arg)
@ ACTC_voidPtr
void* might be a normal C type, or it might a CF type.
@ ACTC_retainable
id, void (^)()
@ ACTC_coreFoundation
struct A*
@ ACTC_indirectRetainable
id*, id***, void (^*)(),
@ ACTC_none
int, void, struct A
static QualType getBaseMessageSendResultType(Sema &S, QualType ReceiverType, ObjCMethodDecl *Method, bool isClassMessage, bool isSuperMessage)
Determine the result type of a message send based on the receiver type, method, and the kind of messa...
static const ObjCMethodDecl * findExplicitInstancetypeDeclarer(const ObjCMethodDecl *MD, QualType instancetype)
Look for an ObjC method whose result type exactly matches the given type.
static void DiagnoseCStringFormatDirectiveInObjCAPI(Sema &S, ObjCMethodDecl *Method, Selector Sel, Expr **Args, unsigned NumArgs)
Diagnose use of s directive in an NSString which is being passed as formatting string to formatting m...
static bool isMethodDeclaredInRootProtocol(Sema &S, const ObjCMethodDecl *M)
static bool validateBoxingMethod(Sema &S, SourceLocation Loc, const ObjCInterfaceDecl *Class, Selector Sel, const ObjCMethodDecl *Method)
Emits an error if the given method does not exist, or if the return type is not an Objective-C object...
static void checkFoundationAPI(Sema &S, SourceLocation Loc, const ObjCMethodDecl *Method, ArrayRef< Expr * > Args, QualType ReceiverType, bool IsClassObjectCall)
static void addFixitForObjCARCConversion(Sema &S, DiagBuilderT &DiagB, CheckedConversionKind CCK, SourceLocation afterLParen, QualType castType, Expr *castExpr, Expr *realCast, const char *bridgeKeyword, const char *CFBridgeName)
static ExprResult CheckObjCCollectionLiteralElement(Sema &S, Expr *Element, QualType T, bool ArrayLiteral=false)
Check that the given expression is a valid element of an Objective-C collection literal.
This file declares semantic analysis for Objective-C.
Defines the clang::TypeLoc interface and its subclasses.
__device__ __2f16 float __ockl_bool s
Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...
SourceManager & getSourceManager()
TranslationUnitDecl * getTranslationUnitDecl() const
const ConstantArrayType * getAsConstantArrayType(QualType T) const
QualType getAttributedType(attr::Kind attrKind, QualType modifiedType, QualType equivalentType) const
void setObjCConstantStringInterface(ObjCInterfaceDecl *Decl)
QualType areCommonBaseCompatible(const ObjCObjectPointerType *LHSOPT, const ObjCObjectPointerType *RHSOPT)
QualType getObjCInterfaceType(const ObjCInterfaceDecl *Decl, ObjCInterfaceDecl *PrevDecl=nullptr) const
getObjCInterfaceType - Return the unique reference to the type for the specified ObjC interface decl.
bool ObjCQualifiedIdTypesAreCompatible(const ObjCObjectPointerType *LHS, const ObjCObjectPointerType *RHS, bool ForCompare)
ObjCQualifiedIdTypesAreCompatible - We know that one of lhs/rhs is an ObjCQualifiedIDType.
void getObjCEncodingForType(QualType T, std::string &S, const FieldDecl *Field=nullptr, QualType *NotEncodedT=nullptr) const
Emit the Objective-CC type encoding for the given type T into S.
CanQualType getCanonicalType(QualType T) const
Return the canonical (structural) type corresponding to the specified potentially non-canonical type ...
void setObjCNSStringType(QualType T)
bool hasSameType(QualType T1, QualType T2) const
Determine whether the given types T1 and T2 are equivalent.
QualType getObjCSelRedefinitionType() const
Retrieve the type that 'SEL' has been defined to, which may be different from the built-in 'SEL' if '...
QualType getPointerType(QualType T) const
Return the uniqued reference to the type for a pointer to the specified type.
bool canAssignObjCInterfaces(const ObjCObjectPointerType *LHSOPT, const ObjCObjectPointerType *RHSOPT)
canAssignObjCInterfaces - Return true if the two interface types are compatible for assignment from R...
bool isObjCSelType(QualType T) const
bool QIdProtocolsAdoptObjCObjectProtocols(QualType QT, ObjCInterfaceDecl *IDecl)
QIdProtocolsAdoptObjCObjectProtocols - Checks that protocols in QT's qualified-id protocol list adopt...
QualType getTypeDeclType(const TypeDecl *Decl, const TypeDecl *PrevDecl=nullptr) const
Return the unique reference to the type for the specified type declaration.
QualType getConstantArrayType(QualType EltTy, const llvm::APInt &ArySize, const Expr *SizeExpr, ArraySizeModifier ASM, unsigned IndexTypeQuals) const
Return the unique reference to the type for a constant array of the specified element type.
SelectorTable & Selectors
TypedefDecl * getBOOLDecl() const
Retrieve declaration of 'BOOL' typedef.
QualType getObjCInstanceType()
Retrieve the Objective-C "instancetype" type, if already known; otherwise, returns a NULL type;.
QualType getObjCProtoType() const
Retrieve the type of the Objective-C Protocol class.
CanQualType ObjCBuiltinIdTy
void setBOOLDecl(TypedefDecl *TD)
Save declaration of 'BOOL' typedef.
QualType getObjCSelType() const
Retrieve the type that corresponds to the predefined Objective-C 'SEL' type.
CanQualType UnsignedLongTy
TypeSourceInfo * getTrivialTypeSourceInfo(QualType T, SourceLocation Loc=SourceLocation()) const
Allocate a TypeSourceInfo where all locations have been initialized to a given location,...
QualType getStringLiteralArrayType(QualType EltTy, unsigned Length) const
Return a type for a constant array for a string literal of the specified element type and length.
QualType getBOOLType() const
type of 'BOOL' type.
CanQualType PseudoObjectTy
QualType getQualifiedType(SplitQualType split) const
Un-split a SplitQualType.
QualType getObjCObjectPointerType(QualType OIT) const
Return a ObjCObjectPointerType type for the given ObjCObjectType.
CanQualType ObjCBuiltinBoolTy
QualType getObjCObjectType(QualType Base, ObjCProtocolDecl *const *Protocols, unsigned NumProtocols) const
Legacy interface: cannot provide type arguments or __kindof.
static bool isObjCNSObjectType(QualType Ty)
Return true if this is an NSObject object with its NSObject attribute set.
QualType getObjCIdType() const
Represents the Objective-CC id type.
bool hasSameUnqualifiedType(QualType T1, QualType T2) const
Determine whether the given types are equivalent after cvr-qualifiers have been removed.
QualType getObjCClassRedefinitionType() const
Retrieve the type that Class has been defined to, which may be different from the built-in Class if C...
bool ObjCObjectAdoptsQTypeProtocols(QualType QT, ObjCInterfaceDecl *Decl)
ObjCObjectAdoptsQTypeProtocols - Checks that protocols in IC's protocol list adopt all protocols in Q...
QualType getObjCConstantStringInterface() const
QualType getObjCIdRedefinitionType() const
Retrieve the type that id has been defined to, which may be different from the built-in id if id has ...
const TargetInfo & getTargetInfo() const
QualType getObjCNSStringType() const
QualType getWideCharType() const
Return the type of wide characters.
Represents an array type, per C99 6.7.5.2 - Array Declarators.
ArraySizeModifier getSizeModifier() const
QualType getElementType() const
unsigned getIndexTypeCVRQualifiers() const
An attributed type is a type to which a type attribute has been applied.
static Kind getNullabilityAttrKind(NullabilityKind kind)
Retrieve the attribute kind corresponding to the given nullability kind.
static std::optional< NullabilityKind > stripOuterNullability(QualType &T)
Strip off the top-level nullability annotation on the given type, if it's there.
One specifier in an @available expression.
StringRef getPlatform() const
VersionTuple getVersion() const
A builtin binary operation expression such as "x + y" or "x <= y".
Represents a block literal declaration, which is like an unnamed FunctionDecl.
CStyleCastExpr - An explicit cast in C (C99 6.5.4) or a C-style cast in C++ (C++ [expr....
Abstract class common to all of the C++ "named"/"keyword" casts.
Represents a C++ nested-name-specifier or a global scope specifier.
CallExpr - Represents a function call (C99 6.5.2.2, C++ [expr.call]).
FunctionDecl * getDirectCallee()
If the callee is a FunctionDecl, return it. Otherwise return null.
QualType withConst() const
Retrieves a version of this type with const applied.
CanQual< T > getUnqualifiedType() const
Retrieve the unqualified form of this type.
CastExpr - Base class for type casts, including both implicit casts (ImplicitCastExpr) and explicit c...
CastKind getCastKind() const
void setExprNeedsCleanups(bool SideEffects)
ConditionalOperator - The ?: ternary operator.
Expr * getFalseExpr() const
getFalseExpr - Return the subexpression representing the value of the expression if the condition eva...
Expr * getTrueExpr() const
getTrueExpr - Return the subexpression representing the value of the expression if the condition eval...
Represents the canonical version of C arrays with a specified constant size.
Base class for callback objects used by Sema::CorrectTypo to check the validity of a potential typo c...
DeclContext - This is used only as base class of specific decl types that can act as declaration cont...
Decl * getNonClosureAncestor()
Find the nearest non-closure ancestor of this context, i.e.
const BlockDecl * getInnermostBlockDecl() const
Return this DeclContext if it is a BlockDecl.
Simple template class for restricting typo correction candidates to ones having a single Decl* of the...
A reference to a declared variable, function, enum, etc.
Decl - This represents one declaration (or definition), e.g.
bool isImplicit() const
isImplicit - Indicates whether the declaration was implicitly generated by the implementation.
bool isInvalidDecl() const
llvm::iterator_range< specific_attr_iterator< T > > specific_attrs() const
SourceLocation getLocation() const
bool isDefinedOutsideFunctionOrMethod() const
isDefinedOutsideFunctionOrMethod - This predicate returns true if this scoped decl is defined outside...
DeclContext * getDeclContext()
SourceLocation getBeginLoc() const LLVM_READONLY
The name of a declaration.
IdentifierInfo * getAsIdentifierInfo() const
Retrieve the IdentifierInfo * stored in this declaration name, or null if this declaration name isn't...
bool isIdentifier() const
Predicate functions for querying what type of name this is.
bool isIgnored(unsigned DiagID, SourceLocation Loc) const
Determine whether the diagnostic is known to be ignored.
A helper class that allows the use of isa/cast/dyncast to detect TagType objects of enums.
ExplicitCastExpr - An explicit cast written in the source code.
This represents one expression.
bool EvaluateAsInt(EvalResult &Result, const ASTContext &Ctx, SideEffectsKind AllowSideEffects=SE_NoSideEffects, bool InConstantContext=false) const
EvaluateAsInt - Return true if this is a constant which we can fold and convert to an integer,...
Expr * IgnoreParenNoopCasts(const ASTContext &Ctx) LLVM_READONLY
Skip past any parentheses and casts which do not change the value (including ptr->int casts of the sa...
@ SE_AllowSideEffects
Allow any unmodeled side effect.
Expr * IgnoreParenCasts() LLVM_READONLY
Skip past any parentheses and casts which might surround this expression until reaching a fixed point...
ExprValueKind getValueKind() const
getValueKind - The value kind that this expression produces.
bool isTypeDependent() const
Determines whether the type of this expression depends on.
Expr * IgnoreParenLValueCasts() LLVM_READONLY
Skip past any parentheses and lvalue casts which might surround this expression until reaching a fixe...
Expr * IgnoreParenImpCasts() LLVM_READONLY
Skip past any parentheses and implicit casts which might surround this expression until reaching a fi...
bool isObjCSelfExpr() const
Check if this expression is the ObjC 'self' implicit parameter.
Expr * IgnoreParens() LLVM_READONLY
Skip past any parentheses which might surround this expression until reaching a fixed point.
@ NPC_ValueDependentIsNull
Specifies that a value-dependent expression of integral or dependent type should be considered a null...
@ NPC_NeverValueDependent
Specifies that the expression should never be value-dependent.
@ NPC_ValueDependentIsNotNull
Specifies that a value-dependent expression should be considered to never be a null pointer constant.
ExprObjectKind getObjectKind() const
getObjectKind - The object kind that this expression produces.
Expr * IgnoreImpCasts() LLVM_READONLY
Skip past any implicit casts which might surround this expression until reaching a fixed point.
NullPointerConstantKind isNullPointerConstant(ASTContext &Ctx, NullPointerConstantValueDependence NPC) const
isNullPointerConstant - C99 6.3.2.3p3 - Test if this reduces down to a Null pointer constant.
SourceLocation getExprLoc() const LLVM_READONLY
getExprLoc - Return the preferred location for the arrow when diagnosing a problem with a generic exp...
bool hasPlaceholderType() const
Returns whether this expression has a placeholder type.
static ExprValueKind getValueKindForType(QualType T)
getValueKindForType - Given a formal return or parameter type, give its value kind.
Represents difference between two FPOptions values.
static FixItHint CreateInsertionFromRange(SourceLocation InsertionLoc, CharSourceRange FromRange, bool BeforePreviousInsertions=false)
Create a code modification hint that inserts the given code from FromRange at a specific location.
static FixItHint CreateReplacement(CharSourceRange RemoveRange, StringRef Code)
Create a code modification hint that replaces the given source range with the given code string.
static FixItHint CreateRemoval(CharSourceRange RemoveRange)
Create a code modification hint that removes the given source range.
static FixItHint CreateInsertion(SourceLocation InsertionLoc, StringRef Code, bool BeforePreviousInsertions=false)
Create a code modification hint that inserts the given code string at a specific location.
Represents a function declaration or definition.
unsigned getBuiltinID(bool ConsiderWrapperFunctions=false) const
Returns a value indicating whether this function corresponds to a builtin function.
QualType getReturnType() const
Represents a C11 generic selection.
AssociationTy< false > Association
static GenericSelectionExpr * Create(const ASTContext &Context, SourceLocation GenericLoc, Expr *ControllingExpr, ArrayRef< TypeSourceInfo * > AssocTypes, ArrayRef< Expr * > AssocExprs, SourceLocation DefaultLoc, SourceLocation RParenLoc, bool ContainsUnexpandedParameterPack, unsigned ResultIndex)
Create a non-result-dependent generic selection expression accepting an expression predicate.
One of these records is kept for each identifier that is lexed.
bool isStr(const char(&Str)[StrLen]) const
Return true if this is the identifier for the specified string.
StringRef getName() const
Return the actual identifier string.
IdentifierInfo & get(StringRef Name)
Return the identifier token info for the specified named identifier.
static ImplicitCastExpr * Create(const ASTContext &Context, QualType T, CastKind Kind, Expr *Operand, const CXXCastPath *BasePath, ExprValueKind Cat, FPOptionsOverride FPO)
Describes the kind of initialization being performed, along with location information for tokens rela...
static InitializationKind CreateCopy(SourceLocation InitLoc, SourceLocation EqualLoc, bool AllowExplicitConvs=false)
Create a copy initialization.
Describes the sequence of initializations required to initialize a given object or reference with a s...
Describes an entity that is being initialized.
static InitializedEntity InitializeTemporary(QualType Type)
Create the initialization entity for a temporary.
static InitializedEntity InitializeParameter(ASTContext &Context, ParmVarDecl *Parm)
Create the initialization entity for a parameter.
static bool isAsciiIdentifierContinueChar(char c, const LangOptions &LangOpts)
Returns true if the given character could appear in an identifier.
Represents the results of name lookup.
@ FoundOverloaded
Name lookup found a set of overloaded functions that met the criteria.
@ FoundUnresolvedValue
Name lookup found an unresolvable value declaration and cannot yet complete.
@ Ambiguous
Name lookup results in an ambiguity; use getAmbiguityKind to figure out what kind of ambiguity we hav...
@ NotFound
No entity found met the criteria.
@ NotFoundInCurrentInstantiation
No entity found met the criteria within the current instantiation,, but there were dependent base cla...
@ Found
Name lookup found a single declaration that met the criteria.
bool empty() const
Return true if no decls were found.
SourceLocation getNameLoc() const
Gets the location of the identifier.
NamedDecl * getFoundDecl() const
Fetch the unique decl found by this lookup.
bool isSingleResult() const
Determines if this names a single result which is not an unresolved value using decl.
@ NSDict_dictionaryWithObjectsForKeysCount
@ NSArr_arrayWithObjectsCount
This represents a decl that may have a name.
StringRef getName() const
Get the name of identifier for this declaration as a StringRef.
DeclarationName getDeclName() const
Get the actual, stored name of the declaration, which may be a special name.
std::string getNameAsString() const
Get a human-readable name for the declaration, even if it is one of the special kinds of names (C++ c...
static ObjCArrayLiteral * Create(const ASTContext &C, ArrayRef< Expr * > Elements, QualType T, ObjCMethodDecl *Method, SourceRange SR)
A runtime availability query.
ObjCBoolLiteralExpr - Objective-C Boolean Literal.
ObjCBoxedExpr - used for generalized expression boxing.
An Objective-C "bridged" cast expression, which casts between Objective-C pointers and C pointers,...
ObjCCategoryImplDecl - An object of this class encapsulates a category @implementation declaration.
ObjCContainerDecl - Represents a container for method declarations.
ObjCMethodDecl * getMethod(Selector Sel, bool isInstance, bool AllowHidden=false) const
ObjCPropertyDecl * FindPropertyDeclaration(const IdentifierInfo *PropertyId, ObjCPropertyQueryKind QueryKind) const
FindPropertyDeclaration - Finds declaration of the property given its name in 'PropertyId' and return...
ObjCDictionaryLiteral - AST node to represent objective-c dictionary literals; as in:"name" : NSUserN...
static ObjCDictionaryLiteral * Create(const ASTContext &C, ArrayRef< ObjCDictionaryElement > VK, bool HasPackExpansions, QualType T, ObjCMethodDecl *method, SourceRange SR)
ObjCEncodeExpr, used for @encode in Objective-C.
Represents an ObjC class declaration.
ObjCMethodDecl * lookupClassMethod(Selector Sel) const
Lookup a class method for a given selector.
static ObjCInterfaceDecl * Create(const ASTContext &C, DeclContext *DC, SourceLocation atLoc, const IdentifierInfo *Id, ObjCTypeParamList *typeParamList, ObjCInterfaceDecl *PrevDecl, SourceLocation ClassLoc=SourceLocation(), bool isInternal=false)
ObjCIvarDecl * lookupInstanceVariable(IdentifierInfo *IVarName, ObjCInterfaceDecl *&ClassDeclared)
ObjCMethodDecl * lookupInstanceMethod(Selector Sel) const
Lookup an instance method for a given selector.
ObjCMethodDecl * lookupPrivateClassMethod(const Selector &Sel)
ObjCMethodDecl * getCategoryClassMethod(Selector Sel) const
ObjCMethodDecl * lookupPrivateMethod(const Selector &Sel, bool Instance=true) const
Lookup a method in the classes implementation hierarchy.
ObjCMethodDecl * lookupMethod(Selector Sel, bool isInstance, bool shallowCategoryLookup=false, bool followSuper=true, const ObjCCategoryDecl *C=nullptr) const
lookupMethod - This method returns an instance/class method by looking in the class,...
ObjCInterfaceDecl * getSuperClass() const
bool isSuperClassOf(const ObjCInterfaceDecl *I) const
isSuperClassOf - Return true if this class is the specified class or is a super class of the specifie...
Interfaces are the core concept in Objective-C for object oriented design.
ObjCInterfaceDecl * getDecl() const
Get the declaration of this interface.
ObjCIvarDecl - Represents an ObjC instance variable.
AccessControl getAccessControl() const
QualType getUsageType(QualType objectType) const
Retrieve the type of this instance variable when viewed as a member of a specific object type.
ObjCIvarRefExpr - A reference to an ObjC instance variable.
An expression that sends a message to the given Objective-C object or class.
static ObjCMessageExpr * Create(const ASTContext &Context, QualType T, ExprValueKind VK, SourceLocation LBracLoc, SourceLocation SuperLoc, bool IsInstanceSuper, QualType SuperType, Selector Sel, ArrayRef< SourceLocation > SelLocs, ObjCMethodDecl *Method, ArrayRef< Expr * > Args, SourceLocation RBracLoc, bool isImplicit)
Create a message send to super.
Selector getSelector() const
const ObjCMethodDecl * getMethodDecl() const
ObjCMethodDecl - Represents an instance or class method declaration.
bool isDesignatedInitializerForTheInterface(const ObjCMethodDecl **InitMethod=nullptr) const
Returns true if the method selector resolves to a designated initializer in the class's interface.
ImplicitParamDecl * getSelfDecl() const
ArrayRef< ParmVarDecl * > parameters() const
unsigned param_size() const
bool isPropertyAccessor() const
void getOverriddenMethods(SmallVectorImpl< const ObjCMethodDecl * > &Overridden) const
Return overridden methods for the given Method.
static ObjCMethodDecl * Create(ASTContext &C, SourceLocation beginLoc, SourceLocation endLoc, Selector SelInfo, QualType T, TypeSourceInfo *ReturnTInfo, DeclContext *contextDecl, bool isInstance=true, bool isVariadic=false, bool isPropertyAccessor=false, bool isSynthesizedAccessorStub=false, bool isImplicitlyDeclared=false, bool isDefined=false, ObjCImplementationControl impControl=ObjCImplementationControl::None, bool HasRelatedResultType=false)
const ObjCPropertyDecl * findPropertyDecl(bool CheckOverrides=true) const
Returns the property associated with this method's selector.
QualType getSendResultType() const
Determine the type of an expression that sends a message to this function.
bool hasRelatedResultType() const
Determine whether this method has a result type that is related to the message receiver's type.
SourceLocation getBeginLoc() const LLVM_READONLY
void setMethodParams(ASTContext &C, ArrayRef< ParmVarDecl * > Params, ArrayRef< SourceLocation > SelLocs=std::nullopt)
Sets the method's parameters and selector source locations.
bool isDirectMethod() const
True if the method is tagged as objc_direct.
Selector getSelector() const
SourceRange getSourceRange() const override LLVM_READONLY
Source range that this declaration covers.
bool isInstanceMethod() const
ObjCMethodFamily getMethodFamily() const
Determines the family of this method.
QualType getReturnType() const
ObjCImplementationControl getImplementationControl() const
bool isClassMethod() const
ObjCInterfaceDecl * getClassInterface()
Represents a pointer to an Objective C object.
bool isObjCQualifiedIdType() const
True if this is equivalent to 'id.
bool isObjCIdType() const
True if this is equivalent to the 'id' type, i.e.
QualType getPointeeType() const
Gets the type pointed to by this ObjC pointer.
ObjCInterfaceDecl * getInterfaceDecl() const
If this pointer points to an Objective @interface type, gets the declaration for that interface.
const ObjCInterfaceType * getInterfaceType() const
If this pointer points to an Objective C @interface type, gets the type for that interface.
Represents a class type in Objective C.
ObjCInterfaceDecl * getInterface() const
Gets the interface declaration for this object type, if the base type really is an interface.
Represents one property declaration in an Objective-C interface.
ObjCMethodDecl * getGetterMethodDecl() const
ObjCPropertyRefExpr - A dot-syntax expression to access an ObjC property.
ObjCPropertyDecl * getExplicitProperty() const
ObjCMethodDecl * getImplicitPropertyGetter() const
bool isExplicitProperty() const
Represents an Objective-C protocol declaration.
bool hasDefinition() const
Determine whether this protocol has a definition.
ObjCProtocolDecl * getDefinition()
Retrieve the definition of this protocol, if any.
bool isNonRuntimeProtocol() const
This is true iff the protocol is tagged with the objc_non_runtime_protocol attribute.
ObjCProtocolExpr used for protocol expression in Objective-C.
ObjCSelectorExpr used for @selector in Objective-C.
ObjCStringLiteral, used for Objective-C string literals i.e.
ObjCSubscriptRefExpr - used for array and dictionary subscripting.
OpaqueValueExpr - An expression referring to an opaque object of a fixed type and value class.
ParenExpr - This represents a parethesized expression, e.g.
Sugar for parentheses used when specifying types.
Represents a parameter to a function.
static ParmVarDecl * Create(ASTContext &C, DeclContext *DC, SourceLocation StartLoc, SourceLocation IdLoc, const IdentifierInfo *Id, QualType T, TypeSourceInfo *TInfo, StorageClass S, Expr *DefArg)
PointerType - C99 6.7.5.1 - Pointer Declarators.
QualType getPointeeType() const
IdentifierTable & getIdentifierTable()
SelectorTable & getSelectorTable()
PseudoObjectExpr - An expression which accesses a pseudo-object l-value.
Expr * getResultExpr()
Return the result-bearing expression, or null if there is none.
A (possibly-)qualified type.
bool isTriviallyCopyableType(const ASTContext &Context) const
Return true if this is a trivially copyable type (C++0x [basic.types]p9)
QualType getDesugaredType(const ASTContext &Context) const
Return the specified type with any "sugar" removed from the type.
QualType withConst() const
bool isNull() const
Return true if this QualType doesn't point to a type yet.
const Type * getTypePtr() const
Retrieves a pointer to the underlying (unqualified) type.
Qualifiers getQualifiers() const
Retrieve the set of qualifiers applied to this type.
Qualifiers::ObjCLifetime getObjCLifetime() const
Returns lifetime attribute of this type.
QualType getNonReferenceType() const
If Type is a reference type (e.g., const int&), returns the type that the reference refers to ("const...
bool isConstQualified() const
Determine whether this type is const-qualified.
QualType substObjCTypeArgs(ASTContext &ctx, ArrayRef< QualType > typeArgs, ObjCSubstitutionContext context) const
Substitute type arguments for the Objective-C type parameters used in the subject type.
static std::string getAsString(SplitQualType split, const PrintingPolicy &Policy)
@ OCL_None
There is no lifetime qualification on this type.
@ OCL_Weak
Reading or writing from this object requires a barrier call.
A helper class that allows the use of isa/cast/dyncast to detect TagType objects of structs/unions/cl...
Base for LValueReferenceType and RValueReferenceType.
Scope - A scope is a transient data structure that is used while parsing the program.
static Selector constructSetterSelector(IdentifierTable &Idents, SelectorTable &SelTable, const IdentifierInfo *Name)
Return the default setter selector for the given identifier.
Selector getNullarySelector(const IdentifierInfo *ID)
Selector getSelector(unsigned NumArgs, const IdentifierInfo **IIV)
Can create any sort of selector.
Selector getUnarySelector(const IdentifierInfo *ID)
Smart pointer class that efficiently represents Objective-C method names.
std::string getAsString() const
Derive the full selector name (e.g.
ObjCMethodFamily getMethodFamily() const
Derive the conventional family of this method.
bool isUnarySelector() const
bool isNull() const
Determine whether this is the empty selector.
ObjCStringFormatFamily getStringFormatFamily() const
unsigned getNumArgs() const
SemaDiagnosticBuilder Diag(SourceLocation Loc, unsigned DiagID, bool DeferHint=false)
Emit a diagnostic.
ASTContext & getASTContext() const
const LangOptions & getLangOpts() const
DiagnosticsEngine & getDiagnostics() const
iterator find(Selector Sel)
llvm::DenseMap< Selector, Lists >::iterator iterator
ObjCMessageKind getObjCMessageKind(Scope *S, IdentifierInfo *Name, SourceLocation NameLoc, bool IsSuper, bool HasTrailingDot, ParsedType &ReceiverType)
ObjCMethodDecl * ValueWithBytesObjCTypeMethod
The declaration of the valueWithBytes:objCType: method.
ExprResult BuildObjCDictionaryLiteral(SourceRange SR, MutableArrayRef< ObjCDictionaryElement > Elements)
ExprResult HandleExprPropertyRefExpr(const ObjCObjectPointerType *OPT, Expr *BaseExpr, SourceLocation OpLoc, DeclarationName MemberName, SourceLocation MemberLoc, SourceLocation SuperLoc, QualType SuperType, bool Super)
HandleExprPropertyRefExpr - Handle foo.bar where foo is a pointer to an objective C interface.
ExprResult BuildInstanceMessage(Expr *Receiver, QualType ReceiverType, SourceLocation SuperLoc, Selector Sel, ObjCMethodDecl *Method, SourceLocation LBracLoc, ArrayRef< SourceLocation > SelectorLocs, SourceLocation RBracLoc, MultiExprArg Args, bool isImplicit=false)
Build an Objective-C instance message expression.
const ObjCMethodDecl * SelectorsForTypoCorrection(Selector Sel, QualType ObjectType=QualType())
ExprResult ParseObjCSelectorExpression(Selector Sel, SourceLocation AtLoc, SourceLocation SelLoc, SourceLocation LParenLoc, SourceLocation RParenLoc, bool WarnMultipleSelectors)
ParseObjCSelectorExpression - Build selector expression for @selector.
ARCConversionResult CheckObjCConversion(SourceRange castRange, QualType castType, Expr *&op, CheckedConversionKind CCK, bool Diagnose=true, bool DiagnoseCFAudited=false, BinaryOperatorKind Opc=BO_PtrMemD)
Checks for invalid conversions and casts between retainable pointers and other pointer kinds for ARC ...
ExprResult BuildClassMessage(TypeSourceInfo *ReceiverTypeInfo, QualType ReceiverType, SourceLocation SuperLoc, Selector Sel, ObjCMethodDecl *Method, SourceLocation LBracLoc, ArrayRef< SourceLocation > SelectorLocs, SourceLocation RBracLoc, MultiExprArg Args, bool isImplicit=false)
Build an Objective-C class message expression.
ExprResult BuildObjCNumericLiteral(SourceLocation AtLoc, Expr *Number)
BuildObjCNumericLiteral - builds an ObjCBoxedExpr AST node for the numeric literal expression.
bool AreMultipleMethodsInGlobalPool(Selector Sel, ObjCMethodDecl *BestMethod, SourceRange R, bool receiverIdOrClass, SmallVectorImpl< ObjCMethodDecl * > &Methods)
ObjCMethodDecl * LookupInstanceMethodInGlobalPool(Selector Sel, SourceRange R, bool receiverIdOrClass=false)
LookupInstanceMethodInGlobalPool - Returns the method and warns if there are multiple signatures.
ExprResult ActOnObjCBridgedCast(Scope *S, SourceLocation LParenLoc, ObjCBridgeCastKind Kind, SourceLocation BridgeKeywordLoc, ParsedType Type, SourceLocation RParenLoc, Expr *SubExpr)
ObjCLiteralKind CheckLiteralKind(Expr *FromE)
ExprResult BuildObjCEncodeExpression(SourceLocation AtLoc, TypeSourceInfo *EncodedTypeInfo, SourceLocation RParenLoc)
bool CheckObjCBridgeRelatedConversions(SourceLocation Loc, QualType DestType, QualType SrcType, Expr *&SrcExpr, bool Diagnose=true)
ExprResult BuildObjCArrayLiteral(SourceRange SR, MultiExprArg Elements)
ObjCInterfaceDecl * NSArrayDecl
The declaration of the Objective-C NSArray class.
ExprResult ActOnClassPropertyRefExpr(const IdentifierInfo &receiverName, const IdentifierInfo &propertyName, SourceLocation receiverNameLoc, SourceLocation propertyNameLoc)
void CheckObjCCircularContainer(ObjCMessageExpr *Message)
Check whether receiver is mutable ObjC container which attempts to add itself into the container.
ObjCInterfaceDecl * getObjCInterfaceDecl(const IdentifierInfo *&Id, SourceLocation IdLoc, bool TypoCorrection=false)
Look for an Objective-C class in the translation unit.
ObjCMethodDecl * LookupMethodInObjectType(Selector Sel, QualType Ty, bool IsInstance)
LookupMethodInType - Look up a method in an ObjCObjectType.
bool IvarBacksCurrentMethodAccessor(ObjCInterfaceDecl *IFace, ObjCMethodDecl *Method, ObjCIvarDecl *IV)
IvarBacksCurrentMethodAccessor - This routine returns 'true' if 'IV' is an ivar synthesized for 'Meth...
ExprResult BuildClassMessageImplicit(QualType ReceiverType, bool isSuperReceiver, SourceLocation Loc, Selector Sel, ObjCMethodDecl *Method, MultiExprArg Args)
void CheckObjCBridgeRelatedCast(QualType castType, Expr *castExpr)
ExprResult BuildObjCBoxedExpr(SourceRange SR, Expr *ValueExpr)
BuildObjCBoxedExpr - builds an ObjCBoxedExpr AST node for the '@' prefixed parenthesized expression.
ObjCInterfaceDecl * NSValueDecl
The declaration of the Objective-C NSValue class.
Selector RespondsToSelectorSel
will hold 'respondsToSelector:'
bool MatchTwoMethodDeclarations(const ObjCMethodDecl *Method, const ObjCMethodDecl *PrevMethod, MethodMatchStrategy strategy=MMS_strict)
MatchTwoMethodDeclarations - Checks if two methods' type match and returns true, or false,...
bool CheckMessageArgumentTypes(const Expr *Receiver, QualType ReceiverType, MultiExprArg Args, Selector Sel, ArrayRef< SourceLocation > SelectorLocs, ObjCMethodDecl *Method, bool isClassMessage, bool isSuperMessage, SourceLocation lbrac, SourceLocation rbrac, SourceRange RecRange, QualType &ReturnType, ExprValueKind &VK)
CheckMessageArgumentTypes - Check types in an Obj-C message send.
ObjCInterfaceDecl * NSStringDecl
The declaration of the Objective-C NSString class.
llvm::MapVector< Selector, SourceLocation > ReferencedSelectors
Method selectors used in a @selector expression.
ObjCMethodDecl * LookupFactoryMethodInGlobalPool(Selector Sel, SourceRange R, bool receiverIdOrClass=false)
LookupFactoryMethodInGlobalPool - Returns the method and warns if there are multiple signatures.
ObjCMethodDecl * StringWithUTF8StringMethod
The declaration of the stringWithUTF8String: method.
bool checkInitMethod(ObjCMethodDecl *method, QualType receiverTypeIfCall)
Check whether the given method, which must be in the 'init' family, is a valid member of that family.
QualType FindCompositeObjCPointerType(ExprResult &LHS, ExprResult &RHS, SourceLocation QuestionLoc)
FindCompositeObjCPointerType - Helper method to find composite type of two objective-c pointer types ...
ExprResult BuildObjCStringLiteral(SourceLocation AtLoc, StringLiteral *S)
ObjCInterfaceDecl * NSDictionaryDecl
The declaration of the Objective-C NSDictionary class.
ObjCMethodDecl * ArrayWithObjectsMethod
The declaration of the arrayWithObjects:count: method.
ExprResult ParseObjCEncodeExpression(SourceLocation AtLoc, SourceLocation EncodeLoc, SourceLocation LParenLoc, ParsedType Ty, SourceLocation RParenLoc)
QualType QIDNSCopying
id<NSCopying> type.
bool CheckObjCString(Expr *Arg)
CheckObjCString - Checks that the argument to the builtin CFString constructor is correct Note: It mi...
ExprResult ActOnClassMessage(Scope *S, ParsedType Receiver, Selector Sel, SourceLocation LBracLoc, ArrayRef< SourceLocation > SelectorLocs, SourceLocation RBracLoc, MultiExprArg Args)
void CheckTollFreeBridgeCast(QualType castType, Expr *castExpr)
bool CheckConversionToObjCLiteral(QualType DstType, Expr *&SrcExpr, bool Diagnose=true)
ObjCMethodDecl * tryCaptureObjCSelf(SourceLocation Loc)
Try to capture an implicit reference to 'self'.
ExprResult ParseObjCStringLiteral(SourceLocation *AtLocs, ArrayRef< Expr * > Strings)
ExprResult ActOnObjCBoolLiteral(SourceLocation AtLoc, SourceLocation ValueLoc, bool Value)
ObjCMethodDecl * DictionaryWithObjectsMethod
The declaration of the dictionaryWithObjects:forKeys:count: method.
QualType NSStringPointer
Pointer to NSString type (NSString *).
ExprResult BuildObjCBridgedCast(SourceLocation LParenLoc, ObjCBridgeCastKind Kind, SourceLocation BridgeKeywordLoc, TypeSourceInfo *TSInfo, Expr *SubExpr)
ObjCProtocolDecl * LookupProtocol(IdentifierInfo *II, SourceLocation IdLoc, RedeclarationKind Redecl=RedeclarationKind::NotForRedeclaration)
Find the protocol with the given name, if any.
QualType NSNumberPointer
Pointer to NSNumber type (NSNumber *).
DeclResult LookupIvarInObjCMethod(LookupResult &Lookup, Scope *S, IdentifierInfo *II)
The parser has read a name in, and Sema has detected that we're currently inside an ObjC method.
GlobalMethodPool MethodPool
Method Pool - allows efficient lookup when typechecking messages to "id".
QualType getMessageSendResultType(const Expr *Receiver, QualType ReceiverType, ObjCMethodDecl *Method, bool isClassMessage, bool isSuperMessage)
Determine the result of a message send expression based on the type of the receiver,...
ExprResult ParseObjCProtocolExpression(IdentifierInfo *ProtocolName, SourceLocation AtLoc, SourceLocation ProtoLoc, SourceLocation LParenLoc, SourceLocation ProtoIdLoc, SourceLocation RParenLoc)
ParseObjCProtocolExpression - Build protocol expression for @protocol.
ExprResult BuildInstanceMessageImplicit(Expr *Receiver, QualType ReceiverType, SourceLocation Loc, Selector Sel, ObjCMethodDecl *Method, MultiExprArg Args)
void checkRetainCycles(ObjCMessageExpr *msg)
checkRetainCycles - Check whether an Objective-C message send might create an obvious retain cycle.
ObjCMessageKind
Describes the kind of message expression indicated by a message send that starts with an identifier.
@ ObjCClassMessage
The message is a class message, and the identifier is a type name.
@ ObjCInstanceMessage
The message is an instance message.
@ ObjCSuperMessage
The message is sent to 'super'.
ExprResult LookupInObjCMethod(LookupResult &LookUp, Scope *S, IdentifierInfo *II, bool AllowBuiltinCreation=false)
The parser has read a name in, and Sema has detected that we're currently inside an ObjC method.
QualType NSValuePointer
Pointer to NSValue type (NSValue *).
void EmitRelatedResultTypeNote(const Expr *E)
If the given expression involves a message send to a method with a related result type,...
ExprResult ActOnInstanceMessage(Scope *S, Expr *Receiver, Selector Sel, SourceLocation LBracLoc, ArrayRef< SourceLocation > SelectorLocs, SourceLocation RBracLoc, MultiExprArg Args)
ExprResult BuildIvarRefExpr(Scope *S, SourceLocation Loc, ObjCIvarDecl *IV)
ExprResult ActOnSuperMessage(Scope *S, SourceLocation SuperLoc, Selector Sel, SourceLocation LBracLoc, ArrayRef< SourceLocation > SelectorLocs, SourceLocation RBracLoc, MultiExprArg Args)
CastKind PrepareCastToObjCObjectPointer(ExprResult &E)
Prepare a conversion of the given expression to an ObjC object pointer type.
bool CollectMultipleMethodsInGlobalPool(Selector Sel, SmallVectorImpl< ObjCMethodDecl * > &Methods, bool InstanceFirst, bool CheckTheOther, const ObjCObjectType *TypeBound=nullptr)
We first select the type of the method: Instance or Factory, then collect all methods with that type.
bool checkObjCBridgeRelatedComponents(SourceLocation Loc, QualType DestType, QualType SrcType, ObjCInterfaceDecl *&RelatedClass, ObjCMethodDecl *&ClassMethod, ObjCMethodDecl *&InstanceMethod, TypedefNameDecl *&TDNDecl, bool CfToNs, bool Diagnose=true)
void EmitRelatedResultTypeNoteForReturn(QualType destType)
Given that we had incompatible pointer types in a return statement, check whether we're in a method w...
void diagnoseARCUnbridgedCast(Expr *e)
Given that we saw an expression with the ARCUnbridgedCastTy placeholder type, complain bitterly.
ObjCMethodDecl * LookupMethodInQualifiedType(Selector Sel, const ObjCObjectPointerType *OPT, bool IsInstance)
LookupMethodInQualifiedType - Lookups up a method in protocol qualifier list of a qualified objective...
bool CheckTollFreeBridgeStaticCast(QualType castType, Expr *castExpr, CastKind &Kind)
bool CheckObjCARCUnavailableWeakConversion(QualType castType, QualType ExprType)
bool CheckObjCMethodCall(ObjCMethodDecl *Method, SourceLocation loc, ArrayRef< const Expr * > Args)
Expr * stripARCUnbridgedCast(Expr *e)
stripARCUnbridgedCast - Given an expression of ARCUnbridgedCast type, remove the placeholder cast.
ExprResult BuildObjCSubscriptExpression(SourceLocation RB, Expr *BaseExpr, Expr *IndexExpr, ObjCMethodDecl *getterMethod, ObjCMethodDecl *setterMethod)
Build an ObjC subscript pseudo-object expression, given that that's supported by the runtime.
bool isSelfExpr(Expr *RExpr)
Private Helper predicate to check for 'self'.
ExprResult ActOnObjCAvailabilityCheckExpr(llvm::ArrayRef< AvailabilitySpec > AvailSpecs, SourceLocation AtLoc, SourceLocation RParen)
bool isKnownName(StringRef name)
std::unique_ptr< NSAPI > NSAPIObj
Caches identifiers/selectors for NSFoundation APIs.
Sema - This implements semantic analysis and AST building for C.
ParsedType CreateParsedType(QualType T, TypeSourceInfo *TInfo)
Package the given type and TSI into a ParsedType.
ExprResult PerformContextuallyConvertToObjCPointer(Expr *From)
PerformContextuallyConvertToObjCPointer - Perform a contextual conversion of the expression From to a...
Scope * getCurScope() const
Retrieve the parser's current scope.
ExprResult ActOnIntegerConstant(SourceLocation Loc, uint64_t Val)
@ LookupOrdinaryName
Ordinary name lookup, which finds ordinary names (functions, variables, typedefs, etc....
void DiagnoseSentinelCalls(const NamedDecl *D, SourceLocation Loc, ArrayRef< Expr * > Args)
DiagnoseSentinelCalls - This routine checks whether a call or message-send is to a declaration with t...
bool FormatStringHasSArg(const StringLiteral *FExpr)
ExprResult ActOnIdExpression(Scope *S, CXXScopeSpec &SS, SourceLocation TemplateKWLoc, UnqualifiedId &Id, bool HasTrailingLParen, bool IsAddressOfOperand, CorrectionCandidateCallback *CCC=nullptr, bool IsInlineAsmIdentifier=false, Token *KeywordReplacement=nullptr)
ExprResult MaybeBindToTemporary(Expr *E)
MaybeBindToTemporary - If the passed in expression has a record type with a non-trivial destructor,...
FPOptionsOverride CurFPFeatureOverrides()
NamedDecl * LookupSingleName(Scope *S, DeclarationName Name, SourceLocation Loc, LookupNameKind NameKind, RedeclarationKind Redecl=RedeclarationKind::NotForRedeclaration)
Look up a name, looking for a single declaration.
ExprResult UsualUnaryConversions(Expr *E)
UsualUnaryConversions - Performs various conversions that are common to most operators (C99 6....
ExprResult DefaultVariadicArgumentPromotion(Expr *E, VariadicCallType CT, FunctionDecl *FDecl)
DefaultVariadicArgumentPromotion - Like DefaultArgumentPromotion, but will create a trap if the resul...
ExprResult MaybeConvertParenListExprToParenExpr(Scope *S, Expr *ME)
This is not an AltiVec-style cast or or C++ direct-initialization, so turn the ParenListExpr into a s...
bool LookupBuiltin(LookupResult &R)
Lookup a builtin function, when name lookup would otherwise fail.
ExprResult DefaultFunctionArrayLvalueConversion(Expr *E, bool Diagnose=true)
ASTContext & getASTContext() const
bool tryCaptureVariable(ValueDecl *Var, SourceLocation Loc, TryCaptureKind Kind, SourceLocation EllipsisLoc, bool BuildAndDiagnose, QualType &CaptureType, QualType &DeclRefType, const unsigned *const FunctionScopeIndexToStopAt)
Try to capture the given variable.
ExprResult ImpCastExprToType(Expr *E, QualType Type, CastKind CK, ExprValueKind VK=VK_PRValue, const CXXCastPath *BasePath=nullptr, CheckedConversionKind CCK=CheckedConversionKind::Implicit)
ImpCastExprToType - If Expr is not of type 'Type', insert an implicit cast.
ExprResult DefaultArgumentPromotion(Expr *E)
DefaultArgumentPromotion (C99 6.5.2.2p6).
ObjCMethodDecl * getCurMethodDecl()
getCurMethodDecl - If inside of a method body, this returns a pointer to the method decl for the meth...
SourceLocation getLocForEndOfToken(SourceLocation Loc, unsigned Offset=0)
Calls Lexer::getLocForEndOfToken()
const LangOptions & getLangOpts() const
TypoCorrection CorrectTypo(const DeclarationNameInfo &Typo, Sema::LookupNameKind LookupKind, Scope *S, CXXScopeSpec *SS, CorrectionCandidateCallback &CCC, CorrectTypoKind Mode, DeclContext *MemberContext=nullptr, bool EnteringContext=false, const ObjCObjectPointerType *OPT=nullptr, bool RecordFailure=true)
Try to "correct" a typo in the source code by finding visible declarations whose names are similar to...
ExprResult ActOnCXXBoolLiteral(SourceLocation OpLoc, tok::TokenKind Kind)
ActOnCXXBoolLiteral - Parse {true,false} literals.
const LangOptions & LangOpts
void MarkAnyDeclReferenced(SourceLocation Loc, Decl *D, bool MightBeOdrUse)
Perform marking for a reference to an arbitrary declaration.
static bool GetFormatNSStringIdx(const FormatAttr *Format, unsigned &Idx)
CleanupInfo Cleanup
Used to control the generation of ExprWithCleanups.
sema::FunctionScopeInfo * getCurFunction() const
ExprResult DefaultLvalueConversion(Expr *E)
void maybeExtendBlockObject(ExprResult &E)
Do an explicit extend of the given block pointer if we're in ARC.
static bool isCast(CheckedConversionKind CCK)
DeclContext * CurContext
CurContext - This is the current declaration context of parsing.
bool isUnevaluatedContext() const
Determines whether we are currently in a context that is not evaluated as per C++ [expr] p5.
ObjCMethodDecl * SelectBestMethod(Selector Sel, MultiExprArg Args, bool IsInstance, SmallVectorImpl< ObjCMethodDecl * > &Methods)
DeclContext * getFunctionLevelDeclContext(bool AllowLambda=false) const
If AllowLambda is true, treat lambda as function.
ExprResult CheckPlaceholderExpr(Expr *E)
Check for operands with placeholder types and complain if found.
SourceManager & getSourceManager() const
bool makeUnavailableInSystemHeader(SourceLocation loc, UnavailableAttr::ImplicitReason reason)
makeUnavailableInSystemHeader - There is an error in the current context.
sema::FunctionScopeInfo * getCurFunctionAvailabilityContext()
Retrieve the current function, if any, that should be analyzed for potential availability violations.
bool DiagnoseUseOfDecl(NamedDecl *D, ArrayRef< SourceLocation > Locs, const ObjCInterfaceDecl *UnknownObjCClass=nullptr, bool ObjCPropertyAccess=false, bool AvoidPartialAvailabilityChecks=false, ObjCInterfaceDecl *ClassReciever=nullptr, bool SkipTrailingRequiresClause=false)
Determine whether the use of this declaration is valid, and emit any corresponding diagnostics.
void diagnoseTypo(const TypoCorrection &Correction, const PartialDiagnostic &TypoDiag, bool ErrorRecovery=true)
bool RequireCompleteType(SourceLocation Loc, QualType T, CompleteTypeKind Kind, TypeDiagnoser &Diagnoser)
Ensure that the type T is a complete type.
Scope * TUScope
Translation Unit Scope - useful to Objective-C actions that need to lookup file scope declarations in...
PartialDiagnostic PDiag(unsigned DiagID=0)
Build a partial diagnostic.
ExprResult forceUnknownAnyToType(Expr *E, QualType ToType)
Force an expression with unknown-type to an expression of the given type.
SourceManager & SourceMgr
DiagnosticsEngine & Diags
ExprResult PerformCopyInitialization(const InitializedEntity &Entity, SourceLocation EqualLoc, ExprResult Init, bool TopLevelOfInitList=false, bool AllowExplicit=false)
sema::FunctionScopeInfo * getEnclosingFunction() const
bool LookupName(LookupResult &R, Scope *S, bool AllowBuiltinCreation=false, bool ForceNoCPlusPlus=false)
Perform unqualified name lookup starting from a given scope.
static QualType GetTypeFromParser(ParsedType Ty, TypeSourceInfo **TInfo=nullptr)
ExprResult checkUnknownAnyArg(SourceLocation callLoc, Expr *result, QualType ¶mType)
Type-check an expression that's being passed to an __unknown_anytype parameter.
llvm::SmallVector< std::pair< SourceLocation, const BlockDecl * >, 1 > ImplicitlyRetainedSelfLocs
List of SourceLocations where 'self' is implicitly retained inside a block.
Encodes a location in the source.
bool isValid() const
Return true if this is a valid SourceLocation object.
SourceLocation getLocWithOffset(IntTy Offset) const
Return a source location with the specified offset from this SourceLocation.
This class handles loading and caching of source files into memory.
bool isInSystemHeader(SourceLocation Loc) const
Returns if a SourceLocation is in a system header.
A trivial tuple used to represent a source range.
SourceLocation getEnd() const
SourceLocation getBegin() const
StmtExpr - This is the GNU Statement Expression extension: ({int X=4; X;}).
CompoundStmt * getSubStmt()
StmtVisitor - This class implements a simple visitor for Stmt subclasses.
Stmt - This represents one statement.
SourceLocation getEndLoc() const LLVM_READONLY
StmtClass getStmtClass() const
SourceRange getSourceRange() const LLVM_READONLY
SourceLocation tokens are not useful in isolation - they are low level value objects created/interpre...
SourceLocation getBeginLoc() const LLVM_READONLY
StringLiteral - This represents a string literal expression, e.g.
static StringLiteral * Create(const ASTContext &Ctx, StringRef Str, StringLiteralKind Kind, bool Pascal, QualType Ty, const SourceLocation *Loc, unsigned NumConcatenated)
This is the "fully general" constructor that allows representation of strings formed from multiple co...
StringRef getString() const
StringRef getPlatformName() const
Retrieve the name of the platform as it is used in the availability attribute.
The top declaration context.
Represents a declaration of a type.
SourceLocation getBeginLoc() const LLVM_READONLY
SourceRange getSourceRange() const LLVM_READONLY
Get the full source range.
Represents typeof(type), a C23 feature and GCC extension, or `typeof_unqual(type),...
A container of type source information.
TypeLoc getTypeLoc() const
Return the TypeLoc wrapper for the type source info.
QualType getType() const
Return the type wrapped by this type source info.
The base class of the type hierarchy.
bool isBlockPointerType() const
const ObjCObjectPointerType * getAsObjCQualifiedClassType() const
const ObjCObjectPointerType * getAsObjCQualifiedIdType() const
bool isObjCBuiltinType() const
bool isVoidPointerType() const
bool isObjCARCBridgableType() const
Determine whether the given type T is a "bridgable" Objective-C type, which is either an Objective-C ...
bool isPointerType() const
bool isIntegerType() const
isIntegerType() does not include complex integers (a GCC extension).
const T * castAs() const
Member-template castAs<specific type>.
const ObjCObjectPointerType * getAsObjCInterfacePointerType() const
bool isIntegralType(const ASTContext &Ctx) const
Determine whether this type is an integral type.
QualType getPointeeType() const
If this is a pointer, ObjC object pointer, or block pointer, this returns the respective pointee.
bool canHaveNullability(bool ResultIfUnknown=true) const
Determine whether the given type can have a nullability specifier applied to it, i....
bool isBuiltinType() const
Helper methods to distinguish type categories.
bool isDependentType() const
Whether this type is a dependent type, meaning that its definition somehow depends on a template para...
bool isCARCBridgableType() const
Determine whether the given type T is a "bridgeable" C type.
bool isObjCBoxableRecordType() const
bool isObjCIdType() const
bool isObjCClassOrClassKindOfType() const
Whether the type is Objective-C 'Class' or a __kindof type of an Class type, e.g.,...
const ArrayType * getAsArrayTypeUnsafe() const
A variant of getAs<> for array types which silently discards qualifiers from the outermost type.
bool isObjCObjectPointerType() const
bool isObjCQualifiedClassType() const
bool isObjCClassType() const
std::optional< ArrayRef< QualType > > getObjCSubstitutions(const DeclContext *dc) const
Retrieve the set of substitutions required when accessing a member of the Objective-C receiver type t...
const ObjCObjectType * getAsObjCInterfaceType() const
bool isObjCIdOrObjectKindOfType(const ASTContext &ctx, const ObjCObjectType *&bound) const
Whether the type is Objective-C 'id' or a __kindof type of an object type, e.g., __kindof NSView * or...
const T * getAs() const
Member-template getAs<specific type>'.
bool isObjCRetainableType() const
std::optional< NullabilityKind > getNullability() const
Determine the nullability of the given type.
Represents the declaration of a typedef-name via the 'typedef' type specifier.
Base class for declarations which introduce a typedef-name.
QualType getUnderlyingType() const
TypedefNameDecl * getDecl() const
Simple class containing the result of Sema::CorrectTypo.
DeclClass * getCorrectionDeclAs() const
UnaryOperator - This represents the unary-expression's (except sizeof and alignof),...
Expr * getSubExpr() const
static UnaryOperator * Create(const ASTContext &C, Expr *input, Opcode opc, QualType type, ExprValueKind VK, ExprObjectKind OK, SourceLocation l, bool CanOverflow, FPOptionsOverride FPFeatures)
Represents a C++ unqualified-id that has been parsed.
void setImplicitSelfParam(const IdentifierInfo *Id)
Specify that this unqualified-id is an implicit 'self' parameter.
void setType(QualType newType)
Represents a variable declaration or definition.
DefinitionKind hasDefinition(ASTContext &) const
Check whether this variable is defined in this translation unit.
bool isCommitable() const
edit_iterator edit_begin() const
SmallVectorImpl< Edit >::const_iterator edit_iterator
edit_iterator edit_end() const
Retains information about a function, method, or block that is currently being parsed.
void recordUseOfWeak(const ExprT *E, bool IsRead=true)
Record that a weak object was accessed.
bool ObjCIsDesignatedInit
True when this is a method marked as a designated initializer.
bool ObjCShouldCallSuper
A flag that is set when parsing a method that must call super's implementation, such as -dealloc,...
bool ObjCWarnForNoInitDelegation
This starts true for a secondary initializer method and will be set to false if there is an invocatio...
bool ObjCIsSecondaryInit
True when this is an initializer method not marked as a designated initializer within a class that ha...
bool ObjCWarnForNoDesignatedInitChain
This starts true for a method marked as designated initializer and will be set to false if there is a...
Defines the clang::TargetInfo interface.
const internal::VariadicAllOfMatcher< Attr > attr
Matches attributes.
const internal::VariadicAllOfMatcher< Type > type
Matches Types in the clang AST.
const internal::VariadicDynCastAllOfMatcher< Stmt, CastExpr > castExpr
Matches any cast nodes of Clang's AST.
uint32_t Literal
Literals are represented as positive integers.
bool rewriteObjCRedundantCallWithLiteral(const ObjCMessageExpr *Msg, const NSAPI &NS, Commit &commit)
bool followsCreateRule(const FunctionDecl *FD)
TokenKind
Provides a simple uniform namespace for tokens from all C languages.
The JSON file list parser is used to communicate input to InstallAPI.
@ Seq
'seq' clause, allowed on 'loop' and 'routine' directives.
NullabilityKind
Describes the nullability of a particular type.
@ Nullable
Values of this type can be null.
@ NonNull
Values of this type can never be null.
@ OK_ObjCProperty
An Objective-C property is a logical field of an Objective-C object which is read and written via Obj...
@ OK_ObjCSubscript
An Objective-C array/dictionary subscripting which reads an object or writes at the subscripted array...
ObjCMethodFamily
A family of Objective-C methods.
@ OMF_None
No particular method family.
@ Parameter
The parameter type of a method or function.
@ Result
The result type of a method or function.
ObjCBridgeCastKind
The kind of bridging performed by the Objective-C bridge cast.
@ OBC_Bridge
Bridging via __bridge, which does nothing but reinterpret the bits.
@ OBC_BridgeTransfer
Bridging via __bridge_transfer, which transfers ownership of an Objective-C pointer into ARC.
@ OBC_BridgeRetained
Bridging via __bridge_retain, which makes an ARC object available as a +1 C pointer.
ActionResult< Expr * > ExprResult
CastKind
CastKind - The kind of operation required for a conversion.
ExprValueKind
The categorization of expression values, currently following the C++11 scheme.
@ VK_PRValue
A pr-value expression (in the C++11 taxonomy) produces a temporary value.
@ VK_LValue
An l-value expression is a reference to an object with independent storage.
const FunctionProtoType * T
bool declaresSameEntity(const Decl *D1, const Decl *D2)
Determine whether two declarations declare the same entity.
ActionResult< Decl * > DeclResult
U cast(CodeGen::Address addr)
@ None
The alignment was not explicit in code.
@ Class
The "class" keyword introduces the elaborated-type-specifier.
CheckedConversionKind
The kind of conversion being performed.
@ Implicit
An implicit conversion.
@ CStyleCast
A C-style cast.
@ ForBuiltinOverloadedOp
A conversion for an operand of a builtin overloaded operator.
@ OtherCast
A cast other than a C-style cast.
@ FunctionalCast
A functional-style cast.
MutableArrayRef< Expr * > MultiExprArg
DeclarationNameInfo - A collector data type for bundling together a DeclarationName and the correspon...
EvalResult is a struct with detailed info about an evaluated expression.
An element in an Objective-C dictionary literal.
a linked list of methods with the same selector name but different signatures.
ObjCMethodDecl * getMethod() const
ObjCMethodList * getNext() const
CharSourceRange getFileRange(SourceManager &SM) const
CharSourceRange getInsertFromRange(SourceManager &SM) const