Lines Matching +full:bool +full:- +full:property
1 //===--- SemaObjCProperty.cpp - Semantic Analysis for ObjC @property ------===//
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7 //===----------------------------------------------------------------------===//
9 // This file implements semantic analysis for Objective C @property and
12 //===----------------------------------------------------------------------===//
29 //===----------------------------------------------------------------------===//
31 //===----------------------------------------------------------------------===//
33 /// getImpliedARCOwnership - Given a set of property attributes and a
54 // property type. in getImpliedARCOwnership()
56 type->isObjCRetainableType()) { in getImpliedARCOwnership()
63 /// Check the internal consistency of a property declaration with
66 ObjCPropertyDecl *property) { in checkPropertyDeclWithOwnership() argument
67 if (property->isInvalidDecl()) return; in checkPropertyDeclWithOwnership()
69 ObjCPropertyAttribute::Kind propertyKind = property->getPropertyAttributes(); in checkPropertyDeclWithOwnership()
71 = property->getType().getObjCLifetime(); in checkPropertyDeclWithOwnership()
76 = getImpliedARCOwnership(propertyKind, property->getType()); in checkPropertyDeclWithOwnership()
78 // We have a lifetime qualifier but no dominating property in checkPropertyDeclWithOwnership()
80 // setting the property attribute according to the lifetime in checkPropertyDeclWithOwnership()
91 property->setPropertyAttributes(attr); in checkPropertyDeclWithOwnership()
97 property->setInvalidDecl(); in checkPropertyDeclWithOwnership()
98 S.Diag(property->getLocation(), in checkPropertyDeclWithOwnership()
100 << property->getDeclName() in checkPropertyDeclWithOwnership()
105 /// Check this Objective-C property against a property declared in the
115 // Look for a property with the same name. in CheckPropertyAgainstProtocol()
116 if (ObjCPropertyDecl *ProtoProp = Proto->getProperty( in CheckPropertyAgainstProtocol()
117 Prop->getIdentifier(), Prop->isInstanceProperty())) { in CheckPropertyAgainstProtocol()
118 S.ObjC().DiagnosePropertyMismatch(Prop, ProtoProp, Proto->getIdentifier(), in CheckPropertyAgainstProtocol()
123 // Check this property against any protocols we inherit. in CheckPropertyAgainstProtocol()
124 for (auto *P : Proto->protocols()) in CheckPropertyAgainstProtocol()
184 QualType T = TSI->getType(); in ActOnProperty()
188 bool isReadWrite = ((Attributes & ObjCPropertyAttribute::kind_readwrite) || in ActOnProperty()
196 if (CDecl->IsClassExtension()) { in ActOnProperty()
216 Res->setLexicalDeclContext(lexicalDC); in ActOnProperty()
219 // Validate the attributes on the @property. in ActOnProperty()
225 if (Res->getType().getObjCLifetime()) in ActOnProperty()
230 // For a class, compare the property against a property in our superclass. in ActOnProperty()
231 bool FoundInSuper = false; in ActOnProperty()
233 while (ObjCInterfaceDecl *Super = CurrentInterfaceDecl->getSuperClass()) { in ActOnProperty()
234 if (ObjCPropertyDecl *SuperProp = Super->getProperty( in ActOnProperty()
235 Res->getIdentifier(), Res->isInstanceProperty())) { in ActOnProperty()
236 DiagnosePropertyMismatch(Res, SuperProp, Super->getIdentifier(), false); in ActOnProperty()
244 // Also compare the property against a property in our protocols. in ActOnProperty()
245 for (auto *P : CurrentInterfaceDecl->protocols()) { in ActOnProperty()
250 for (auto *P : IFace->all_referenced_protocols()) { in ActOnProperty()
257 // when property in class extension is constructed. in ActOnProperty()
258 if (!Cat->IsClassExtension()) in ActOnProperty()
259 for (auto *P : Cat->protocols()) in ActOnProperty()
263 for (auto *P : Proto->protocols()) in ActOnProperty()
306 static bool LocPropertyAttribute( ASTContext &Context, const char *attrName, in LocPropertyAttribute()
314 bool invalidTemp = false; in LocPropertyAttribute()
339 bool PropagateAtomicity) { in checkAtomicPropertyMismatch()
341 bool OldIsAtomic = (OldProperty->getPropertyAttributes() & in checkAtomicPropertyMismatch()
343 bool NewIsAtomic = (NewProperty->getPropertyAttributes() & in checkAtomicPropertyMismatch()
347 // Determine whether the given property is readonly and implicitly in checkAtomicPropertyMismatch()
349 auto isImplicitlyReadonlyAtomic = [](ObjCPropertyDecl *Property) -> bool { in checkAtomicPropertyMismatch() argument
351 auto Attrs = Property->getPropertyAttributes(); in checkAtomicPropertyMismatch()
360 if (Property->getPropertyAttributesAsWritten() & in checkAtomicPropertyMismatch()
367 // If we're allowed to propagate atomicity, and the new property did in checkAtomicPropertyMismatch()
372 ((NewProperty->getPropertyAttributesAsWritten() & AtomicityMask) == 0)) { in checkAtomicPropertyMismatch()
373 unsigned Attrs = NewProperty->getPropertyAttributes(); in checkAtomicPropertyMismatch()
380 NewProperty->overwritePropertyAttributes(Attrs); in checkAtomicPropertyMismatch()
384 // One of the properties is atomic; if it's a readonly property, and in checkAtomicPropertyMismatch()
392 auto *OldDC = OldProperty->getDeclContext(); in checkAtomicPropertyMismatch()
394 OldContextName = Category->getClassInterface()->getIdentifier(); in checkAtomicPropertyMismatch()
396 OldContextName = cast<ObjCContainerDecl>(OldDC)->getIdentifier(); in checkAtomicPropertyMismatch()
398 S.Diag(NewProperty->getLocation(), diag::warn_property_attribute) in checkAtomicPropertyMismatch()
399 << NewProperty->getDeclName() << "atomic" in checkAtomicPropertyMismatch()
401 S.Diag(OldProperty->getLocation(), diag::note_property_declare); in checkAtomicPropertyMismatch()
407 Selector SetterSel, SourceLocation SetterNameLoc, const bool isReadWrite, in HandlePropertyInClassExtension()
411 // Diagnose if this property is already in continuation class. in HandlePropertyInClassExtension()
414 ObjCInterfaceDecl *CCPrimary = CDecl->getClassInterface(); in HandlePropertyInClassExtension()
416 // We need to look in the @interface to see if the @property was in HandlePropertyInClassExtension()
419 Diag(CDecl->getLocation(), diag::err_continuation_class); in HandlePropertyInClassExtension()
423 bool isClassProperty = in HandlePropertyInClassExtension()
427 // Find the property in the extended class's primary class or in HandlePropertyInClassExtension()
429 ObjCPropertyDecl *PIDecl = CCPrimary->FindPropertyVisibleInPrimaryClass( in HandlePropertyInClassExtension()
432 // If we found a property in an extension, complain. in HandlePropertyInClassExtension()
433 if (PIDecl && isa<ObjCCategoryDecl>(PIDecl->getDeclContext())) { in HandlePropertyInClassExtension()
435 Diag(PIDecl->getLocation(), diag::note_property_declare); in HandlePropertyInClassExtension()
441 // A readonly property declared in the primary class can be refined in HandlePropertyInClassExtension()
442 // by adding a readwrite property within an extension. in HandlePropertyInClassExtension()
444 if (!(PIDecl->isReadOnly() && isReadWrite)) { in HandlePropertyInClassExtension()
446 // property is declared both in the @interface and the continuation. in HandlePropertyInClassExtension()
451 (PIDecl->getPropertyAttributesAsWritten() & in HandlePropertyInClassExtension()
456 << CCPrimary->getDeclName(); in HandlePropertyInClassExtension()
457 Diag(PIDecl->getLocation(), diag::note_property_declare); in HandlePropertyInClassExtension()
462 if (PIDecl->getGetterName() != GetterSel) { in HandlePropertyInClassExtension()
466 << PIDecl->getGetterName() << GetterSel; in HandlePropertyInClassExtension()
467 Diag(PIDecl->getLocation(), diag::note_property_declare); in HandlePropertyInClassExtension()
471 GetterSel = PIDecl->getGetterName(); in HandlePropertyInClassExtension()
477 = getOwnershipRule(PIDecl->getPropertyAttributes()); in HandlePropertyInClassExtension()
483 Diag(PIDecl->getLocation(), diag::note_property_declare); in HandlePropertyInClassExtension()
486 // Take the ownership from the original property. in HandlePropertyInClassExtension()
490 // If the redeclaration is 'weak' but the original property is not, in HandlePropertyInClassExtension()
492 !(PIDecl->getPropertyAttributesAsWritten() & in HandlePropertyInClassExtension()
494 PIDecl->getType()->getAs<ObjCObjectPointerType>() && in HandlePropertyInClassExtension()
495 PIDecl->getType().getObjCLifetime() == Qualifiers::OCL_None) { in HandlePropertyInClassExtension()
497 Diag(PIDecl->getLocation(), diag::note_property_declare); in HandlePropertyInClassExtension()
510 // If there was no declaration of a property with the same name in in HandlePropertyInClassExtension()
517 if (!Context.hasSameType(PIDecl->getType(), PDecl->getType())) { in HandlePropertyInClassExtension()
518 bool IncompatibleObjC = false; in HandlePropertyInClassExtension()
520 // Relax the strict type matching for property type in continuation class. in HandlePropertyInClassExtension()
521 // Allow property object type of continuation class to be different as long in HandlePropertyInClassExtension()
522 // as it narrows the object type in its primary class property. Note that in HandlePropertyInClassExtension()
524 // property in primary class and 'narrowed' type for a 'readwrite' property in HandlePropertyInClassExtension()
526 QualType PrimaryClassPropertyT = Context.getCanonicalType(PIDecl->getType()); in HandlePropertyInClassExtension()
527 QualType ClassExtPropertyT = Context.getCanonicalType(PDecl->getType()); in HandlePropertyInClassExtension()
535 diag::err_type_mismatch_continuation_class) << PDecl->getType(); in HandlePropertyInClassExtension()
536 Diag(PIDecl->getLocation(), diag::note_property_declare); in HandlePropertyInClassExtension()
541 // Check that atomicity of property in class extension matches the previous in HandlePropertyInClassExtension()
554 SourceLocation SetterNameLoc, const bool isReadWrite, in CreatePropertyDecl()
561 // Property defaults to 'assign' if it is readwrite, unless this is ARC in CreatePropertyDecl()
563 bool isAssign; in CreatePropertyDecl()
571 !T->isObjCRetainableType()); in CreatePropertyDecl()
574 // Issue a warning if property is 'assign' as default and its in CreatePropertyDecl()
579 T->getAs<ObjCObjectPointerType>()) { in CreatePropertyDecl()
580 ObjCInterfaceDecl *IDecl = ObjPtrTy->getObjectType()->getInterface(); in CreatePropertyDecl()
584 if (IDecl->ClassImplementsProtocol(PNSCopying, true)) in CreatePropertyDecl()
589 if (T->isObjCObjectType()) { in CreatePropertyDecl()
590 SourceLocation StarLoc = TInfo->getTypeLoc().getEndLoc(); in CreatePropertyDecl()
595 SourceLocation TLoc = TInfo->getTypeLoc().getBeginLoc(); in CreatePropertyDecl()
605 bool isClassProperty = in CreatePropertyDecl()
608 // Class property and instance property can have the same name. in CreatePropertyDecl()
611 Diag(PDecl->getLocation(), diag::err_duplicate_property); in CreatePropertyDecl()
612 Diag(prevDecl->getLocation(), diag::note_property_declare); in CreatePropertyDecl()
613 PDecl->setInvalidDecl(); in CreatePropertyDecl()
616 DC->addDecl(PDecl); in CreatePropertyDecl()
618 PDecl->setLexicalDeclContext(lexicalDC); in CreatePropertyDecl()
621 if (T->isArrayType() || T->isFunctionType()) { in CreatePropertyDecl()
623 PDecl->setInvalidDecl(); in CreatePropertyDecl()
628 PDecl->setGetterName(GetterSel, GetterNameLoc); in CreatePropertyDecl()
629 PDecl->setSetterName(SetterSel, SetterNameLoc); in CreatePropertyDecl()
630 PDecl->setPropertyAttributesAsWritten( in CreatePropertyDecl()
636 PDecl->setPropertyAttributes(ObjCPropertyAttribute::kind_readonly); in CreatePropertyDecl()
639 PDecl->setPropertyAttributes(ObjCPropertyAttribute::kind_getter); in CreatePropertyDecl()
642 PDecl->setPropertyAttributes(ObjCPropertyAttribute::kind_setter); in CreatePropertyDecl()
645 PDecl->setPropertyAttributes(ObjCPropertyAttribute::kind_readwrite); in CreatePropertyDecl()
648 PDecl->setPropertyAttributes(ObjCPropertyAttribute::kind_retain); in CreatePropertyDecl()
651 PDecl->setPropertyAttributes(ObjCPropertyAttribute::kind_strong); in CreatePropertyDecl()
654 PDecl->setPropertyAttributes(ObjCPropertyAttribute::kind_weak); in CreatePropertyDecl()
657 PDecl->setPropertyAttributes(ObjCPropertyAttribute::kind_copy); in CreatePropertyDecl()
660 PDecl->setPropertyAttributes(ObjCPropertyAttribute::kind_unsafe_unretained); in CreatePropertyDecl()
663 PDecl->setPropertyAttributes(ObjCPropertyAttribute::kind_assign); in CreatePropertyDecl()
667 PDecl->setPropertyAttributes(ObjCPropertyAttribute::kind_nonatomic); in CreatePropertyDecl()
669 PDecl->setPropertyAttributes(ObjCPropertyAttribute::kind_atomic); in CreatePropertyDecl()
673 PDecl->setPropertyAttributes(ObjCPropertyAttribute::kind_assign); in CreatePropertyDecl()
675 PDecl->setPropertyAttributes(ObjCPropertyAttribute::kind_unsafe_unretained); in CreatePropertyDecl()
678 PDecl->setPropertyImplementation(ObjCPropertyDecl::Required); in CreatePropertyDecl()
680 PDecl->setPropertyImplementation(ObjCPropertyDecl::Optional); in CreatePropertyDecl()
683 PDecl->setPropertyAttributes(ObjCPropertyAttribute::kind_nullability); in CreatePropertyDecl()
686 PDecl->setPropertyAttributes(ObjCPropertyAttribute::kind_null_resettable); in CreatePropertyDecl()
689 PDecl->setPropertyAttributes(ObjCPropertyAttribute::kind_class); in CreatePropertyDecl()
692 CDecl->hasAttr<ObjCDirectMembersAttr>()) { in CreatePropertyDecl()
694 Diag(PDecl->getLocation(), diag::err_objc_direct_on_protocol) << true; in CreatePropertyDecl()
696 PDecl->setPropertyAttributes(ObjCPropertyAttribute::kind_direct); in CreatePropertyDecl()
698 Diag(PDecl->getLocation(), diag::warn_objc_direct_property_ignored) in CreatePropertyDecl()
699 << PDecl->getDeclName(); in CreatePropertyDecl()
707 ObjCPropertyDecl *property, in checkARCPropertyImpl() argument
709 if (property->isInvalidDecl() || ivar->isInvalidDecl()) return; in checkARCPropertyImpl()
711 QualType ivarType = ivar->getType(); in checkARCPropertyImpl()
714 // The lifetime implied by the property's attributes. in checkARCPropertyImpl()
716 getImpliedARCOwnership(property->getPropertyAttributes(), in checkARCPropertyImpl()
717 property->getType()); in checkARCPropertyImpl()
732 // property implementation before parsing any method bodies. in checkARCPropertyImpl()
735 ivar->getAccessControl() == ObjCIvarDecl::Private) { in checkARCPropertyImpl()
738 assert(ivarType->isObjCARCImplicitlyUnretainedType()); in checkARCPropertyImpl()
741 ivar->setType(ivarType); in checkARCPropertyImpl()
748 S.Diag(ivar->getLocation(), diag::err_arc_strong_property_ownership) in checkARCPropertyImpl()
749 << property->getDeclName() in checkARCPropertyImpl()
750 << ivar->getDeclName() in checkARCPropertyImpl()
755 S.Diag(ivar->getLocation(), diag::err_weak_property) in checkARCPropertyImpl()
756 << property->getDeclName() in checkARCPropertyImpl()
757 << ivar->getDeclName(); in checkARCPropertyImpl()
761 S.Diag(ivar->getLocation(), diag::err_arc_assign_property_ownership) in checkARCPropertyImpl()
762 << property->getDeclName() << ivar->getDeclName() in checkARCPropertyImpl()
763 << ((property->getPropertyAttributesAsWritten() & in checkARCPropertyImpl()
771 // Any other property should be ignored. in checkARCPropertyImpl()
775 S.Diag(property->getLocation(), diag::note_property_declare); in checkARCPropertyImpl()
780 /// setImpliedPropertyAttributeForReadOnlyProperty -
781 /// This routine evaludates life-time attributes for a 'readonly'
782 /// property with no known lifetime of its own, using backing
783 /// 'ivar's attribute, if any. If no backing 'ivar', property's
784 /// life-time is assumed 'strong'.
786 ObjCPropertyDecl *property, ObjCIvarDecl *ivar) { in setImpliedPropertyAttributeForReadOnlyProperty() argument
788 getImpliedARCOwnership(property->getPropertyAttributes(), in setImpliedPropertyAttributeForReadOnlyProperty()
789 property->getType()); in setImpliedPropertyAttributeForReadOnlyProperty()
794 // if no backing ivar, make property 'strong'. in setImpliedPropertyAttributeForReadOnlyProperty()
795 property->setPropertyAttributes(ObjCPropertyAttribute::kind_strong); in setImpliedPropertyAttributeForReadOnlyProperty()
798 // property assumes owenership of backing ivar. in setImpliedPropertyAttributeForReadOnlyProperty()
799 QualType ivarType = ivar->getType(); in setImpliedPropertyAttributeForReadOnlyProperty()
802 property->setPropertyAttributes(ObjCPropertyAttribute::kind_strong); in setImpliedPropertyAttributeForReadOnlyProperty()
804 property->setPropertyAttributes(ObjCPropertyAttribute::kind_weak); in setImpliedPropertyAttributeForReadOnlyProperty()
807 static bool isIncompatiblePropertyAttribute(unsigned Attr1, unsigned Attr2, in isIncompatiblePropertyAttribute()
812 static bool areIncompatiblePropertyAttributes(unsigned Attr1, unsigned Attr2, in areIncompatiblePropertyAttributes()
817 /// SelectPropertyForSynthesisFromProtocols - Finds the most appropriate
818 /// property declaration that should be synthesised in all of the inherited
825 ObjCPropertyDecl *Property) { in SelectPropertyForSynthesisFromProtocols() argument
826 assert(isa<ObjCProtocolDecl>(Property->getDeclContext()) && in SelectPropertyForSynthesisFromProtocols()
827 "Expected a property from a protocol"); in SelectPropertyForSynthesisFromProtocols()
830 for (const auto *PI : ClassDecl->all_referenced_protocols()) { in SelectPropertyForSynthesisFromProtocols()
831 if (const ObjCProtocolDecl *PDecl = PI->getDefinition()) in SelectPropertyForSynthesisFromProtocols()
832 PDecl->collectInheritedProtocolProperties(Property, ProtocolSet, in SelectPropertyForSynthesisFromProtocols()
835 if (ObjCInterfaceDecl *SDecl = ClassDecl->getSuperClass()) { in SelectPropertyForSynthesisFromProtocols()
837 for (const auto *PI : SDecl->all_referenced_protocols()) { in SelectPropertyForSynthesisFromProtocols()
838 if (const ObjCProtocolDecl *PDecl = PI->getDefinition()) in SelectPropertyForSynthesisFromProtocols()
839 PDecl->collectInheritedProtocolProperties(Property, ProtocolSet, in SelectPropertyForSynthesisFromProtocols()
842 SDecl = SDecl->getSuperClass(); in SelectPropertyForSynthesisFromProtocols()
847 return Property; in SelectPropertyForSynthesisFromProtocols()
849 ObjCPropertyDecl *OriginalProperty = Property; in SelectPropertyForSynthesisFromProtocols()
852 // Select the 'readwrite' property if such property exists. in SelectPropertyForSynthesisFromProtocols()
853 if (Property->isReadOnly() && !Prop.value()->isReadOnly()) { in SelectPropertyForSynthesisFromProtocols()
854 Property = Prop.value(); in SelectPropertyForSynthesisFromProtocols()
858 if (Property != OriginalProperty) { in SelectPropertyForSynthesisFromProtocols()
859 // Check that the old property is compatible with the new one. in SelectPropertyForSynthesisFromProtocols()
863 QualType RHSType = S.Context.getCanonicalType(Property->getType()); in SelectPropertyForSynthesisFromProtocols()
864 unsigned OriginalAttributes = Property->getPropertyAttributesAsWritten(); in SelectPropertyForSynthesisFromProtocols()
872 // Represents a property from another protocol that conflicts with the in SelectPropertyForSynthesisFromProtocols()
881 // Verify the property attributes. in SelectPropertyForSynthesisFromProtocols()
882 unsigned Attr = Prop->getPropertyAttributesAsWritten(); in SelectPropertyForSynthesisFromProtocols()
884 auto Diag = [&](bool OriginalHasAttribute, StringRef AttributeName) { in SelectPropertyForSynthesisFromProtocols()
889 // The ownership might be incompatible unless the property has no explicit in SelectPropertyForSynthesisFromProtocols()
891 bool HasOwnership = in SelectPropertyForSynthesisFromProtocols()
919 if (Property->getGetterName() != Prop->getGetterName()) { in SelectPropertyForSynthesisFromProtocols()
923 if (!Property->isReadOnly() && !Prop->isReadOnly() && in SelectPropertyForSynthesisFromProtocols()
924 Property->getSetterName() != Prop->getSetterName()) { in SelectPropertyForSynthesisFromProtocols()
928 QualType LHSType = S.Context.getCanonicalType(Prop->getType()); in SelectPropertyForSynthesisFromProtocols()
930 bool IncompatibleObjC = false; in SelectPropertyForSynthesisFromProtocols()
941 return Property; in SelectPropertyForSynthesisFromProtocols()
945 bool HasIncompatibleAttributes = false; in SelectPropertyForSynthesisFromProtocols()
951 auto Diag = S.Diag(Property->getLocation(), in SelectPropertyForSynthesisFromProtocols()
952 Property != OriginalProperty || HasIncompatibleAttributes in SelectPropertyForSynthesisFromProtocols()
958 Diag << Property->getType(); in SelectPropertyForSynthesisFromProtocols()
965 Diag << Property->getGetterName(); in SelectPropertyForSynthesisFromProtocols()
968 Diag << Property->getSetterName(); in SelectPropertyForSynthesisFromProtocols()
974 S.Diag(Note.Prop->getLocation(), diag::note_protocol_property_declare) in SelectPropertyForSynthesisFromProtocols()
978 Diag << Note.Prop->getType(); in SelectPropertyForSynthesisFromProtocols()
985 Diag << Note.Prop->getGetterName(); in SelectPropertyForSynthesisFromProtocols()
988 Diag << Note.Prop->getSetterName(); in SelectPropertyForSynthesisFromProtocols()
995 return Property; in SelectPropertyForSynthesisFromProtocols()
998 /// Determine whether any storage attributes were written on the property.
999 static bool hasWrittenStorageAttribute(ObjCPropertyDecl *Prop, in hasWrittenStorageAttribute()
1001 if (Prop->getPropertyAttributesAsWritten() & OwnershipMask) return true; in hasWrittenStorageAttribute()
1003 // If this is a readwrite property in a class extension that refines in hasWrittenStorageAttribute()
1004 // a readonly property in the original class definition, check it as in hasWrittenStorageAttribute()
1007 // If it's a readonly property, we're not interested. in hasWrittenStorageAttribute()
1008 if (Prop->isReadOnly()) return false; in hasWrittenStorageAttribute()
1011 auto Category = dyn_cast<ObjCCategoryDecl>(Prop->getDeclContext()); in hasWrittenStorageAttribute()
1012 if (!Category || !Category->IsClassExtension()) return false; in hasWrittenStorageAttribute()
1014 // Find the corresponding property in the primary class definition. in hasWrittenStorageAttribute()
1015 auto OrigClass = Category->getClassInterface(); in hasWrittenStorageAttribute()
1016 for (auto *Found : OrigClass->lookup(Prop->getDeclName())) { in hasWrittenStorageAttribute()
1018 return OrigProp->getPropertyAttributesAsWritten() & OwnershipMask; in hasWrittenStorageAttribute()
1022 for (const auto *Proto : OrigClass->all_referenced_protocols()) { in hasWrittenStorageAttribute()
1023 if (ObjCPropertyDecl *OrigProp = Proto->FindPropertyDeclaration( in hasWrittenStorageAttribute()
1024 Prop->getIdentifier(), QueryKind)) in hasWrittenStorageAttribute()
1025 return OrigProp->getPropertyAttributesAsWritten() & OwnershipMask; in hasWrittenStorageAttribute()
1031 /// Create a synthesized property accessor stub inside the \@implementation.
1038 Context, AtLoc.isValid() ? AtLoc : Decl->getBeginLoc(), in RedeclarePropertyAccessor()
1039 PropertyLoc.isValid() ? PropertyLoc : Decl->getEndLoc(), in RedeclarePropertyAccessor()
1040 Decl->getSelector(), Decl->getReturnType(), in RedeclarePropertyAccessor()
1041 Decl->getReturnTypeSourceInfo(), Impl, Decl->isInstanceMethod(), in RedeclarePropertyAccessor()
1042 Decl->isVariadic(), Decl->isPropertyAccessor(), in RedeclarePropertyAccessor()
1043 /* isSynthesized*/ true, Decl->isImplicit(), Decl->isDefined(), in RedeclarePropertyAccessor()
1044 Decl->getImplementationControl(), Decl->hasRelatedResultType()); in RedeclarePropertyAccessor()
1045 ImplDecl->getMethodFamily(); in RedeclarePropertyAccessor()
1046 if (Decl->hasAttrs()) in RedeclarePropertyAccessor()
1047 ImplDecl->setAttrs(Decl->getAttrs()); in RedeclarePropertyAccessor()
1048 ImplDecl->setSelfDecl(Decl->getSelfDecl()); in RedeclarePropertyAccessor()
1049 ImplDecl->setCmdDecl(Decl->getCmdDecl()); in RedeclarePropertyAccessor()
1051 Decl->getSelectorLocs(SelLocs); in RedeclarePropertyAccessor()
1052 ImplDecl->setMethodParams(Context, Decl->parameters(), SelLocs); in RedeclarePropertyAccessor()
1053 ImplDecl->setLexicalDeclContext(Impl); in RedeclarePropertyAccessor()
1054 ImplDecl->setDefined(false); in RedeclarePropertyAccessor()
1058 /// ActOnPropertyImplDecl - This routine performs semantic checks and
1059 /// builds the AST node for a property implementation declaration; declared
1063 Scope *S, SourceLocation AtLoc, SourceLocation PropertyLoc, bool Synthesize, in ActOnPropertyImplDecl()
1069 // Make sure we have a context for the property implementation declaration. in ActOnPropertyImplDecl()
1078 PropertyDiagLoc = ClassImpDecl->getBeginLoc(); in ActOnPropertyImplDecl()
1079 ObjCPropertyDecl *property = nullptr; in ActOnPropertyImplDecl() local
1081 // Find the class or category class where this property must have in ActOnPropertyImplDecl()
1086 IDecl = IC->getClassInterface(); in ActOnPropertyImplDecl()
1088 // without an interface decl. So, IDecl is always non-zero. in ActOnPropertyImplDecl()
1090 "ActOnPropertyImplDecl - @implementation without @interface"); in ActOnPropertyImplDecl()
1092 // Look for this property declaration in the @implementation's @interface in ActOnPropertyImplDecl()
1093 property = IDecl->FindPropertyDeclaration(PropertyId, QueryKind); in ActOnPropertyImplDecl()
1094 if (!property) { in ActOnPropertyImplDecl()
1095 Diag(PropertyLoc, diag::err_bad_property_decl) << IDecl->getDeclName(); in ActOnPropertyImplDecl()
1098 if (property->isClassProperty() && Synthesize) { in ActOnPropertyImplDecl()
1102 unsigned PIkind = property->getPropertyAttributesAsWritten(); in ActOnPropertyImplDecl()
1108 Diag(IC->getLocation(), diag::warn_auto_implicit_atomic_property); in ActOnPropertyImplDecl()
1109 Diag(property->getLocation(), diag::note_property_declare); in ActOnPropertyImplDecl()
1113 dyn_cast<ObjCCategoryDecl>(property->getDeclContext())) { in ActOnPropertyImplDecl()
1114 if (!CD->IsClassExtension()) { in ActOnPropertyImplDecl()
1115 Diag(PropertyLoc, diag::err_category_property) << CD->getDeclName(); in ActOnPropertyImplDecl()
1116 Diag(property->getLocation(), diag::note_property_declare); in ActOnPropertyImplDecl()
1121 property->hasAttr<IBOutletAttr>() && !AtLoc.isValid()) { in ActOnPropertyImplDecl()
1122 bool ReadWriteProperty = false; in ActOnPropertyImplDecl()
1123 // Search into the class extensions and see if 'readonly property is in ActOnPropertyImplDecl()
1125 for (auto *Ext : IDecl->known_extensions()) { in ActOnPropertyImplDecl()
1126 DeclContext::lookup_result R = Ext->lookup(property->getDeclName()); in ActOnPropertyImplDecl()
1128 PIkind = ExtProp->getPropertyAttributesAsWritten(); in ActOnPropertyImplDecl()
1137 Diag(property->getLocation(), diag::warn_auto_readonly_iboutlet_property) in ActOnPropertyImplDecl()
1138 << property; in ActOnPropertyImplDecl()
1141 property->getLParenLoc(), readonlyLoc)) { in ActOnPropertyImplDecl()
1143 readonlyLoc.getLocWithOffset(strlen("readonly")-1); in ActOnPropertyImplDecl()
1145 Diag(property->getLocation(), in ActOnPropertyImplDecl()
1151 if (Synthesize && isa<ObjCProtocolDecl>(property->getDeclContext())) in ActOnPropertyImplDecl()
1152 property = SelectPropertyForSynthesisFromProtocols(SemaRef, AtLoc, IDecl, in ActOnPropertyImplDecl()
1153 property); in ActOnPropertyImplDecl()
1160 IDecl = CatImplClass->getClassInterface(); in ActOnPropertyImplDecl()
1166 IDecl->FindCategoryDeclaration(CatImplClass->getIdentifier()); in ActOnPropertyImplDecl()
1172 // Look for this property declaration in @implementation's category in ActOnPropertyImplDecl()
1173 property = Category->FindPropertyDeclaration(PropertyId, QueryKind); in ActOnPropertyImplDecl()
1174 if (!property) { in ActOnPropertyImplDecl()
1176 << Category->getDeclName(); in ActOnPropertyImplDecl()
1184 bool CompleteTypeErr = false; in ActOnPropertyImplDecl()
1185 bool compat = true; in ActOnPropertyImplDecl()
1193 Ivar = IDecl->lookupInstanceVariable(PropertyIvar, ClassDeclared); in ActOnPropertyImplDecl()
1194 QualType PropType = property->getType(); in ActOnPropertyImplDecl()
1199 property->getDeclName())) { in ActOnPropertyImplDecl()
1200 Diag(property->getLocation(), diag::note_property_declare); in ActOnPropertyImplDecl()
1205 (property->getPropertyAttributesAsWritten() & in ActOnPropertyImplDecl()
1207 PropertyIvarType->isObjCRetainableType()) { in ActOnPropertyImplDecl()
1208 setImpliedPropertyAttributeForReadOnlyProperty(property, Ivar); in ActOnPropertyImplDecl()
1211 ObjCPropertyAttribute::Kind kind = property->getPropertyAttributes(); in ActOnPropertyImplDecl()
1213 bool isARCWeak = false; in ActOnPropertyImplDecl()
1215 // Add GC __weak to the ivar type if the property is weak. in ActOnPropertyImplDecl()
1220 Diag(property->getLocation(), diag::note_property_declare); in ActOnPropertyImplDecl()
1227 // the property type. in ActOnPropertyImplDecl()
1236 Diag(property->getLocation(), diag::note_property_declare); in ActOnPropertyImplDecl()
1242 PropertyIvarType->getAs<ObjCObjectPointerType>()) { in ActOnPropertyImplDecl()
1243 const ObjCInterfaceDecl *ObjI = ObjT->getInterfaceDecl(); in ActOnPropertyImplDecl()
1244 if (ObjI && ObjI->isArcWeakrefUnavailable()) { in ActOnPropertyImplDecl()
1245 Diag(property->getLocation(), in ActOnPropertyImplDecl()
1248 Diag(ClassImpDecl->getLocation(), diag::note_implemented_by_class) in ActOnPropertyImplDecl()
1249 << ClassImpDecl->getName(); in ActOnPropertyImplDecl()
1257 // Check when default synthesizing a property that there is in ActOnPropertyImplDecl()
1258 // an ivar matching property name and issue warning; since this in ActOnPropertyImplDecl()
1260 // property in non-default synthesis case. in ActOnPropertyImplDecl()
1263 IDecl->lookupInstanceVariable(property->getIdentifier(), in ActOnPropertyImplDecl()
1269 << originalIvar->getIdentifier(); in ActOnPropertyImplDecl()
1270 Diag(property->getLocation(), diag::note_property_declare); in ActOnPropertyImplDecl()
1271 Diag(originalIvar->getLocation(), diag::note_ivar_decl); in ActOnPropertyImplDecl()
1277 // property attributes. in ActOnPropertyImplDecl()
1280 PropertyIvarType->isObjCRetainableType()) { in ActOnPropertyImplDecl()
1283 // explicitly write an ownership attribute on the property. in ActOnPropertyImplDecl()
1284 if (!hasWrittenStorageAttribute(property, QueryKind) && in ActOnPropertyImplDecl()
1288 Diag(property->getLocation(), diag::note_property_declare); in ActOnPropertyImplDecl()
1292 assert(lifetime && "no lifetime for property?"); in ActOnPropertyImplDecl()
1308 Diag(property->getLocation(), diag::note_property_declare); in ActOnPropertyImplDecl()
1313 const RecordType *RecordTy = PropertyIvarType->getAs<RecordType>(); in ActOnPropertyImplDecl()
1314 if (RecordTy && RecordTy->getDecl()->hasFlexibleArrayMember()) { in ActOnPropertyImplDecl()
1321 Ivar->setInvalidDecl(); in ActOnPropertyImplDecl()
1322 ClassImpDecl->addDecl(Ivar); in ActOnPropertyImplDecl()
1323 IDecl->makeDeclVisibleInContext(Ivar); in ActOnPropertyImplDecl()
1329 // a property implementation and to avoid future warnings. in ActOnPropertyImplDecl()
1333 << property->getDeclName() << Ivar->getDeclName() in ActOnPropertyImplDecl()
1334 << ClassDeclared->getDeclName(); in ActOnPropertyImplDecl()
1335 Diag(Ivar->getLocation(), diag::note_previous_access_declaration) in ActOnPropertyImplDecl()
1336 << Ivar << Ivar->getName(); in ActOnPropertyImplDecl()
1339 property->setPropertyIvarDecl(Ivar); in ActOnPropertyImplDecl()
1341 QualType IvarType = Context.getCanonicalType(Ivar->getType()); in ActOnPropertyImplDecl()
1343 // Check that type of property and its ivar are type compatible. in ActOnPropertyImplDecl()
1348 PropertyIvarType->castAs<ObjCObjectPointerType>(), in ActOnPropertyImplDecl()
1349 IvarType->castAs<ObjCObjectPointerType>()); in ActOnPropertyImplDecl()
1357 << property->getDeclName() << PropType in ActOnPropertyImplDecl()
1358 << Ivar->getDeclName() << IvarType; in ActOnPropertyImplDecl()
1359 Diag(Ivar->getLocation(), diag::note_ivar_decl); in ActOnPropertyImplDecl()
1361 // a property implementation and to avoid future warnings. in ActOnPropertyImplDecl()
1366 // specifically for property redeclarations as well as for ivars. in ActOnPropertyImplDecl()
1370 lhsType->isArithmeticType()) { in ActOnPropertyImplDecl()
1372 << property->getDeclName() << PropType in ActOnPropertyImplDecl()
1373 << Ivar->getDeclName() << IvarType; in ActOnPropertyImplDecl()
1374 Diag(Ivar->getLocation(), diag::note_ivar_decl); in ActOnPropertyImplDecl()
1375 // Fall thru - see previous comment in ActOnPropertyImplDecl()
1382 << property->getDeclName() << Ivar->getDeclName(); in ActOnPropertyImplDecl()
1383 Diag(Ivar->getLocation(), diag::note_ivar_decl); in ActOnPropertyImplDecl()
1384 // Fall thru - see previous comment in ActOnPropertyImplDecl()
1386 // Fall thru - see previous comment in ActOnPropertyImplDecl()
1387 if ((property->getType()->isObjCObjectPointerType() || in ActOnPropertyImplDecl()
1391 << property->getDeclName() << Ivar->getDeclName(); in ActOnPropertyImplDecl()
1392 // Fall thru - see previous comment in ActOnPropertyImplDecl()
1396 Ivar->getType().getObjCLifetime()) in ActOnPropertyImplDecl()
1397 checkARCPropertyImpl(SemaRef, PropertyLoc, property, Ivar); in ActOnPropertyImplDecl()
1402 assert (property && "ActOnPropertyImplDecl - property declaration missing"); in ActOnPropertyImplDecl()
1404 Context, SemaRef.CurContext, AtLoc, PropertyLoc, property, in ActOnPropertyImplDecl()
1410 PIDecl->setInvalidDecl(); in ActOnPropertyImplDecl()
1412 if (ObjCMethodDecl *getterMethod = property->getGetterMethodDecl()) { in ActOnPropertyImplDecl()
1413 getterMethod->createImplicitParams(Context, IDecl); in ActOnPropertyImplDecl()
1418 ObjCMethodDecl *OMD = ClassImpDecl->getMethod( in ActOnPropertyImplDecl()
1419 getterMethod->getSelector(), getterMethod->isInstanceMethod()); in ActOnPropertyImplDecl()
1423 PIDecl->setGetterMethodDecl(OMD); in ActOnPropertyImplDecl()
1427 Ivar->getType()->isRecordType()) { in ActOnPropertyImplDecl()
1428 // For Objective-C++, need to synthesize the AST for the IVAR object to be in ActOnPropertyImplDecl()
1429 // returned by the getter as it must conform to C++'s copy-return rules. in ActOnPropertyImplDecl()
1430 // FIXME. Eventually we want to do this for Objective-C as well. in ActOnPropertyImplDecl()
1432 ImplicitParamDecl *SelfDecl = getterMethod->getSelfDecl(); in ActOnPropertyImplDecl()
1434 DeclRefExpr(Context, SelfDecl, false, SelfDecl->getType(), VK_LValue, in ActOnPropertyImplDecl()
1438 Context, SelfDecl->getType(), CK_LValueToRValue, SelfExpr, nullptr, in ActOnPropertyImplDecl()
1442 Ivar->getUsageType(SelfDecl->getType()), in ActOnPropertyImplDecl()
1444 Ivar->getLocation(), in ActOnPropertyImplDecl()
1448 getterMethod->getReturnType()), in ActOnPropertyImplDecl()
1454 PIDecl->setGetterCXXConstructor(ResExpr); in ActOnPropertyImplDecl()
1457 if (property->hasAttr<NSReturnsNotRetainedAttr>() && in ActOnPropertyImplDecl()
1458 !getterMethod->hasAttr<NSReturnsNotRetainedAttr>()) { in ActOnPropertyImplDecl()
1459 Diag(getterMethod->getLocation(), in ActOnPropertyImplDecl()
1461 Diag(property->getLocation(), diag::note_property_declare); in ActOnPropertyImplDecl()
1464 switch (getterMethod->getMethodFamily()) { in ActOnPropertyImplDecl()
1469 Diag(getterMethod->getLocation(), diag::err_arc_illegal_method_def) in ActOnPropertyImplDecl()
1470 << 1 << getterMethod->getSelector(); in ActOnPropertyImplDecl()
1477 if (ObjCMethodDecl *setterMethod = property->getSetterMethodDecl()) { in ActOnPropertyImplDecl()
1478 setterMethod->createImplicitParams(Context, IDecl); in ActOnPropertyImplDecl()
1482 ObjCMethodDecl *OMD = ClassImpDecl->getMethod( in ActOnPropertyImplDecl()
1483 setterMethod->getSelector(), setterMethod->isInstanceMethod()); in ActOnPropertyImplDecl()
1487 PIDecl->setSetterMethodDecl(OMD); in ActOnPropertyImplDecl()
1491 Ivar->getType()->isRecordType()) { in ActOnPropertyImplDecl()
1492 // FIXME. Eventually we want to do this for Objective-C as well. in ActOnPropertyImplDecl()
1494 ImplicitParamDecl *SelfDecl = setterMethod->getSelfDecl(); in ActOnPropertyImplDecl()
1496 DeclRefExpr(Context, SelfDecl, false, SelfDecl->getType(), VK_LValue, in ActOnPropertyImplDecl()
1500 Context, SelfDecl->getType(), CK_LValueToRValue, SelfExpr, nullptr, in ActOnPropertyImplDecl()
1504 Ivar->getUsageType(SelfDecl->getType()), in ActOnPropertyImplDecl()
1506 Ivar->getLocation(), in ActOnPropertyImplDecl()
1508 ObjCMethodDecl::param_iterator P = setterMethod->param_begin(); in ActOnPropertyImplDecl()
1510 QualType T = Param->getType().getNonReferenceType(); in ActOnPropertyImplDecl()
1516 if (property->getPropertyAttributes() & in ActOnPropertyImplDecl()
1521 if (const FunctionDecl *FuncDecl = CXXCE->getDirectCallee()) in ActOnPropertyImplDecl()
1522 if (!FuncDecl->isTrivial()) in ActOnPropertyImplDecl()
1523 if (property->getType()->isReferenceType()) { in ActOnPropertyImplDecl()
1526 << property->getType(); in ActOnPropertyImplDecl()
1527 Diag(FuncDecl->getBeginLoc(), diag::note_callee_decl) in ActOnPropertyImplDecl()
1531 PIDecl->setSetterCXXAssignment(Res.getAs<Expr>()); in ActOnPropertyImplDecl()
1538 IC->FindPropertyImplIvarDecl(PropertyIvar)) { in ActOnPropertyImplDecl()
1540 << PropertyId << PPIDecl->getPropertyDecl()->getIdentifier() in ActOnPropertyImplDecl()
1542 Diag(PPIDecl->getLocation(), diag::note_previous_use); in ActOnPropertyImplDecl()
1546 = IC->FindPropertyImplDecl(PropertyId, QueryKind)) { in ActOnPropertyImplDecl()
1548 Diag(PPIDecl->getLocation(), diag::note_previous_declaration); in ActOnPropertyImplDecl()
1551 IC->addPropertyImplementation(PIDecl); in ActOnPropertyImplDecl()
1554 !IDecl->isObjCRequiresPropertyDefs()) { in ActOnPropertyImplDecl()
1556 // use and if 1) property is @dynamic or 2) property is synthesized in ActOnPropertyImplDecl()
1561 Ivar = IDecl->lookupInstanceVariable(PropertyId, ClassDeclared); in ActOnPropertyImplDecl()
1564 Ivar = IDecl->lookupInstanceVariable(PropertyId, ClassDeclared); in ActOnPropertyImplDecl()
1567 if (Ivar && Ivar->getSynthesize() && in ActOnPropertyImplDecl()
1568 declaresSameEntity(IC->getClassInterface(), ClassDeclared)) { in ActOnPropertyImplDecl()
1569 Diag(Ivar->getLocation(), diag::err_undeclared_var_use) in ActOnPropertyImplDecl()
1571 Ivar->setInvalidDecl(); in ActOnPropertyImplDecl()
1577 CatImplClass->FindPropertyImplIvarDecl(PropertyIvar)) { in ActOnPropertyImplDecl()
1579 << PropertyId << PPIDecl->getPropertyDecl()->getIdentifier() in ActOnPropertyImplDecl()
1581 Diag(PPIDecl->getLocation(), diag::note_previous_use); in ActOnPropertyImplDecl()
1585 CatImplClass->FindPropertyImplDecl(PropertyId, QueryKind)) { in ActOnPropertyImplDecl()
1587 Diag(PPIDecl->getLocation(), diag::note_previous_declaration); in ActOnPropertyImplDecl()
1590 CatImplClass->addPropertyImplementation(PIDecl); in ActOnPropertyImplDecl()
1593 if (PIDecl->getPropertyImplementation() == ObjCPropertyImplDecl::Dynamic && in ActOnPropertyImplDecl()
1594 PIDecl->getPropertyDecl() && in ActOnPropertyImplDecl()
1595 PIDecl->getPropertyDecl()->isDirectProperty()) { in ActOnPropertyImplDecl()
1597 Diag(PIDecl->getPropertyDecl()->getLocation(), in ActOnPropertyImplDecl()
1605 //===----------------------------------------------------------------------===//
1607 //===----------------------------------------------------------------------===//
1609 /// DiagnosePropertyMismatch - Compares two properties for their
1612 void SemaObjC::DiagnosePropertyMismatch(ObjCPropertyDecl *Property, in DiagnosePropertyMismatch() argument
1615 bool OverridingProtocolProperty) { in DiagnosePropertyMismatch()
1617 ObjCPropertyAttribute::Kind CAttr = Property->getPropertyAttributes(); in DiagnosePropertyMismatch()
1618 ObjCPropertyAttribute::Kind SAttr = SuperProperty->getPropertyAttributes(); in DiagnosePropertyMismatch()
1622 // to be overridden by a property with any explicit ownership in the subclass. in DiagnosePropertyMismatch()
1629 Diag(Property->getLocation(), diag::warn_readonly_property) in DiagnosePropertyMismatch()
1630 << Property->getDeclName() << inheritedName; in DiagnosePropertyMismatch()
1633 Diag(Property->getLocation(), diag::warn_property_attribute) in DiagnosePropertyMismatch()
1634 << Property->getDeclName() << "copy" << inheritedName; in DiagnosePropertyMismatch()
1640 bool CStrong = (CAttrRetain != 0); in DiagnosePropertyMismatch()
1641 bool SStrong = (SAttrRetain != 0); in DiagnosePropertyMismatch()
1643 Diag(Property->getLocation(), diag::warn_property_attribute) in DiagnosePropertyMismatch()
1644 << Property->getDeclName() << "retain (or strong)" << inheritedName; in DiagnosePropertyMismatch()
1650 // atomic property is 'readonly'. in DiagnosePropertyMismatch()
1651 checkAtomicPropertyMismatch(SemaRef, SuperProperty, Property, false); in DiagnosePropertyMismatch()
1654 if (Property->getSetterName() != SuperProperty->getSetterName() && in DiagnosePropertyMismatch()
1655 !(SuperProperty->isReadOnly() && in DiagnosePropertyMismatch()
1656 isa<ObjCProtocolDecl>(SuperProperty->getDeclContext()))) { in DiagnosePropertyMismatch()
1657 Diag(Property->getLocation(), diag::warn_property_attribute) in DiagnosePropertyMismatch()
1658 << Property->getDeclName() << "setter" << inheritedName; in DiagnosePropertyMismatch()
1659 Diag(SuperProperty->getLocation(), diag::note_property_declare); in DiagnosePropertyMismatch()
1661 if (Property->getGetterName() != SuperProperty->getGetterName()) { in DiagnosePropertyMismatch()
1662 Diag(Property->getLocation(), diag::warn_property_attribute) in DiagnosePropertyMismatch()
1663 << Property->getDeclName() << "getter" << inheritedName; in DiagnosePropertyMismatch()
1664 Diag(SuperProperty->getLocation(), diag::note_property_declare); in DiagnosePropertyMismatch()
1668 Context.getCanonicalType(SuperProperty->getType()); in DiagnosePropertyMismatch()
1670 Context.getCanonicalType(Property->getType()); in DiagnosePropertyMismatch()
1674 // FIXME. For future support of covariant property types, revisit this. in DiagnosePropertyMismatch()
1675 bool IncompatibleObjC = false; in DiagnosePropertyMismatch()
1680 Diag(Property->getLocation(), diag::warn_property_types_are_incompatible) in DiagnosePropertyMismatch()
1681 << Property->getType() << SuperProperty->getType() << inheritedName; in DiagnosePropertyMismatch()
1682 Diag(SuperProperty->getLocation(), diag::note_property_declare); in DiagnosePropertyMismatch()
1687 bool SemaObjC::DiagnosePropertyAccessorMismatch(ObjCPropertyDecl *property, in DiagnosePropertyAccessorMismatch() argument
1693 QualType GetterType = GetterMethod->getReturnType().getNonReferenceType(); in DiagnosePropertyAccessorMismatch()
1695 property->getType().getNonReferenceType().getAtomicUnqualifiedType(); in DiagnosePropertyAccessorMismatch()
1696 bool compat = Context.hasSameType(PropertyRValueType, GetterType); in DiagnosePropertyAccessorMismatch()
1701 PropertyRValueType->getAs<ObjCObjectPointerType>()) && in DiagnosePropertyAccessorMismatch()
1702 (getterObjCPtr = GetterType->getAs<ObjCObjectPointerType>())) in DiagnosePropertyAccessorMismatch()
1707 << property->getDeclName() << PropertyRValueType in DiagnosePropertyAccessorMismatch()
1708 << GetterMethod->getSelector() << GetterType; in DiagnosePropertyAccessorMismatch()
1709 Diag(GetterMethod->getLocation(), diag::note_declared_at); in DiagnosePropertyAccessorMismatch()
1715 if (lhsType != rhsType && lhsType->isArithmeticType()) in DiagnosePropertyAccessorMismatch()
1722 << property->getDeclName() in DiagnosePropertyAccessorMismatch()
1723 << GetterMethod->getSelector(); in DiagnosePropertyAccessorMismatch()
1724 Diag(GetterMethod->getLocation(), diag::note_declared_at); in DiagnosePropertyAccessorMismatch()
1731 /// CollectImmediateProperties - This routine collects all properties in
1737 bool CollectClassPropsOnly = false, in CollectImmediateProperties()
1738 bool IncludeProtocols = true) { in CollectImmediateProperties()
1740 for (auto *Prop : IDecl->properties()) { in CollectImmediateProperties()
1741 if (CollectClassPropsOnly && !Prop->isClassProperty()) in CollectImmediateProperties()
1743 PropMap[std::make_pair(Prop->getIdentifier(), Prop->isClassProperty())] = in CollectImmediateProperties()
1748 for (auto *Ext : IDecl->visible_extensions()) in CollectImmediateProperties()
1754 for (auto *PI : IDecl->all_referenced_protocols()) in CollectImmediateProperties()
1760 for (auto *Prop : CATDecl->properties()) { in CollectImmediateProperties()
1761 if (CollectClassPropsOnly && !Prop->isClassProperty()) in CollectImmediateProperties()
1763 PropMap[std::make_pair(Prop->getIdentifier(), Prop->isClassProperty())] = in CollectImmediateProperties()
1768 for (auto *PI : CATDecl->protocols()) in CollectImmediateProperties()
1774 for (auto *Prop : PDecl->properties()) { in CollectImmediateProperties()
1775 if (CollectClassPropsOnly && !Prop->isClassProperty()) in CollectImmediateProperties()
1778 SuperPropMap[std::make_pair(Prop->getIdentifier(), in CollectImmediateProperties()
1779 Prop->isClassProperty())]; in CollectImmediateProperties()
1780 // Exclude property for protocols which conform to class's super-class, in CollectImmediateProperties()
1781 // as super-class has to implement the property. in CollectImmediateProperties()
1783 PropertyFromSuper->getIdentifier() != Prop->getIdentifier()) { in CollectImmediateProperties()
1785 PropMap[std::make_pair(Prop->getIdentifier(), in CollectImmediateProperties()
1786 Prop->isClassProperty())]; in CollectImmediateProperties()
1792 for (auto *PI : PDecl->protocols()) in CollectImmediateProperties()
1798 /// CollectSuperClassPropertyImplementations - This routine collects list of
1803 if (ObjCInterfaceDecl *SDecl = CDecl->getSuperClass()) { in CollectSuperClassPropertyImplementations()
1805 SDecl->collectPropertiesToImplement(PropMap); in CollectSuperClassPropertyImplementations()
1806 SDecl = SDecl->getSuperClass(); in CollectSuperClassPropertyImplementations()
1811 /// IvarBacksCurrentMethodAccessor - This routine returns 'true' if 'IV' is
1812 /// an ivar synthesized for 'Method' and 'Method' is a property accessor
1814 bool SemaObjC::IvarBacksCurrentMethodAccessor(ObjCInterfaceDecl *IFace, in IvarBacksCurrentMethodAccessor()
1817 if (!IV->getSynthesize()) in IvarBacksCurrentMethodAccessor()
1819 ObjCMethodDecl *IMD = IFace->lookupMethod(Method->getSelector(), in IvarBacksCurrentMethodAccessor()
1820 Method->isInstanceMethod()); in IvarBacksCurrentMethodAccessor()
1821 if (!IMD || !IMD->isPropertyAccessor()) in IvarBacksCurrentMethodAccessor()
1824 // look up a property declaration whose one of its accessors is implemented in IvarBacksCurrentMethodAccessor()
1826 for (const auto *Property : IFace->instance_properties()) { in IvarBacksCurrentMethodAccessor() local
1827 if ((Property->getGetterName() == IMD->getSelector() || in IvarBacksCurrentMethodAccessor()
1828 Property->getSetterName() == IMD->getSelector()) && in IvarBacksCurrentMethodAccessor()
1829 (Property->getPropertyIvarDecl() == IV)) in IvarBacksCurrentMethodAccessor()
1832 // Also look up property declaration in class extension whose one of its in IvarBacksCurrentMethodAccessor()
1834 for (const auto *Ext : IFace->known_extensions()) in IvarBacksCurrentMethodAccessor()
1835 for (const auto *Property : Ext->instance_properties()) in IvarBacksCurrentMethodAccessor() local
1836 if ((Property->getGetterName() == IMD->getSelector() || in IvarBacksCurrentMethodAccessor()
1837 Property->getSetterName() == IMD->getSelector()) && in IvarBacksCurrentMethodAccessor()
1838 (Property->getPropertyIvarDecl() == IV)) in IvarBacksCurrentMethodAccessor()
1843 static bool SuperClassImplementsProperty(ObjCInterfaceDecl *IDecl, in SuperClassImplementsProperty()
1845 bool SuperClassImplementsGetter = false; in SuperClassImplementsProperty()
1846 bool SuperClassImplementsSetter = false; in SuperClassImplementsProperty()
1847 if (Prop->getPropertyAttributes() & ObjCPropertyAttribute::kind_readonly) in SuperClassImplementsProperty()
1850 while (IDecl->getSuperClass()) { in SuperClassImplementsProperty()
1851 ObjCInterfaceDecl *SDecl = IDecl->getSuperClass(); in SuperClassImplementsProperty()
1852 if (!SuperClassImplementsGetter && SDecl->getInstanceMethod(Prop->getGetterName())) in SuperClassImplementsProperty()
1855 if (!SuperClassImplementsSetter && SDecl->getInstanceMethod(Prop->getSetterName())) in SuperClassImplementsProperty()
1859 IDecl = IDecl->getSuperClass(); in SuperClassImplementsProperty()
1871 IDecl->collectPropertiesToImplement(PropMap); in DefaultSynthesizeProperties()
1879 // Is there a matching property synthesize/dynamic? in DefaultSynthesizeProperties()
1880 if (Prop->isInvalidDecl() || in DefaultSynthesizeProperties()
1881 Prop->isClassProperty() || in DefaultSynthesizeProperties()
1882 Prop->getPropertyImplementation() == ObjCPropertyDecl::Optional) in DefaultSynthesizeProperties()
1884 // Property may have been synthesized by user. in DefaultSynthesizeProperties()
1885 if (IMPDecl->FindPropertyImplDecl( in DefaultSynthesizeProperties()
1886 Prop->getIdentifier(), Prop->getQueryKind())) in DefaultSynthesizeProperties()
1888 ObjCMethodDecl *ImpMethod = IMPDecl->getInstanceMethod(Prop->getGetterName()); in DefaultSynthesizeProperties()
1889 if (ImpMethod && !ImpMethod->getBody()) { in DefaultSynthesizeProperties()
1890 if (Prop->getPropertyAttributes() & ObjCPropertyAttribute::kind_readonly) in DefaultSynthesizeProperties()
1892 ImpMethod = IMPDecl->getInstanceMethod(Prop->getSetterName()); in DefaultSynthesizeProperties()
1893 if (ImpMethod && !ImpMethod->getBody()) in DefaultSynthesizeProperties()
1897 IMPDecl->FindPropertyImplIvarDecl(Prop->getIdentifier())) { in DefaultSynthesizeProperties()
1898 Diag(Prop->getLocation(), diag::warn_no_autosynthesis_shared_ivar_property) in DefaultSynthesizeProperties()
1899 << Prop->getIdentifier(); in DefaultSynthesizeProperties()
1900 if (PID->getLocation().isValid()) in DefaultSynthesizeProperties()
1901 Diag(PID->getLocation(), diag::note_property_synthesize); in DefaultSynthesizeProperties()
1905 SuperPropMap[std::make_pair(Prop->getIdentifier(), in DefaultSynthesizeProperties()
1906 Prop->isClassProperty())]; in DefaultSynthesizeProperties()
1908 dyn_cast<ObjCProtocolDecl>(Prop->getDeclContext())) { in DefaultSynthesizeProperties()
1909 // We won't auto-synthesize properties declared in protocols. in DefaultSynthesizeProperties()
1910 // Suppress the warning if class's superclass implements property's in DefaultSynthesizeProperties()
1911 // getter and implements property's setter (if readwrite property). in DefaultSynthesizeProperties()
1912 // Or, if property is going to be implemented in its super class. in DefaultSynthesizeProperties()
1914 Diag(IMPDecl->getLocation(), in DefaultSynthesizeProperties()
1917 Diag(Prop->getLocation(), diag::note_property_declare); in DefaultSynthesizeProperties()
1919 (Twine("@synthesize ") + Prop->getName() + ";\n\n").str(); in DefaultSynthesizeProperties()
1925 // If property to be implemented in the super class, ignore. in DefaultSynthesizeProperties()
1927 if ((Prop->getPropertyAttributes() & in DefaultSynthesizeProperties()
1929 (PropInSuperClass->getPropertyAttributes() & in DefaultSynthesizeProperties()
1931 !IMPDecl->getInstanceMethod(Prop->getSetterName()) && in DefaultSynthesizeProperties()
1932 !IDecl->HasUserDeclaredSetterMethod(Prop)) { in DefaultSynthesizeProperties()
1933 Diag(Prop->getLocation(), diag::warn_no_autosynthesis_property) in DefaultSynthesizeProperties()
1934 << Prop->getIdentifier(); in DefaultSynthesizeProperties()
1935 Diag(PropInSuperClass->getLocation(), diag::note_property_declare); in DefaultSynthesizeProperties()
1937 Diag(Prop->getLocation(), diag::warn_autosynthesis_property_in_superclass) in DefaultSynthesizeProperties()
1938 << Prop->getIdentifier(); in DefaultSynthesizeProperties()
1939 Diag(PropInSuperClass->getLocation(), diag::note_property_declare); in DefaultSynthesizeProperties()
1940 Diag(IMPDecl->getLocation(), diag::note_while_in_implementation); in DefaultSynthesizeProperties()
1951 /* property = */ Prop->getIdentifier(), in DefaultSynthesizeProperties()
1952 /* ivar = */ Prop->getDefaultSynthIvarName(Context), in DefaultSynthesizeProperties()
1953 Prop->getLocation(), Prop->getQueryKind())); in DefaultSynthesizeProperties()
1954 if (PIDecl && !Prop->isUnavailable()) { in DefaultSynthesizeProperties()
1955 Diag(Prop->getLocation(), diag::warn_missing_explicit_synthesis); in DefaultSynthesizeProperties()
1956 Diag(IMPDecl->getLocation(), diag::note_while_in_implementation); in DefaultSynthesizeProperties()
1969 if (ObjCInterfaceDecl* IDecl = IC->getClassInterface()) in DefaultSynthesizeProperties()
1970 if (!IDecl->isObjCRequiresPropertyDefs()) in DefaultSynthesizeProperties()
1982 return x->getSelector() == Method && in DiagnoseUnimplementedAccessor()
1983 x->isClassMethod() == Prop->isClassProperty(); in DiagnoseUnimplementedAccessor()
1985 // When reporting on missing property setter/getter implementation in in DiagnoseUnimplementedAccessor()
1991 !PrimaryClass->lookupPropertyAccessor(Method, C, in DiagnoseUnimplementedAccessor()
1992 Prop->isClassProperty()))) { in DiagnoseUnimplementedAccessor()
1995 ? (Prop->isClassProperty() in DiagnoseUnimplementedAccessor()
1998 : (Prop->isClassProperty() in DiagnoseUnimplementedAccessor()
2001 S.Diag(IMPDecl->getLocation(), diag) << Prop->getDeclName() << Method; in DiagnoseUnimplementedAccessor()
2002 S.Diag(Prop->getLocation(), diag::note_property_declare); in DiagnoseUnimplementedAccessor()
2006 if (const ObjCInterfaceDecl *RID = ID->isObjCRequiresPropertyDefs()) in DiagnoseUnimplementedAccessor()
2007 S.Diag(RID->getLocation(), diag::note_suppressed_class_declare); in DiagnoseUnimplementedAccessor()
2013 bool SynthesizeProperties) { in DiagnoseUnimplementedProperties()
2025 // its primary class (and its super classes) if property is in DiagnoseUnimplementedProperties()
2027 if ((IDecl = C->getClassInterface())) { in DiagnoseUnimplementedProperties()
2028 IDecl->collectPropertiesToImplement(NoNeedToImplPropMap); in DiagnoseUnimplementedProperties()
2044 for (auto *PDecl : IDecl->all_referenced_protocols()) { in DiagnoseUnimplementedProperties()
2045 if (!PDecl->hasAttr<ObjCExplicitProtocolImplAttr>()) in DiagnoseUnimplementedProperties()
2063 for (auto *PropDecl : PDecl->properties()) { in DiagnoseUnimplementedProperties()
2064 if ((*LazyMap)[std::make_pair(PropDecl->getIdentifier(), in DiagnoseUnimplementedProperties()
2065 PropDecl->isClassProperty())]) in DiagnoseUnimplementedProperties()
2067 PropMap[std::make_pair(PropDecl->getIdentifier(), in DiagnoseUnimplementedProperties()
2068 PropDecl->isClassProperty())] = PropDecl; in DiagnoseUnimplementedProperties()
2077 for (const auto *I : IMPDecl->property_impls()) in DiagnoseUnimplementedProperties()
2078 PropImplMap.insert(I->getPropertyDecl()); in DiagnoseUnimplementedProperties()
2081 // Collect property accessors implemented in current implementation. in DiagnoseUnimplementedProperties()
2082 for (const auto *I : IMPDecl->methods()) in DiagnoseUnimplementedProperties()
2087 if (C && !C->IsClassExtension()) in DiagnoseUnimplementedProperties()
2088 if ((PrimaryClass = C->getClassInterface())) in DiagnoseUnimplementedProperties()
2090 if (ObjCImplDecl *IMP = PrimaryClass->getImplementation()) { in DiagnoseUnimplementedProperties()
2094 for (const auto *I : IMP->methods()) in DiagnoseUnimplementedProperties()
2100 ObjCPropertyDecl *Prop = P->second; in DiagnoseUnimplementedProperties()
2101 // Is there a matching property synthesize/dynamic? in DiagnoseUnimplementedProperties()
2102 if (Prop->isInvalidDecl() || in DiagnoseUnimplementedProperties()
2103 Prop->getPropertyImplementation() == ObjCPropertyDecl::Optional || in DiagnoseUnimplementedProperties()
2105 Prop->getAvailability() == AR_Unavailable) in DiagnoseUnimplementedProperties()
2109 DiagnoseUnimplementedAccessor(SemaRef, PrimaryClass, Prop->getGetterName(), in DiagnoseUnimplementedProperties()
2111 if (!Prop->isReadOnly()) in DiagnoseUnimplementedProperties()
2113 Prop->getSetterName(), IMPDecl, CDecl, C, in DiagnoseUnimplementedProperties()
2120 for (const auto *propertyImpl : impDecl->property_impls()) { in diagnoseNullResettableSynthesizedSetters()
2121 const auto *property = propertyImpl->getPropertyDecl(); in diagnoseNullResettableSynthesizedSetters() local
2124 if (propertyImpl->getPropertyImplementation() == in diagnoseNullResettableSynthesizedSetters()
2126 (property->getPropertyAttributes() & in diagnoseNullResettableSynthesizedSetters()
2128 property->getGetterMethodDecl() && property->getSetterMethodDecl()) { in diagnoseNullResettableSynthesizedSetters()
2129 auto *getterImpl = propertyImpl->getGetterMethodDecl(); in diagnoseNullResettableSynthesizedSetters()
2130 auto *setterImpl = propertyImpl->getSetterMethodDecl(); in diagnoseNullResettableSynthesizedSetters()
2131 if ((!getterImpl || getterImpl->isSynthesizedAccessorStub()) && in diagnoseNullResettableSynthesizedSetters()
2132 (!setterImpl || setterImpl->isSynthesizedAccessorStub())) { in diagnoseNullResettableSynthesizedSetters()
2133 SourceLocation loc = propertyImpl->getLocation(); in diagnoseNullResettableSynthesizedSetters()
2135 loc = impDecl->getBeginLoc(); in diagnoseNullResettableSynthesizedSetters()
2138 << setterImpl->getSelector() << property->getDeclName(); in diagnoseNullResettableSynthesizedSetters()
2146 // Rules apply in non-GC mode only in AtomicPropertySetterGetterRules()
2150 for (auto *Prop : IDecl->properties()) in AtomicPropertySetterGetterRules()
2151 PM[std::make_pair(Prop->getIdentifier(), Prop->isClassProperty())] = Prop; in AtomicPropertySetterGetterRules()
2152 for (const auto *Ext : IDecl->known_extensions()) in AtomicPropertySetterGetterRules()
2153 for (auto *Prop : Ext->properties()) in AtomicPropertySetterGetterRules()
2154 PM[std::make_pair(Prop->getIdentifier(), Prop->isClassProperty())] = Prop; in AtomicPropertySetterGetterRules()
2158 const ObjCPropertyDecl *Property = I->second; in AtomicPropertySetterGetterRules() local
2162 unsigned Attributes = Property->getPropertyAttributes(); in AtomicPropertySetterGetterRules()
2163 unsigned AttributesAsWritten = Property->getPropertyAttributesAsWritten(); in AtomicPropertySetterGetterRules()
2167 GetterMethod = Property->isClassProperty() ? in AtomicPropertySetterGetterRules()
2168 IMPDecl->getClassMethod(Property->getGetterName()) : in AtomicPropertySetterGetterRules()
2169 IMPDecl->getInstanceMethod(Property->getGetterName()); in AtomicPropertySetterGetterRules()
2170 SetterMethod = Property->isClassProperty() ? in AtomicPropertySetterGetterRules()
2171 IMPDecl->getClassMethod(Property->getSetterName()) : in AtomicPropertySetterGetterRules()
2172 IMPDecl->getInstanceMethod(Property->getSetterName()); in AtomicPropertySetterGetterRules()
2173 if (GetterMethod && GetterMethod->isSynthesizedAccessorStub()) in AtomicPropertySetterGetterRules()
2175 if (SetterMethod && SetterMethod->isSynthesizedAccessorStub()) in AtomicPropertySetterGetterRules()
2178 Diag(GetterMethod->getLocation(), in AtomicPropertySetterGetterRules()
2180 << Property->getIdentifier() << 0; in AtomicPropertySetterGetterRules()
2181 Diag(Property->getLocation(), diag::note_property_declare); in AtomicPropertySetterGetterRules()
2184 Diag(SetterMethod->getLocation(), in AtomicPropertySetterGetterRules()
2186 << Property->getIdentifier() << 1; in AtomicPropertySetterGetterRules()
2187 Diag(Property->getLocation(), diag::note_property_declare); in AtomicPropertySetterGetterRules()
2191 // We only care about readwrite atomic property. in AtomicPropertySetterGetterRules()
2195 if (const ObjCPropertyImplDecl *PIDecl = IMPDecl->FindPropertyImplDecl( in AtomicPropertySetterGetterRules()
2196 Property->getIdentifier(), Property->getQueryKind())) { in AtomicPropertySetterGetterRules()
2197 if (PIDecl->getPropertyImplementation() == ObjCPropertyImplDecl::Dynamic) in AtomicPropertySetterGetterRules()
2199 GetterMethod = PIDecl->getGetterMethodDecl(); in AtomicPropertySetterGetterRules()
2200 SetterMethod = PIDecl->getSetterMethodDecl(); in AtomicPropertySetterGetterRules()
2201 if (GetterMethod && GetterMethod->isSynthesizedAccessorStub()) in AtomicPropertySetterGetterRules()
2203 if (SetterMethod && SetterMethod->isSynthesizedAccessorStub()) in AtomicPropertySetterGetterRules()
2205 if ((bool)GetterMethod ^ (bool)SetterMethod) { in AtomicPropertySetterGetterRules()
2207 (GetterMethod ? GetterMethod->getLocation() in AtomicPropertySetterGetterRules()
2208 : SetterMethod->getLocation()); in AtomicPropertySetterGetterRules()
2210 << Property->getIdentifier() << (GetterMethod != nullptr) in AtomicPropertySetterGetterRules()
2213 if (Property->getLParenLoc().isValid() && in AtomicPropertySetterGetterRules()
2215 // @property () ... case. in AtomicPropertySetterGetterRules()
2217 SemaRef.getLocForEndOfToken(Property->getLParenLoc()); in AtomicPropertySetterGetterRules()
2220 Diag(Property->getLocation(), in AtomicPropertySetterGetterRules()
2223 } else if (Property->getLParenLoc().isInvalid()) { in AtomicPropertySetterGetterRules()
2224 //@property id etc. in AtomicPropertySetterGetterRules()
2226 Property->getTypeSourceInfo()->getTypeLoc().getBeginLoc(); in AtomicPropertySetterGetterRules()
2227 Diag(Property->getLocation(), in AtomicPropertySetterGetterRules()
2232 Diag(Property->getLocation(), diag::note_property_declare); in AtomicPropertySetterGetterRules()
2243 for (const auto *PID : D->property_impls()) { in DiagnoseOwningPropertyGetterSynthesis()
2244 const ObjCPropertyDecl *PD = PID->getPropertyDecl(); in DiagnoseOwningPropertyGetterSynthesis()
2245 if (PD && !PD->hasAttr<NSReturnsNotRetainedAttr>() && in DiagnoseOwningPropertyGetterSynthesis()
2246 !PD->isClassProperty()) { in DiagnoseOwningPropertyGetterSynthesis()
2247 ObjCMethodDecl *IM = PID->getGetterMethodDecl(); in DiagnoseOwningPropertyGetterSynthesis()
2248 if (IM && !IM->isSynthesizedAccessorStub()) in DiagnoseOwningPropertyGetterSynthesis()
2250 ObjCMethodDecl *method = PD->getGetterMethodDecl(); in DiagnoseOwningPropertyGetterSynthesis()
2253 ObjCMethodFamily family = method->getMethodFamily(); in DiagnoseOwningPropertyGetterSynthesis()
2257 Diag(PD->getLocation(), diag::err_cocoa_naming_owned_rule); in DiagnoseOwningPropertyGetterSynthesis()
2259 Diag(PD->getLocation(), diag::warn_cocoa_naming_owned_rule); in DiagnoseOwningPropertyGetterSynthesis()
2261 // Look for a getter explicitly declared alongside the property. in DiagnoseOwningPropertyGetterSynthesis()
2263 SourceLocation noteLoc = PD->getLocation(); in DiagnoseOwningPropertyGetterSynthesis()
2265 for (auto *getterRedecl : method->redecls()) { in DiagnoseOwningPropertyGetterSynthesis()
2266 if (getterRedecl->isImplicit()) in DiagnoseOwningPropertyGetterSynthesis()
2268 if (getterRedecl->getDeclContext() != PD->getDeclContext()) in DiagnoseOwningPropertyGetterSynthesis()
2270 noteLoc = getterRedecl->getLocation(); in DiagnoseOwningPropertyGetterSynthesis()
2271 fixItLoc = getterRedecl->getEndLoc(); in DiagnoseOwningPropertyGetterSynthesis()
2287 << method->getDeclName() << spelling; in DiagnoseOwningPropertyGetterSynthesis()
2300 assert(IFD->hasDesignatedInitializers()); in DiagnoseMissingDesignatedInitOverrides()
2301 const ObjCInterfaceDecl *SuperD = IFD->getSuperClass(); in DiagnoseMissingDesignatedInitOverrides()
2306 for (const auto *I : ImplD->instance_methods()) in DiagnoseMissingDesignatedInitOverrides()
2307 if (I->getMethodFamily() == OMF_init) in DiagnoseMissingDesignatedInitOverrides()
2308 InitSelSet.insert(I->getSelector()); in DiagnoseMissingDesignatedInitOverrides()
2311 SuperD->getDesignatedInitializers(DesignatedInits); in DiagnoseMissingDesignatedInitOverrides()
2315 if (!InitSelSet.count(MD->getSelector())) { in DiagnoseMissingDesignatedInitOverrides()
2318 bool Ignore = false; in DiagnoseMissingDesignatedInitOverrides()
2319 if (auto *IMD = IFD->getInstanceMethod(MD->getSelector())) { in DiagnoseMissingDesignatedInitOverrides()
2320 Ignore = IMD->isUnavailable(); in DiagnoseMissingDesignatedInitOverrides()
2323 for (auto *Ext : IFD->visible_extensions()) in DiagnoseMissingDesignatedInitOverrides()
2324 if (auto *IMD = Ext->getInstanceMethod(MD->getSelector())) { in DiagnoseMissingDesignatedInitOverrides()
2325 Ignore = IMD->isUnavailable(); in DiagnoseMissingDesignatedInitOverrides()
2330 Diag(ImplD->getLocation(), in DiagnoseMissingDesignatedInitOverrides()
2332 << MD->getSelector(); in DiagnoseMissingDesignatedInitOverrides()
2333 Diag(MD->getLocation(), diag::note_objc_designated_init_marked_here); in DiagnoseMissingDesignatedInitOverrides()
2339 /// AddPropertyAttrs - Propagates attributes from a property to the
2340 /// implicitly-declared getter or setter for that property.
2342 ObjCPropertyDecl *Property) { in AddPropertyAttrs() argument
2344 for (const auto *A : Property->attrs()) { in AddPropertyAttrs()
2348 PropertyMethod->addAttr(A->clone(S.Context)); in AddPropertyAttrs()
2352 /// ProcessPropertyDecl - Make sure that any user-defined setter/getter methods
2353 /// have the property type and issue diagnostics if they don't.
2356 void SemaObjC::ProcessPropertyDecl(ObjCPropertyDecl *property) { in ProcessPropertyDecl() argument
2359 ObjCContainerDecl *CD = cast<ObjCContainerDecl>(property->getDeclContext()); in ProcessPropertyDecl()
2360 if (CD->isInvalidDecl()) in ProcessPropertyDecl()
2363 bool IsClassProperty = property->isClassProperty(); in ProcessPropertyDecl()
2365 CD->getClassMethod(property->getGetterName()) : in ProcessPropertyDecl()
2366 CD->getInstanceMethod(property->getGetterName()); in ProcessPropertyDecl()
2372 if (CatDecl->IsClassExtension()) in ProcessPropertyDecl()
2373 GetterMethod = IsClassProperty ? CatDecl->getClassInterface()-> in ProcessPropertyDecl()
2374 getClassMethod(property->getGetterName()) : in ProcessPropertyDecl()
2375 CatDecl->getClassInterface()-> in ProcessPropertyDecl()
2376 getInstanceMethod(property->getGetterName()); in ProcessPropertyDecl()
2379 CD->getClassMethod(property->getSetterName()) : in ProcessPropertyDecl()
2380 CD->getInstanceMethod(property->getSetterName()); in ProcessPropertyDecl()
2383 if (CatDecl->IsClassExtension()) in ProcessPropertyDecl()
2384 SetterMethod = IsClassProperty ? CatDecl->getClassInterface()-> in ProcessPropertyDecl()
2385 getClassMethod(property->getSetterName()) : in ProcessPropertyDecl()
2386 CatDecl->getClassInterface()-> in ProcessPropertyDecl()
2387 getInstanceMethod(property->getSetterName()); in ProcessPropertyDecl()
2388 DiagnosePropertyAccessorMismatch(property, GetterMethod, in ProcessPropertyDecl()
2389 property->getLocation()); in ProcessPropertyDecl()
2395 auto *ExistingGetter = CatDecl->getClassInterface()->lookupMethod( in ProcessPropertyDecl()
2396 property->getGetterName(), !IsClassProperty, true, false, CatDecl); in ProcessPropertyDecl()
2398 if (ExistingGetter->isDirectMethod() || property->isDirectProperty()) { in ProcessPropertyDecl()
2399 Diag(property->getLocation(), diag::err_objc_direct_duplicate_decl) in ProcessPropertyDecl()
2400 << property->isDirectProperty() << 1 /* property */ in ProcessPropertyDecl()
2401 << ExistingGetter->isDirectMethod() in ProcessPropertyDecl()
2402 << ExistingGetter->getDeclName(); in ProcessPropertyDecl()
2403 Diag(ExistingGetter->getLocation(), diag::note_previous_declaration); in ProcessPropertyDecl()
2409 if (!property->isReadOnly() && !SetterMethod) { in ProcessPropertyDecl()
2411 auto *ExistingSetter = CatDecl->getClassInterface()->lookupMethod( in ProcessPropertyDecl()
2412 property->getSetterName(), !IsClassProperty, true, false, CatDecl); in ProcessPropertyDecl()
2414 if (ExistingSetter->isDirectMethod() || property->isDirectProperty()) { in ProcessPropertyDecl()
2415 Diag(property->getLocation(), diag::err_objc_direct_duplicate_decl) in ProcessPropertyDecl()
2416 << property->isDirectProperty() << 1 /* property */ in ProcessPropertyDecl()
2417 << ExistingSetter->isDirectMethod() in ProcessPropertyDecl()
2418 << ExistingSetter->getDeclName(); in ProcessPropertyDecl()
2419 Diag(ExistingSetter->getLocation(), diag::note_previous_declaration); in ProcessPropertyDecl()
2425 if (!property->isReadOnly() && SetterMethod) { in ProcessPropertyDecl()
2426 if (Context.getCanonicalType(SetterMethod->getReturnType()) != in ProcessPropertyDecl()
2428 Diag(SetterMethod->getLocation(), diag::err_setter_type_void); in ProcessPropertyDecl()
2429 if (SetterMethod->param_size() != 1 || in ProcessPropertyDecl()
2431 (*SetterMethod->param_begin())->getType().getNonReferenceType(), in ProcessPropertyDecl()
2432 property->getType().getNonReferenceType())) { in ProcessPropertyDecl()
2433 Diag(property->getLocation(), in ProcessPropertyDecl()
2435 << property->getDeclName() in ProcessPropertyDecl()
2436 << SetterMethod->getSelector(); in ProcessPropertyDecl()
2437 Diag(SetterMethod->getLocation(), diag::note_declared_at); in ProcessPropertyDecl()
2443 // FIXME: The synthesized property we set here is misleading. We almost always in ProcessPropertyDecl()
2448 // No instance/class method of same name as property getter name was found. in ProcessPropertyDecl()
2451 SourceLocation Loc = property->getLocation(); in ProcessPropertyDecl()
2453 // The getter returns the declared property type with all qualifiers in ProcessPropertyDecl()
2455 QualType resultTy = property->getType().getAtomicUnqualifiedType(); in ProcessPropertyDecl()
2457 // If the property is null_resettable, the getter returns nonnull. in ProcessPropertyDecl()
2458 if (property->getPropertyAttributes() & in ProcessPropertyDecl()
2469 Context, Loc, Loc, property->getGetterName(), resultTy, nullptr, CD, in ProcessPropertyDecl()
2473 (property->getPropertyImplementation() == ObjCPropertyDecl::Optional) in ProcessPropertyDecl()
2476 CD->addDecl(GetterMethod); in ProcessPropertyDecl()
2478 AddPropertyAttrs(SemaRef, GetterMethod, property); in ProcessPropertyDecl()
2480 if (property->isDirectProperty()) in ProcessPropertyDecl()
2481 GetterMethod->addAttr(ObjCDirectAttr::CreateImplicit(Context, Loc)); in ProcessPropertyDecl()
2483 if (property->hasAttr<NSReturnsNotRetainedAttr>()) in ProcessPropertyDecl()
2484 GetterMethod->addAttr(NSReturnsNotRetainedAttr::CreateImplicit(Context, in ProcessPropertyDecl()
2487 if (property->hasAttr<ObjCReturnsInnerPointerAttr>()) in ProcessPropertyDecl()
2488 GetterMethod->addAttr( in ProcessPropertyDecl()
2491 if (const SectionAttr *SA = property->getAttr<SectionAttr>()) in ProcessPropertyDecl()
2492 GetterMethod->addAttr(SectionAttr::CreateImplicit( in ProcessPropertyDecl()
2493 Context, SA->getName(), Loc, SectionAttr::GNU_section)); in ProcessPropertyDecl()
2501 // the property with the same name is seen in the @implementation in ProcessPropertyDecl()
2502 GetterMethod->setPropertyAccessor(true); in ProcessPropertyDecl()
2504 GetterMethod->createImplicitParams(Context, in ProcessPropertyDecl()
2505 GetterMethod->getClassInterface()); in ProcessPropertyDecl()
2506 property->setGetterMethodDecl(GetterMethod); in ProcessPropertyDecl()
2508 // Skip setter if property is read-only. in ProcessPropertyDecl()
2509 if (!property->isReadOnly()) { in ProcessPropertyDecl()
2512 // No instance/class method of same name as property setter name was in ProcessPropertyDecl()
2516 SourceLocation Loc = property->getLocation(); in ProcessPropertyDecl()
2519 Context, Loc, Loc, property->getSetterName(), Context.VoidTy, nullptr, in ProcessPropertyDecl()
2526 (property->getPropertyImplementation() == ObjCPropertyDecl::Optional) in ProcessPropertyDecl()
2532 property->getType().getUnqualifiedType().getAtomicUnqualifiedType(); in ProcessPropertyDecl()
2534 // If the property is null_resettable, the setter accepts a in ProcessPropertyDecl()
2536 if (property->getPropertyAttributes() & in ProcessPropertyDecl()
2550 property->getIdentifier(), in ProcessPropertyDecl()
2555 SetterMethod->setMethodParams(Context, Argument, std::nullopt); in ProcessPropertyDecl()
2557 AddPropertyAttrs(SemaRef, SetterMethod, property); in ProcessPropertyDecl()
2559 if (property->isDirectProperty()) in ProcessPropertyDecl()
2560 SetterMethod->addAttr(ObjCDirectAttr::CreateImplicit(Context, Loc)); in ProcessPropertyDecl()
2562 CD->addDecl(SetterMethod); in ProcessPropertyDecl()
2563 if (const SectionAttr *SA = property->getAttr<SectionAttr>()) in ProcessPropertyDecl()
2564 SetterMethod->addAttr(SectionAttr::CreateImplicit( in ProcessPropertyDecl()
2565 Context, SA->getName(), Loc, SectionAttr::GNU_section)); in ProcessPropertyDecl()
2575 // the property with the same name is seen in the @implementation in ProcessPropertyDecl()
2576 SetterMethod->setPropertyAccessor(true); in ProcessPropertyDecl()
2578 SetterMethod->createImplicitParams(Context, in ProcessPropertyDecl()
2579 SetterMethod->getClassInterface()); in ProcessPropertyDecl()
2580 property->setSetterMethodDecl(SetterMethod); in ProcessPropertyDecl()
2586 // @property double bar; in ProcessPropertyDecl()
2609 CurrentClass = Cat->getClassInterface(); in ProcessPropertyDecl()
2611 CurrentClass = Impl->getClassInterface(); in ProcessPropertyDecl()
2621 bool propertyInPrimaryClass) { in CheckObjCPropertyAttributes()
2623 if (!PDecl || PDecl->isInvalidDecl()) in CheckObjCPropertyAttributes()
2632 QualType PropertyTy = PropertyDecl->getType(); in CheckObjCPropertyAttributes()
2634 // Check for copy or retain on non-object types. in CheckObjCPropertyAttributes()
2639 !PropertyTy->isObjCRetainableType() && in CheckObjCPropertyAttributes()
2640 !PropertyDecl->hasAttr<ObjCNSObjectAttr>()) { in CheckObjCPropertyAttributes()
2651 PropertyDecl->setInvalidDecl(); in CheckObjCPropertyAttributes()
2657 PropertyTy->isObjCRetainableType() && in CheckObjCPropertyAttributes()
2658 !PropertyTy->isObjCARCImplicitlyUnretainedType()) { in CheckObjCPropertyAttributes()
2685 if (PropertyDecl->hasAttr<IBOutletCollectionAttr>()) in CheckObjCPropertyAttributes()
2739 if (auto nullability = PropertyTy->getNullability()) { in CheckObjCPropertyAttributes()
2753 // Warn if user supplied no assignment attribute, property is in CheckObjCPropertyAttributes()
2755 if (!getOwnershipRule(Attributes) && PropertyTy->isObjCRetainableType()) { in CheckObjCPropertyAttributes()
2759 // With arc, @property definitions should default to strong when in CheckObjCPropertyAttributes()
2761 PropertyDecl->setPropertyAttributes(ObjCPropertyAttribute::kind_strong); in CheckObjCPropertyAttributes()
2762 } else if (PropertyTy->isObjCObjectPointerType()) { in CheckObjCPropertyAttributes()
2763 bool isAnyClassTy = (PropertyTy->isObjCClassType() || in CheckObjCPropertyAttributes()
2764 PropertyTy->isObjCQualifiedClassType()); in CheckObjCPropertyAttributes()
2765 // In non-gc, non-arc mode, 'Class' is treated as a 'void *' no need to in CheckObjCPropertyAttributes()
2770 // Don't issue warning on property with no life time in class in CheckObjCPropertyAttributes()
2771 // extension as it is inherited from property in primary class. in CheckObjCPropertyAttributes()
2772 // Skip this warning in gc-only mode. in CheckObjCPropertyAttributes()
2776 // If non-gc code warn that this is likely inappropriate. in CheckObjCPropertyAttributes()
2789 PropertyTy->isBlockPointerType()) in CheckObjCPropertyAttributes()
2794 PropertyTy->isBlockPointerType()) in CheckObjCPropertyAttributes()