Index: cfe/trunk/lib/StaticAnalyzer/Checkers/Checkers.td =================================================================== --- cfe/trunk/lib/StaticAnalyzer/Checkers/Checkers.td +++ cfe/trunk/lib/StaticAnalyzer/Checkers/Checkers.td @@ -478,7 +478,7 @@ DescFile<"DirectIvarAssignment.cpp">; def ObjCGenericsChecker : Checker<"ObjCGenerics">, - HelpText<"Check for incorrect usages of parameterized types.">, + HelpText<"Check for type errors when using Objective-C generics">, DescFile<"ObjCGenericsChecker.cpp">; def NonLocalizedStringChecker : Checker<"NonLocalizedStringChecker">, Index: cfe/trunk/lib/StaticAnalyzer/Checkers/ObjCGenericsChecker.cpp =================================================================== --- cfe/trunk/lib/StaticAnalyzer/Checkers/ObjCGenericsChecker.cpp +++ cfe/trunk/lib/StaticAnalyzer/Checkers/ObjCGenericsChecker.cpp @@ -35,28 +35,22 @@ : public Checker> { public: - ProgramStateRef checkPointerEscape(ProgramStateRef State, - const InvalidatedSymbols &Escaped, - const CallEvent *Call, - PointerEscapeKind Kind) const; - void checkPreObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const; void checkPostObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const; void checkPostStmt(const CastExpr *CE, CheckerContext &C) const; void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const; private: - mutable std::unique_ptr BT; + mutable std::unique_ptr ObjCGenericsBugType; void initBugType() const { - if (!BT) - BT.reset( + if (!ObjCGenericsBugType) + ObjCGenericsBugType.reset( new BugType(this, "Generics", categories::CoreFoundationObjectiveC)); } class GenericsBugVisitor : public BugReporterVisitorImpl { public: GenericsBugVisitor(SymbolRef S) : Sym(S) {} - ~GenericsBugVisitor() override {} void Profile(llvm::FoldingSetNodeID &ID) const override { static int X = 0; @@ -74,28 +68,41 @@ SymbolRef Sym; }; - void reportBug(const ObjCObjectPointerType *From, - const ObjCObjectPointerType *To, ExplodedNode *N, - SymbolRef Sym, CheckerContext &C, - const Stmt *ReportedNode = nullptr) const { - initBugType(); - SmallString<64> Buf; - llvm::raw_svector_ostream OS(Buf); - OS << "Incompatible pointer types assigning to '"; - QualType::print(To, Qualifiers(), OS, C.getLangOpts(), llvm::Twine()); - OS << "' from '"; - QualType::print(From, Qualifiers(), OS, C.getLangOpts(), llvm::Twine()); - OS << "'"; - std::unique_ptr R(new BugReport(*BT, OS.str(), N)); - R->markInteresting(Sym); - R->addVisitor(llvm::make_unique(Sym)); - if (ReportedNode) - R->addRange(ReportedNode->getSourceRange()); - C.emitReport(std::move(R)); - } + void reportGenericsBug(const ObjCObjectPointerType *From, + const ObjCObjectPointerType *To, ExplodedNode *N, + SymbolRef Sym, CheckerContext &C, + const Stmt *ReportedNode = nullptr) const; + + void checkReturnType(const ObjCMessageExpr *MessageExpr, + const ObjCObjectPointerType *TrackedType, SymbolRef Sym, + const ObjCMethodDecl *Method, + ArrayRef TypeArgs, bool SubscriptOrProperty, + CheckerContext &C) const; }; } // end anonymous namespace +void ObjCGenericsChecker::reportGenericsBug(const ObjCObjectPointerType *From, + const ObjCObjectPointerType *To, + ExplodedNode *N, SymbolRef Sym, + CheckerContext &C, + const Stmt *ReportedNode) const { + initBugType(); + SmallString<192> Buf; + llvm::raw_svector_ostream OS(Buf); + OS << "Conversion from value of type '"; + QualType::print(From, Qualifiers(), OS, C.getLangOpts(), llvm::Twine()); + OS << "' to incompatible type '"; + QualType::print(To, Qualifiers(), OS, C.getLangOpts(), llvm::Twine()); + OS << "'"; + std::unique_ptr R( + new BugReport(*ObjCGenericsBugType, OS.str(), N)); + R->markInteresting(Sym); + R->addVisitor(llvm::make_unique(Sym)); + if (ReportedNode) + R->addRange(ReportedNode->getSourceRange()); + C.emitReport(std::move(R)); +} + PathDiagnosticPiece *ObjCGenericsChecker::GenericsBugVisitor::VisitNode( const ExplodedNode *N, const ExplodedNode *PrevN, BugReporterContext &BRC, BugReport &BR) { @@ -124,7 +131,7 @@ const LangOptions &LangOpts = BRC.getASTContext().getLangOpts(); - SmallString<64> Buf; + SmallString<256> Buf; llvm::raw_svector_ostream OS(Buf); OS << "Type '"; QualType::print(*TrackedType, Qualifiers(), OS, LangOpts, llvm::Twine()); @@ -156,6 +163,7 @@ return new PathDiagnosticEventPiece(Pos, OS.str(), true, nullptr); } +/// Clean up the states stored by the checker. void ObjCGenericsChecker::checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const { if (!SR.hasDeadSymbols()) @@ -197,25 +205,99 @@ MostInformativeCandidate, C); } -/// Get the most derived class if From that do not loose information about type -/// parameters. To has to be a subclass of From. From has to be specialized. +/// A downcast may loose specialization information. E. g.: +/// MutableMap : Map +/// The downcast to MutableMap looses the information about the types of the +/// Map (due to the type parameters are not being forwarded to Map), and in +/// general there is no way to recover that information from the +/// declaration. In order to have to most information, lets find the most +/// derived type that has all the type parameters forwarded. +/// +/// Get the a subclass of \p From (which has a lower bound \p To) that do not +/// loose information about type parameters. \p To has to be a subclass of +/// \p From. From has to be specialized. static const ObjCObjectPointerType * getMostInformativeDerivedClass(const ObjCObjectPointerType *From, const ObjCObjectPointerType *To, ASTContext &C) { return getMostInformativeDerivedClassImpl(From, To, To, C); } -static bool storeWhenMoreInformative(ProgramStateRef &State, SymbolRef Sym, - const ObjCObjectPointerType *const *Old, - const ObjCObjectPointerType *New, - ASTContext &C) { - if (!Old || C.canAssignObjCInterfaces(*Old, New)) { - State = State->set(Sym, New); +/// Inputs: +/// \param StaticLowerBound Static lower bound for a symbol. The dynamic lower +/// bound might be the subclass of this type. +/// \param StaticUpperBound A static upper bound for a symbol. +/// \p StaticLowerBound expected to be the subclass of \p StaticUpperBound. +/// \param Current The type that was inferred for a symbol in a previous +/// context. Might be null when this is the first time that inference happens. +/// Precondition: +/// \p StaticLowerBound or \p StaticUpperBound is specialized. If \p Current +/// is not null, it is specialized. +/// Possible cases: +/// (1) The \p Current is null and \p StaticLowerBound <: \p StaticUpperBound +/// (2) \p StaticLowerBound <: \p Current <: \p StaticUpperBound +/// (3) \p Current <: \p StaticLowerBound <: \p StaticUpperBound +/// (4) \p StaticLowerBound <: \p StaticUpperBound <: \p Current +/// Effect: +/// Use getMostInformativeDerivedClass with the upper and lower bound of the +/// set {\p StaticLowerBound, \p Current, \p StaticUpperBound}. The computed +/// lower bound must be specialized. If the result differs from \p Current or +/// \p Current is null, store the result. +static bool +storeWhenMoreInformative(ProgramStateRef &State, SymbolRef Sym, + const ObjCObjectPointerType *const *Current, + const ObjCObjectPointerType *StaticLowerBound, + const ObjCObjectPointerType *StaticUpperBound, + ASTContext &C) { + // Precondition + assert(StaticUpperBound->isSpecialized() || + StaticLowerBound->isSpecialized()); + assert(!Current || (*Current)->isSpecialized()); + + // Case (1) + if (!Current) { + if (StaticUpperBound->isUnspecialized()) { + State = State->set(Sym, StaticLowerBound); + return true; + } + // Upper bound is specialized. + const ObjCObjectPointerType *WithMostInfo = + getMostInformativeDerivedClass(StaticUpperBound, StaticLowerBound, C); + State = State->set(Sym, WithMostInfo); + return true; + } + + // Case (3) + if (C.canAssignObjCInterfaces(StaticLowerBound, *Current)) { + return false; + } + + // Case (4) + if (C.canAssignObjCInterfaces(*Current, StaticUpperBound)) { + // The type arguments might not be forwarded at any point of inheritance. + const ObjCObjectPointerType *WithMostInfo = + getMostInformativeDerivedClass(*Current, StaticUpperBound, C); + WithMostInfo = + getMostInformativeDerivedClass(WithMostInfo, StaticLowerBound, C); + if (WithMostInfo == *Current) + return false; + State = State->set(Sym, WithMostInfo); + return true; + } + + // Case (2) + const ObjCObjectPointerType *WithMostInfo = + getMostInformativeDerivedClass(*Current, StaticLowerBound, C); + if (WithMostInfo != *Current) { + State = State->set(Sym, WithMostInfo); return true; } + return false; } +/// Type inference based on static type information that is available for the +/// cast and the tracked type information for the given symbol. When the tracked +/// symbol and the destination type of the cast are unrelated, report an error. void ObjCGenericsChecker::checkPostStmt(const CastExpr *CE, CheckerContext &C) const { if (CE->getCastKind() != CK_BitCast) @@ -240,10 +322,10 @@ OrigObjectPtrType = OrigObjectPtrType->stripObjCKindOfTypeAndQuals(ASTCtxt); DestObjectPtrType = DestObjectPtrType->stripObjCKindOfTypeAndQuals(ASTCtxt); - const ObjCObjectType *OrigObjectType = OrigObjectPtrType->getObjectType(); - const ObjCObjectType *DestObjectType = DestObjectPtrType->getObjectType(); - - if (OrigObjectType->isUnspecialized() && DestObjectType->isUnspecialized()) + // TODO: erase tracked information when there is a cast to unrelated type + // and everything is unspecialized statically. + if (OrigObjectPtrType->isUnspecialized() && + DestObjectPtrType->isUnspecialized()) return; ProgramStateRef State = C.getState(); @@ -259,26 +341,9 @@ const ObjCObjectPointerType *const *TrackedType = State->get(Sym); - // If OrigObjectType could convert to DestObjectType, this could be an - // implicit cast. Do not treat that cast as explicit in that case. - if (isa(CE) && !OrigToDest) { - if (DestToOrig) { - // Trust explicit downcasts. - // However a downcast may also lose information. E. g.: - // MutableMap : Map - // The downcast to MutableMap loses the information about the types of the - // Map (due to the type parameters are not being forwarded to Map), and in - // general there is no way to recover that information from the - // declaration. In order to have to most information, lets find the most - // derived type that has all the type parameters forwarded. - const ObjCObjectPointerType *WithMostInfo = - getMostInformativeDerivedClass(OrigObjectPtrType, DestObjectPtrType, - C.getASTContext()); - if (storeWhenMoreInformative(State, Sym, TrackedType, WithMostInfo, - ASTCtxt)) - C.addTransition(State); - return; - } + // Downcasts and upcasts handled in an uniform way regardless of being + // explicit. Explicit casts however can happen between mismatched types. + if (isa(CE) && !OrigToDest && !DestToOrig) { // Mismatched types. If the DestType specialized, store it. Forget the // tracked type otherwise. if (DestObjectPtrType->isSpecialized()) { @@ -291,22 +356,6 @@ return; } - // Handle implicit casts and explicit upcasts. - - if (DestObjectType->isUnspecialized()) { - assert(OrigObjectType->isSpecialized()); - // In case we already have some type information for this symbol from a - // Specialized -> Specialized conversion, do not record the OrigType, - // because it might contain less type information than the tracked type. - if (!TrackedType) { - State = State->set(Sym, OrigObjectPtrType); - C.addTransition(State); - } - return; - } - - // The destination type is specialized. - // The tracked type should be the sub or super class of the static destination // type. When an (implicit) upcast or a downcast happens according to static // types, and there is no subtyping relationship between the tracked and the @@ -315,27 +364,23 @@ !ASTCtxt.canAssignObjCInterfaces(DestObjectPtrType, *TrackedType) && !ASTCtxt.canAssignObjCInterfaces(*TrackedType, DestObjectPtrType)) { static CheckerProgramPointTag IllegalConv(this, "IllegalConversion"); - ExplodedNode *N = C.addTransition(State, C.getPredecessor(), &IllegalConv); - reportBug(*TrackedType, DestObjectPtrType, N, Sym, C); + ExplodedNode *N = C.addTransition(State, &IllegalConv); + reportGenericsBug(*TrackedType, DestObjectPtrType, N, Sym, C); return; } - if (OrigToDest && !DestToOrig) { - // When upcast happens, store the type with the most information about the - // type parameters. - const ObjCObjectPointerType *WithMostInfo = getMostInformativeDerivedClass( - DestObjectPtrType, OrigObjectPtrType, ASTCtxt); - if (storeWhenMoreInformative(State, Sym, TrackedType, WithMostInfo, - ASTCtxt)) - C.addTransition(State); - return; - } + // Handle downcasts and upcasts. - // Downcast happens. + const ObjCObjectPointerType *LowerBound = DestObjectPtrType; + const ObjCObjectPointerType *UpperBound = OrigObjectPtrType; + if (OrigToDest && !DestToOrig) + std::swap(LowerBound, UpperBound); - // Trust tracked type on unspecialized value -> specialized implicit - // downcasts. - if (storeWhenMoreInformative(State, Sym, TrackedType, DestObjectPtrType, + // The id type is not a real bound. Eliminate it. + LowerBound = LowerBound->isObjCIdType() ? UpperBound : LowerBound; + UpperBound = UpperBound->isObjCIdType() ? LowerBound : UpperBound; + + if (storeWhenMoreInformative(State, Sym, TrackedType, LowerBound, UpperBound, ASTCtxt)) { C.addTransition(State); } @@ -350,9 +395,9 @@ return E; } -// This callback is used to infer the types for Class variables. This info is -// used later to validate messages that sent to classes. Class variables are -// initialized with by invoking the 'class' method on a class. +/// This callback is used to infer the types for Class variables. This info is +/// used later to validate messages that sent to classes. Class variables are +/// initialized with by invoking the 'class' method on a class. void ObjCGenericsChecker::checkPostObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const { const ObjCMessageExpr *MessageExpr = M.getOriginExpr(); @@ -387,8 +432,7 @@ static bool isObjCTypeParamDependent(QualType Type) { // It is illegal to typedef parameterized types inside an interface. Therfore - // an - // Objective-C type can only be dependent on a type parameter when the type + // an Objective-C type can only be dependent on a type parameter when the type // parameter structurally present in the type itself. class IsObjCTypeParamDependentTypeVisitor : public RecursiveASTVisitor { @@ -401,22 +445,20 @@ } return true; } - bool getResult() { return Result; } - private: bool Result; }; IsObjCTypeParamDependentTypeVisitor Visitor; Visitor.TraverseType(Type); - return Visitor.getResult(); + return Visitor.Result; } -// A method might not be available in the interface indicated by the static -// type. However it might be available in the tracked type. In order to properly -// substitute the type parameters we need the declaration context of the method. -// The more specialized the enclosing class of the method is, the more likely -// that the parameter substitution will be successful. +/// A method might not be available in the interface indicated by the static +/// type. However it might be available in the tracked type. In order to +/// properly substitute the type parameters we need the declaration context of +/// the method. The more specialized the enclosing class of the method is, the +/// more likely that the parameter substitution will be successful. static const ObjCMethodDecl * findMethodDecl(const ObjCMessageExpr *MessageExpr, const ObjCObjectPointerType *TrackedType, ASTContext &ASTCtxt) { @@ -449,8 +491,57 @@ return Method ? Method : MessageExpr->getMethodDecl(); } -// When the receiver has a tracked type, use that type to validate the -// argumments of the message expression and the return value. +/// Validate that the return type of a message expression is used correctly. +void ObjCGenericsChecker::checkReturnType( + const ObjCMessageExpr *MessageExpr, + const ObjCObjectPointerType *TrackedType, SymbolRef Sym, + const ObjCMethodDecl *Method, ArrayRef TypeArgs, + bool SubscriptOrProperty, CheckerContext &C) const { + QualType StaticResultType = Method->getReturnType(); + ASTContext &ASTCtxt = C.getASTContext(); + // Check whether the result type was a type parameter. + bool IsDeclaredAsInstanceType = + StaticResultType == ASTCtxt.getObjCInstanceType(); + if (!isObjCTypeParamDependent(StaticResultType) && !IsDeclaredAsInstanceType) + return; + + QualType ResultType = Method->getReturnType().substObjCTypeArgs( + ASTCtxt, TypeArgs, ObjCSubstitutionContext::Result); + if (IsDeclaredAsInstanceType) + ResultType = QualType(TrackedType, 0); + + const Stmt *Parent = + C.getCurrentAnalysisDeclContext()->getParentMap().getParent(MessageExpr); + if (SubscriptOrProperty) { + // Properties and subscripts are not direct parents. + Parent = + C.getCurrentAnalysisDeclContext()->getParentMap().getParent(Parent); + } + + const auto *ImplicitCast = dyn_cast_or_null(Parent); + if (!ImplicitCast || ImplicitCast->getCastKind() != CK_BitCast) + return; + + const auto *ExprTypeAboveCast = + ImplicitCast->getType()->getAs(); + const auto *ResultPtrType = ResultType->getAs(); + + if (!ExprTypeAboveCast || !ResultPtrType) + return; + + // Only warn on unrelated types to avoid too many false positives on + // downcasts. + if (!ASTCtxt.canAssignObjCInterfaces(ExprTypeAboveCast, ResultPtrType) && + !ASTCtxt.canAssignObjCInterfaces(ResultPtrType, ExprTypeAboveCast)) { + static CheckerProgramPointTag Tag(this, "ReturnTypeMismatch"); + ExplodedNode *N = C.addTransition(C.getState(), &Tag); + reportGenericsBug(ResultPtrType, ExprTypeAboveCast, N, Sym, C); + return; + } +} + +/// When the receiver has a tracked type, use that type to validate the +/// argumments of the message expression and the return value. void ObjCGenericsChecker::checkPreObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const { ProgramStateRef State = C.getState(); @@ -516,51 +607,14 @@ if (!ASTCtxt.canAssignObjCInterfaces(ParamObjectPtrType, ArgObjectPtrType)) { static CheckerProgramPointTag Tag(this, "ArgTypeMismatch"); - ExplodedNode *N = C.addTransition(State, C.getPredecessor(), &Tag); - reportBug(ArgObjectPtrType, ParamObjectPtrType, N, Sym, C, Arg); + ExplodedNode *N = C.addTransition(State, &Tag); + reportGenericsBug(ArgObjectPtrType, ParamObjectPtrType, N, Sym, C, Arg); return; } } - QualType StaticResultType = Method->getReturnType(); - // Check whether the result type was a type parameter. - bool IsDeclaredAsInstanceType = - StaticResultType == ASTCtxt.getObjCInstanceType(); - if (!isObjCTypeParamDependent(StaticResultType) && !IsDeclaredAsInstanceType) - return; - - QualType ResultType = Method->getReturnType().substObjCTypeArgs( - ASTCtxt, *TypeArgs, ObjCSubstitutionContext::Result); - if (IsDeclaredAsInstanceType) - ResultType = QualType(*TrackedType, 0); - - const Stmt *Parent = - C.getCurrentAnalysisDeclContext()->getParentMap().getParent(MessageExpr); - if (M.getMessageKind() != OCM_Message) { - // Properties and subscripts are not direct parents. - Parent = - C.getCurrentAnalysisDeclContext()->getParentMap().getParent(Parent); - } - - const auto *ImplicitCast = dyn_cast_or_null(Parent); - if (!ImplicitCast || ImplicitCast->getCastKind() != CK_BitCast) - return; - - const auto *ExprTypeAboveCast = - ImplicitCast->getType()->getAs(); - const auto *ResultPtrType = ResultType->getAs(); - if (!ExprTypeAboveCast || !ResultPtrType) - return; - - // Only warn on unrelated types to avoid too many false positives on - // downcasts. - if (!ASTCtxt.canAssignObjCInterfaces(ExprTypeAboveCast, ResultPtrType) && - !ASTCtxt.canAssignObjCInterfaces(ResultPtrType, ExprTypeAboveCast)) { - static CheckerProgramPointTag Tag(this, "ReturnTypeMismatch"); - ExplodedNode *N = C.addTransition(State, C.getPredecessor(), &Tag); - reportBug(ResultPtrType, ExprTypeAboveCast, N, Sym, C); - return; - } + checkReturnType(MessageExpr, *TrackedType, Sym, Method, *TypeArgs, + M.getMessageKind() != OCM_Message, C); } /// Register checker. Index: cfe/trunk/test/Analysis/generics.m =================================================================== --- cfe/trunk/test/Analysis/generics.m +++ cfe/trunk/test/Analysis/generics.m @@ -87,38 +87,38 @@ void incompatibleTypesErased(NSArray *a, NSArray *b, NSArray *c) { a = b; - c = a; // expected-warning {{Incompatible pointer types assigning to 'NSArray *' from 'NSArray *'}} - [a contains: [[NSNumber alloc] init]]; // expected-warning {{Incompatible}} + c = a; // expected-warning {{Conversion from value of type 'NSArray *' to incompatible type 'NSArray *'}} + [a contains: [[NSNumber alloc] init]]; // expected-warning {{Conversion}} [a contains: [[NSString alloc] init]]; - doStuff(a); // expected-warning {{Incompatible}} + doStuff(a); // expected-warning {{Conversion}} } void crossProceduralErasedTypes() { - NSArray *a = getTypedStuff(); // expected-warning {{Incompatible}} + NSArray *a = getTypedStuff(); // expected-warning {{Conversion}} } void incompatibleTypesErasedReverseConversion(NSArray *a, NSArray *b) { b = a; - [a contains: [[NSNumber alloc] init]]; // expected-warning {{Incompatible}} + [a contains: [[NSNumber alloc] init]]; // expected-warning {{Conversion}} [a contains: [[NSString alloc] init]]; - doStuff(a); // expected-warning {{Incompatible}} + doStuff(a); // expected-warning {{Conversion}} } void idErasedIncompatibleTypesReverseConversion(id a, NSArray *b) { b = a; - [a contains: [[NSNumber alloc] init]]; // expected-warning {{Incompatible}} + [a contains: [[NSNumber alloc] init]]; // expected-warning {{Conversion}} [a contains: [[NSString alloc] init]]; - doStuff(a); // expected-warning {{Incompatible}} + doStuff(a); // expected-warning {{Conversion}} } void idErasedIncompatibleTypes(id a, NSArray *b, NSArray *c) { a = b; - c = a; // expected-warning {{Incompatible}} - [a contains: [[NSNumber alloc] init]]; // expected-warning {{Incompatible}} + c = a; // expected-warning {{Conversion}} + [a contains: [[NSNumber alloc] init]]; // expected-warning {{Conversion}} [a contains: [[NSString alloc] init]]; - doStuff(a); // expected-warning {{Incompatible}} + doStuff(a); // expected-warning {{Conversion}} } void pathSensitiveInference(MutableArray *m, MutableArray *a, @@ -130,19 +130,19 @@ m = b; [m contains: [[NSMutableString alloc] init]]; } - [m addObject: [[NSString alloc] init]]; // expected-warning {{Incompatible}} + [m addObject: [[NSString alloc] init]]; // expected-warning {{Conversion}} [m addObject: [[NSMutableString alloc] init]]; } void verifyAPIusage(id a, MutableArray *b) { b = a; - doStuff(a); // expected-warning {{Incompatible}} + doStuff(a); // expected-warning {{Conversion}} } void trustExplicitCasts(MutableArray *a, MutableArray *b) { b = (MutableArray *)a; - [a addObject: [[NSString alloc] init]]; // expected-warning {{Incompatible}} + [a addObject: [[NSString alloc] init]]; // expected-warning {{Conversion}} } void subtypeOfGeneric(id d, MyMutableStringArray *a, @@ -150,7 +150,7 @@ MutableArray *c) { d = a; b = d; - c = d; // expected-warning {{Incompatible}} + c = d; // expected-warning {{Conversion}} } void genericSubtypeOfGeneric(id d, ExceptionalArray *a, @@ -158,9 +158,9 @@ MutableArray *c) { d = a; [d contains: [[NSString alloc] init]]; - [d contains: [[NSNumber alloc] init]]; // expected-warning {{Incompatible}} + [d contains: [[NSNumber alloc] init]]; // expected-warning {{Conversion}} b = d; - c = d; // expected-warning {{Incompatible}} + c = d; // expected-warning {{Conversion}} } void genericSubtypeOfGenericReverse(id d, ExceptionalArray *a, @@ -168,41 +168,59 @@ MutableArray *c) { a = d; [d contains: [[NSString alloc] init]]; - [d contains: [[NSNumber alloc] init]]; // expected-warning {{Incompatible}} + [d contains: [[NSNumber alloc] init]]; // expected-warning {{Conversion}} b = d; - c = d; // expected-warning {{Incompatible}} + c = d; // expected-warning {{Conversion}} } void inferenceFromAPI(id a) { // Here the type parameter is invariant. There should be a warning every time // when the type parameter changes during the conversions. withMutArrString(a); - withMutArrMutableString(a); // expected-warning {{Incompatible}} + withMutArrMutableString(a); // expected-warning {{Conversion}} } void inferenceFromAPI2(id a) { withMutArrMutableString(a); - withMutArrString(a); // expected-warning {{Incompatible}} + withMutArrString(a); // expected-warning {{Conversion}} } void inferenceFromAPIWithLegacyTypes(LegacyMutableArray *a) { withMutArrMutableString(a); - withMutArrString(a); // expected-warning {{Incompatible}} + withMutArrString(a); // expected-warning {{Conversion}} } void inferenceFromAPIWithLegacyTypes2(LegacySpecialMutableArray *a) { withMutArrString(a); - withMutArrMutableString(a); // expected-warning {{Incompatible}} + withMutArrMutableString(a); // expected-warning {{Conversion}} +} + +void inferenceFromAPIWithLegacyTypes3(__kindof NSArray *a) { + LegacyMutableArray *b = a; + withMutArrString(b); + withMutArrMutableString(b); // expected-warning {{Conversion}} } void inferenceFromAPIWithBuggyTypes(BuggyMutableArray *a) { withMutArrString(a); - withMutArrMutableString(a); // expected-warning {{Incompatible}} + withMutArrMutableString(a); // expected-warning {{Conversion}} } void InferenceFromAPIWithBuggyTypes2(BuggySpecialMutableArray *a) { withMutArrMutableString(a); - withMutArrString(a); // expected-warning {{Incompatible}} + withMutArrString(a); // expected-warning {{Conversion}} +} + +void InferenceFromAPIWithBuggyTypes3(MutableArray *a) { + id b = a; + withMutArrMutableString((BuggyMutableArray *)b); + withMutArrString(b); // expected-warning {{Conversion}} +} + +void InferenceFromAPIWithBuggyTypes4(__kindof NSArray *a) { + BuggyMutableArray *b = a; + withMutArrString(b); + withMutArrMutableString(b); // expected-warning {{Conversion}} } NSArray *getStrings(); @@ -215,13 +233,13 @@ void workWithProperties(NSArray *a) { NSArray *b = a; - NSString *str = [b getObjAtIndex: 0]; // expected-warning {{Incompatible}} + NSString *str = [b getObjAtIndex: 0]; // expected-warning {{Conversion}} NSNumber *num = [b getObjAtIndex: 0]; - str = [b firstObject]; // expected-warning {{Incompatible}} + str = [b firstObject]; // expected-warning {{Conversion}} num = [b firstObject]; - str = b.firstObject; // expected-warning {{Incompatible}} + str = b.firstObject; // expected-warning {{Conversion}} num = b.firstObject; - str = b[0]; // expected-warning {{Incompatible}} + str = b[0]; // expected-warning {{Conversion}} num = b[0]; } @@ -230,7 +248,7 @@ a = b; if (getUnknown() == 5) { m = a; - [m addObject: [[NSString alloc] init]]; // expected-warning {{Incompatible}} + [m addObject: [[NSString alloc] init]]; // expected-warning {{Conversion}} } else { m = b; [m addObject: [[NSMutableString alloc] init]]; @@ -241,7 +259,7 @@ MutableArray *b) { a = b; if (getUnknown() == 5) { - [a addObject: [[NSString alloc] init]]; // expected-warning {{Incompatible}} + [a addObject: [[NSString alloc] init]]; // expected-warning {{Conversion}} } else { [a addObject: [[NSMutableString alloc] init]]; } @@ -256,7 +274,7 @@ void testAnnotatedLiterals() { NSArray *arr = @[@"A", @"B"]; NSArray *arr2 = arr; - [arr2 contains: [[NSNumber alloc] init]]; // expected-warning {{Incompatible}} + [arr2 contains: [[NSNumber alloc] init]]; // expected-warning {{Conversion}} } void nonExistentMethodDoesNotCrash(id a, MutableArray *b) { @@ -266,13 +284,13 @@ void trackedClassVariables() { Class c = [NSArray class]; - NSArray *a = [c getEmpty]; // expected-warning {{Incompatible}} - a = [c getEmpty2]; // expected-warning {{Incompatible}} + NSArray *a = [c getEmpty]; // expected-warning {{Conversion}} + a = [c getEmpty2]; // expected-warning {{Conversion}} } void nestedCollections(NSArray *> *mat, NSArray *row) { id temp = row; - [mat contains: temp]; // expected-warning {{Incompatible}} + [mat contains: temp]; // expected-warning {{Conversion}} } void testMistmatchedTypeCast(MutableArray *a) { @@ -283,7 +301,6 @@ [c addObject: [[NSString alloc] init]]; } -// CHECK: diagnostics // CHECK: // CHECK: // CHECK: path @@ -410,12 +427,12 @@ // CHECK: // CHECK: depth0 // CHECK: extended_message -// CHECK: Incompatible pointer types assigning to 'NSArray<NSNumber *> *' from 'NSArray<NSString *> *' +// CHECK: Conversion from value of type 'NSArray<NSString *> *' to incompatible type 'NSArray<NSNumber *> *' // CHECK: message -// CHECK: Incompatible pointer types assigning to 'NSArray<NSNumber *> *' from 'NSArray<NSString *> *' +// CHECK: Conversion from value of type 'NSArray<NSString *> *' to incompatible type 'NSArray<NSNumber *> *' // CHECK: // CHECK: -// CHECK: descriptionIncompatible pointer types assigning to 'NSArray<NSNumber *> *' from 'NSArray<NSString *> *' +// CHECK: descriptionConversion from value of type 'NSArray<NSString *> *' to incompatible type 'NSArray<NSNumber *> *' // CHECK: categoryCore Foundation/Objective-C // CHECK: typeGenerics // CHECK: check_namealpha.osx.cocoa.ObjCGenerics @@ -520,12 +537,12 @@ // CHECK: // CHECK: depth0 // CHECK: extended_message -// CHECK: Incompatible pointer types assigning to 'NSString *' from 'NSNumber *' +// CHECK: Conversion from value of type 'NSNumber *' to incompatible type 'NSString *' // CHECK: message -// CHECK: Incompatible pointer types assigning to 'NSString *' from 'NSNumber *' +// CHECK: Conversion from value of type 'NSNumber *' to incompatible type 'NSString *' // CHECK: // CHECK: -// CHECK: descriptionIncompatible pointer types assigning to 'NSString *' from 'NSNumber *' +// CHECK: descriptionConversion from value of type 'NSNumber *' to incompatible type 'NSString *' // CHECK: categoryCore Foundation/Objective-C // CHECK: typeGenerics // CHECK: check_namealpha.osx.cocoa.ObjCGenerics @@ -664,12 +681,12 @@ // CHECK: // CHECK: depth0 // CHECK: extended_message -// CHECK: Incompatible pointer types assigning to 'NSArray<NSNumber *> *' from 'NSArray<NSString *> *' +// CHECK: Conversion from value of type 'NSArray<NSString *> *' to incompatible type 'NSArray<NSNumber *> *' // CHECK: message -// CHECK: Incompatible pointer types assigning to 'NSArray<NSNumber *> *' from 'NSArray<NSString *> *' +// CHECK: Conversion from value of type 'NSArray<NSString *> *' to incompatible type 'NSArray<NSNumber *> *' // CHECK: // CHECK: -// CHECK: descriptionIncompatible pointer types assigning to 'NSArray<NSNumber *> *' from 'NSArray<NSString *> *' +// CHECK: descriptionConversion from value of type 'NSArray<NSString *> *' to incompatible type 'NSArray<NSNumber *> *' // CHECK: categoryCore Foundation/Objective-C // CHECK: typeGenerics // CHECK: check_namealpha.osx.cocoa.ObjCGenerics @@ -914,12 +931,12 @@ // CHECK: // CHECK: depth0 // CHECK: extended_message -// CHECK: Incompatible pointer types assigning to 'NSArray<NSString *> *' from 'NSArray<NSNumber *> *' +// CHECK: Conversion from value of type 'NSArray<NSNumber *> *' to incompatible type 'NSArray<NSString *> *' // CHECK: message -// CHECK: Incompatible pointer types assigning to 'NSArray<NSString *> *' from 'NSArray<NSNumber *> *' +// CHECK: Conversion from value of type 'NSArray<NSNumber *> *' to incompatible type 'NSArray<NSString *> *' // CHECK: // CHECK: -// CHECK: descriptionIncompatible pointer types assigning to 'NSArray<NSString *> *' from 'NSArray<NSNumber *> *' +// CHECK: descriptionConversion from value of type 'NSArray<NSNumber *> *' to incompatible type 'NSArray<NSString *> *' // CHECK: categoryCore Foundation/Objective-C // CHECK: typeGenerics // CHECK: check_namealpha.osx.cocoa.ObjCGenerics @@ -1024,12 +1041,12 @@ // CHECK: // CHECK: depth0 // CHECK: extended_message -// CHECK: Incompatible pointer types assigning to 'NSString *' from 'NSNumber *' +// CHECK: Conversion from value of type 'NSNumber *' to incompatible type 'NSString *' // CHECK: message -// CHECK: Incompatible pointer types assigning to 'NSString *' from 'NSNumber *' +// CHECK: Conversion from value of type 'NSNumber *' to incompatible type 'NSString *' // CHECK: // CHECK: -// CHECK: descriptionIncompatible pointer types assigning to 'NSString *' from 'NSNumber *' +// CHECK: descriptionConversion from value of type 'NSNumber *' to incompatible type 'NSString *' // CHECK: categoryCore Foundation/Objective-C // CHECK: typeGenerics // CHECK: check_namealpha.osx.cocoa.ObjCGenerics @@ -1168,12 +1185,12 @@ // CHECK: // CHECK: depth0 // CHECK: extended_message -// CHECK: Incompatible pointer types assigning to 'NSArray<NSNumber *> *' from 'NSArray<NSString *> *' +// CHECK: Conversion from value of type 'NSArray<NSString *> *' to incompatible type 'NSArray<NSNumber *> *' // CHECK: message -// CHECK: Incompatible pointer types assigning to 'NSArray<NSNumber *> *' from 'NSArray<NSString *> *' +// CHECK: Conversion from value of type 'NSArray<NSString *> *' to incompatible type 'NSArray<NSNumber *> *' // CHECK: // CHECK: -// CHECK: descriptionIncompatible pointer types assigning to 'NSArray<NSNumber *> *' from 'NSArray<NSString *> *' +// CHECK: descriptionConversion from value of type 'NSArray<NSString *> *' to incompatible type 'NSArray<NSNumber *> *' // CHECK: categoryCore Foundation/Objective-C // CHECK: typeGenerics // CHECK: check_namealpha.osx.cocoa.ObjCGenerics @@ -1278,12 +1295,12 @@ // CHECK: // CHECK: depth0 // CHECK: extended_message -// CHECK: Incompatible pointer types assigning to 'NSString *' from 'NSNumber *' +// CHECK: Conversion from value of type 'NSNumber *' to incompatible type 'NSString *' // CHECK: message -// CHECK: Incompatible pointer types assigning to 'NSString *' from 'NSNumber *' +// CHECK: Conversion from value of type 'NSNumber *' to incompatible type 'NSString *' // CHECK: // CHECK: -// CHECK: descriptionIncompatible pointer types assigning to 'NSString *' from 'NSNumber *' +// CHECK: descriptionConversion from value of type 'NSNumber *' to incompatible type 'NSString *' // CHECK: categoryCore Foundation/Objective-C // CHECK: typeGenerics // CHECK: check_namealpha.osx.cocoa.ObjCGenerics @@ -1422,12 +1439,12 @@ // CHECK: // CHECK: depth0 // CHECK: extended_message -// CHECK: Incompatible pointer types assigning to 'NSArray<NSNumber *> *' from 'NSArray<NSString *> *' +// CHECK: Conversion from value of type 'NSArray<NSString *> *' to incompatible type 'NSArray<NSNumber *> *' // CHECK: message -// CHECK: Incompatible pointer types assigning to 'NSArray<NSNumber *> *' from 'NSArray<NSString *> *' +// CHECK: Conversion from value of type 'NSArray<NSString *> *' to incompatible type 'NSArray<NSNumber *> *' // CHECK: // CHECK: -// CHECK: descriptionIncompatible pointer types assigning to 'NSArray<NSNumber *> *' from 'NSArray<NSString *> *' +// CHECK: descriptionConversion from value of type 'NSArray<NSString *> *' to incompatible type 'NSArray<NSNumber *> *' // CHECK: categoryCore Foundation/Objective-C // CHECK: typeGenerics // CHECK: check_namealpha.osx.cocoa.ObjCGenerics @@ -1566,12 +1583,12 @@ // CHECK: // CHECK: depth0 // CHECK: extended_message -// CHECK: Incompatible pointer types assigning to 'NSArray<NSNumber *> *' from 'NSArray<NSString *> *' +// CHECK: Conversion from value of type 'NSArray<NSString *> *' to incompatible type 'NSArray<NSNumber *> *' // CHECK: message -// CHECK: Incompatible pointer types assigning to 'NSArray<NSNumber *> *' from 'NSArray<NSString *> *' +// CHECK: Conversion from value of type 'NSArray<NSString *> *' to incompatible type 'NSArray<NSNumber *> *' // CHECK: // CHECK: -// CHECK: descriptionIncompatible pointer types assigning to 'NSArray<NSNumber *> *' from 'NSArray<NSString *> *' +// CHECK: descriptionConversion from value of type 'NSArray<NSString *> *' to incompatible type 'NSArray<NSNumber *> *' // CHECK: categoryCore Foundation/Objective-C // CHECK: typeGenerics // CHECK: check_namealpha.osx.cocoa.ObjCGenerics @@ -1676,12 +1693,12 @@ // CHECK: // CHECK: depth0 // CHECK: extended_message -// CHECK: Incompatible pointer types assigning to 'NSString *' from 'NSNumber *' +// CHECK: Conversion from value of type 'NSNumber *' to incompatible type 'NSString *' // CHECK: message -// CHECK: Incompatible pointer types assigning to 'NSString *' from 'NSNumber *' +// CHECK: Conversion from value of type 'NSNumber *' to incompatible type 'NSString *' // CHECK: // CHECK: -// CHECK: descriptionIncompatible pointer types assigning to 'NSString *' from 'NSNumber *' +// CHECK: descriptionConversion from value of type 'NSNumber *' to incompatible type 'NSString *' // CHECK: categoryCore Foundation/Objective-C // CHECK: typeGenerics // CHECK: check_namealpha.osx.cocoa.ObjCGenerics @@ -1820,12 +1837,12 @@ // CHECK: // CHECK: depth0 // CHECK: extended_message -// CHECK: Incompatible pointer types assigning to 'NSArray<NSNumber *> *' from 'NSArray<NSString *> *' +// CHECK: Conversion from value of type 'NSArray<NSString *> *' to incompatible type 'NSArray<NSNumber *> *' // CHECK: message -// CHECK: Incompatible pointer types assigning to 'NSArray<NSNumber *> *' from 'NSArray<NSString *> *' +// CHECK: Conversion from value of type 'NSArray<NSString *> *' to incompatible type 'NSArray<NSNumber *> *' // CHECK: // CHECK: -// CHECK: descriptionIncompatible pointer types assigning to 'NSArray<NSNumber *> *' from 'NSArray<NSString *> *' +// CHECK: descriptionConversion from value of type 'NSArray<NSString *> *' to incompatible type 'NSArray<NSNumber *> *' // CHECK: categoryCore Foundation/Objective-C // CHECK: typeGenerics // CHECK: check_namealpha.osx.cocoa.ObjCGenerics @@ -1998,12 +2015,12 @@ // CHECK: // CHECK: depth0 // CHECK: extended_message -// CHECK: Incompatible pointer types assigning to 'NSMutableString *' from 'NSString *' +// CHECK: Conversion from value of type 'NSString *' to incompatible type 'NSMutableString *' // CHECK: message -// CHECK: Incompatible pointer types assigning to 'NSMutableString *' from 'NSString *' +// CHECK: Conversion from value of type 'NSString *' to incompatible type 'NSMutableString *' // CHECK: // CHECK: -// CHECK: descriptionIncompatible pointer types assigning to 'NSMutableString *' from 'NSString *' +// CHECK: descriptionConversion from value of type 'NSString *' to incompatible type 'NSMutableString *' // CHECK: categoryCore Foundation/Objective-C // CHECK: typeGenerics // CHECK: check_namealpha.osx.cocoa.ObjCGenerics @@ -2142,12 +2159,12 @@ // CHECK: // CHECK: depth0 // CHECK: extended_message -// CHECK: Incompatible pointer types assigning to 'NSArray<NSNumber *> *' from 'MutableArray<NSString *> *' +// CHECK: Conversion from value of type 'MutableArray<NSString *> *' to incompatible type 'NSArray<NSNumber *> *' // CHECK: message -// CHECK: Incompatible pointer types assigning to 'NSArray<NSNumber *> *' from 'MutableArray<NSString *> *' +// CHECK: Conversion from value of type 'MutableArray<NSString *> *' to incompatible type 'NSArray<NSNumber *> *' // CHECK: // CHECK: -// CHECK: descriptionIncompatible pointer types assigning to 'NSArray<NSNumber *> *' from 'MutableArray<NSString *> *' +// CHECK: descriptionConversion from value of type 'MutableArray<NSString *> *' to incompatible type 'NSArray<NSNumber *> *' // CHECK: categoryCore Foundation/Objective-C // CHECK: typeGenerics // CHECK: check_namealpha.osx.cocoa.ObjCGenerics @@ -2252,12 +2269,12 @@ // CHECK: // CHECK: depth0 // CHECK: extended_message -// CHECK: Incompatible pointer types assigning to 'NSMutableString *' from 'NSString *' +// CHECK: Conversion from value of type 'NSString *' to incompatible type 'NSMutableString *' // CHECK: message -// CHECK: Incompatible pointer types assigning to 'NSMutableString *' from 'NSString *' +// CHECK: Conversion from value of type 'NSString *' to incompatible type 'NSMutableString *' // CHECK: // CHECK: -// CHECK: descriptionIncompatible pointer types assigning to 'NSMutableString *' from 'NSString *' +// CHECK: descriptionConversion from value of type 'NSString *' to incompatible type 'NSMutableString *' // CHECK: categoryCore Foundation/Objective-C // CHECK: typeGenerics // CHECK: check_namealpha.osx.cocoa.ObjCGenerics @@ -2430,12 +2447,12 @@ // CHECK: // CHECK: depth0 // CHECK: extended_message -// CHECK: Incompatible pointer types assigning to 'MutableArray<NSNumber *> *' from 'MutableArray<NSString *> *' +// CHECK: Conversion from value of type 'MutableArray<NSString *> *' to incompatible type 'MutableArray<NSNumber *> *' // CHECK: message -// CHECK: Incompatible pointer types assigning to 'MutableArray<NSNumber *> *' from 'MutableArray<NSString *> *' +// CHECK: Conversion from value of type 'MutableArray<NSString *> *' to incompatible type 'MutableArray<NSNumber *> *' // CHECK: // CHECK: -// CHECK: descriptionIncompatible pointer types assigning to 'MutableArray<NSNumber *> *' from 'MutableArray<NSString *> *' +// CHECK: descriptionConversion from value of type 'MutableArray<NSString *> *' to incompatible type 'MutableArray<NSNumber *> *' // CHECK: categoryCore Foundation/Objective-C // CHECK: typeGenerics // CHECK: check_namealpha.osx.cocoa.ObjCGenerics @@ -2540,12 +2557,12 @@ // CHECK: // CHECK: depth0 // CHECK: extended_message -// CHECK: Incompatible pointer types assigning to 'NSString *' from 'NSNumber *' +// CHECK: Conversion from value of type 'NSNumber *' to incompatible type 'NSString *' // CHECK: message -// CHECK: Incompatible pointer types assigning to 'NSString *' from 'NSNumber *' +// CHECK: Conversion from value of type 'NSNumber *' to incompatible type 'NSString *' // CHECK: // CHECK: -// CHECK: descriptionIncompatible pointer types assigning to 'NSString *' from 'NSNumber *' +// CHECK: descriptionConversion from value of type 'NSNumber *' to incompatible type 'NSString *' // CHECK: categoryCore Foundation/Objective-C // CHECK: typeGenerics // CHECK: check_namealpha.osx.cocoa.ObjCGenerics @@ -2684,12 +2701,12 @@ // CHECK: // CHECK: depth0 // CHECK: extended_message -// CHECK: Incompatible pointer types assigning to 'MutableArray<NSNumber *> *' from 'ExceptionalArray<NSString *> *' +// CHECK: Conversion from value of type 'ExceptionalArray<NSString *> *' to incompatible type 'MutableArray<NSNumber *> *' // CHECK: message -// CHECK: Incompatible pointer types assigning to 'MutableArray<NSNumber *> *' from 'ExceptionalArray<NSString *> *' +// CHECK: Conversion from value of type 'ExceptionalArray<NSString *> *' to incompatible type 'MutableArray<NSNumber *> *' // CHECK: // CHECK: -// CHECK: descriptionIncompatible pointer types assigning to 'MutableArray<NSNumber *> *' from 'ExceptionalArray<NSString *> *' +// CHECK: descriptionConversion from value of type 'ExceptionalArray<NSString *> *' to incompatible type 'MutableArray<NSNumber *> *' // CHECK: categoryCore Foundation/Objective-C // CHECK: typeGenerics // CHECK: check_namealpha.osx.cocoa.ObjCGenerics @@ -2794,12 +2811,12 @@ // CHECK: // CHECK: depth0 // CHECK: extended_message -// CHECK: Incompatible pointer types assigning to 'NSString *' from 'NSNumber *' +// CHECK: Conversion from value of type 'NSNumber *' to incompatible type 'NSString *' // CHECK: message -// CHECK: Incompatible pointer types assigning to 'NSString *' from 'NSNumber *' +// CHECK: Conversion from value of type 'NSNumber *' to incompatible type 'NSString *' // CHECK: // CHECK: -// CHECK: descriptionIncompatible pointer types assigning to 'NSString *' from 'NSNumber *' +// CHECK: descriptionConversion from value of type 'NSNumber *' to incompatible type 'NSString *' // CHECK: categoryCore Foundation/Objective-C // CHECK: typeGenerics // CHECK: check_namealpha.osx.cocoa.ObjCGenerics @@ -2938,12 +2955,12 @@ // CHECK: // CHECK: depth0 // CHECK: extended_message -// CHECK: Incompatible pointer types assigning to 'MutableArray<NSNumber *> *' from 'ExceptionalArray<NSString *> *' +// CHECK: Conversion from value of type 'ExceptionalArray<NSString *> *' to incompatible type 'MutableArray<NSNumber *> *' // CHECK: message -// CHECK: Incompatible pointer types assigning to 'MutableArray<NSNumber *> *' from 'ExceptionalArray<NSString *> *' +// CHECK: Conversion from value of type 'ExceptionalArray<NSString *> *' to incompatible type 'MutableArray<NSNumber *> *' // CHECK: // CHECK: -// CHECK: descriptionIncompatible pointer types assigning to 'MutableArray<NSNumber *> *' from 'ExceptionalArray<NSString *> *' +// CHECK: descriptionConversion from value of type 'ExceptionalArray<NSString *> *' to incompatible type 'MutableArray<NSNumber *> *' // CHECK: categoryCore Foundation/Objective-C // CHECK: typeGenerics // CHECK: check_namealpha.osx.cocoa.ObjCGenerics @@ -3082,12 +3099,12 @@ // CHECK: // CHECK: depth0 // CHECK: extended_message -// CHECK: Incompatible pointer types assigning to 'MutableArray<NSMutableString *> *' from 'MutableArray<NSString *> *' +// CHECK: Conversion from value of type 'MutableArray<NSString *> *' to incompatible type 'MutableArray<NSMutableString *> *' // CHECK: message -// CHECK: Incompatible pointer types assigning to 'MutableArray<NSMutableString *> *' from 'MutableArray<NSString *> *' +// CHECK: Conversion from value of type 'MutableArray<NSString *> *' to incompatible type 'MutableArray<NSMutableString *> *' // CHECK: // CHECK: -// CHECK: descriptionIncompatible pointer types assigning to 'MutableArray<NSMutableString *> *' from 'MutableArray<NSString *> *' +// CHECK: descriptionConversion from value of type 'MutableArray<NSString *> *' to incompatible type 'MutableArray<NSMutableString *> *' // CHECK: categoryCore Foundation/Objective-C // CHECK: typeGenerics // CHECK: check_namealpha.osx.cocoa.ObjCGenerics @@ -3226,12 +3243,12 @@ // CHECK: // CHECK: depth0 // CHECK: extended_message -// CHECK: Incompatible pointer types assigning to 'MutableArray<NSString *> *' from 'MutableArray<NSMutableString *> *' +// CHECK: Conversion from value of type 'MutableArray<NSMutableString *> *' to incompatible type 'MutableArray<NSString *> *' // CHECK: message -// CHECK: Incompatible pointer types assigning to 'MutableArray<NSString *> *' from 'MutableArray<NSMutableString *> *' +// CHECK: Conversion from value of type 'MutableArray<NSMutableString *> *' to incompatible type 'MutableArray<NSString *> *' // CHECK: // CHECK: -// CHECK: descriptionIncompatible pointer types assigning to 'MutableArray<NSString *> *' from 'MutableArray<NSMutableString *> *' +// CHECK: descriptionConversion from value of type 'MutableArray<NSMutableString *> *' to incompatible type 'MutableArray<NSString *> *' // CHECK: categoryCore Foundation/Objective-C // CHECK: typeGenerics // CHECK: check_namealpha.osx.cocoa.ObjCGenerics @@ -3370,12 +3387,12 @@ // CHECK: // CHECK: depth0 // CHECK: extended_message -// CHECK: Incompatible pointer types assigning to 'MutableArray<NSString *> *' from 'MutableArray<NSMutableString *> *' +// CHECK: Conversion from value of type 'MutableArray<NSMutableString *> *' to incompatible type 'MutableArray<NSString *> *' // CHECK: message -// CHECK: Incompatible pointer types assigning to 'MutableArray<NSString *> *' from 'MutableArray<NSMutableString *> *' +// CHECK: Conversion from value of type 'MutableArray<NSMutableString *> *' to incompatible type 'MutableArray<NSString *> *' // CHECK: // CHECK: -// CHECK: descriptionIncompatible pointer types assigning to 'MutableArray<NSString *> *' from 'MutableArray<NSMutableString *> *' +// CHECK: descriptionConversion from value of type 'MutableArray<NSMutableString *> *' to incompatible type 'MutableArray<NSString *> *' // CHECK: categoryCore Foundation/Objective-C // CHECK: typeGenerics // CHECK: check_namealpha.osx.cocoa.ObjCGenerics @@ -3514,12 +3531,12 @@ // CHECK: // CHECK: depth0 // CHECK: extended_message -// CHECK: Incompatible pointer types assigning to 'MutableArray<NSMutableString *> *' from 'MutableArray<NSString *> *' +// CHECK: Conversion from value of type 'MutableArray<NSString *> *' to incompatible type 'MutableArray<NSMutableString *> *' // CHECK: message -// CHECK: Incompatible pointer types assigning to 'MutableArray<NSMutableString *> *' from 'MutableArray<NSString *> *' +// CHECK: Conversion from value of type 'MutableArray<NSString *> *' to incompatible type 'MutableArray<NSMutableString *> *' // CHECK: // CHECK: -// CHECK: descriptionIncompatible pointer types assigning to 'MutableArray<NSMutableString *> *' from 'MutableArray<NSString *> *' +// CHECK: descriptionConversion from value of type 'MutableArray<NSString *> *' to incompatible type 'MutableArray<NSMutableString *> *' // CHECK: categoryCore Foundation/Objective-C // CHECK: typeGenerics // CHECK: check_namealpha.osx.cocoa.ObjCGenerics @@ -3541,7 +3558,7 @@ // CHECK: location // CHECK: // CHECK: line199 -// CHECK: col20 +// CHECK: col27 // CHECK: file0 // CHECK: // CHECK: ranges @@ -3549,21 +3566,21 @@ // CHECK: // CHECK: // CHECK: line199 -// CHECK: col20 +// CHECK: col27 // CHECK: file0 // CHECK: // CHECK: // CHECK: line199 -// CHECK: col20 +// CHECK: col27 // CHECK: file0 // CHECK: // CHECK: // CHECK: // CHECK: depth0 // CHECK: extended_message -// CHECK: Type 'MutableArray<NSString *> *' is inferred from implicit cast (from 'BuggyMutableArray<NSMutableString *> *' to 'MutableArray<NSString *> *') +// CHECK: Type 'NSArray<NSString *> *' is inferred from implicit cast (from '__kindof NSArray<NSString *> *' to 'LegacyMutableArray *') // CHECK: message -// CHECK: Type 'MutableArray<NSString *> *' is inferred from implicit cast (from 'BuggyMutableArray<NSMutableString *> *' to 'MutableArray<NSString *> *') +// CHECK: Type 'NSArray<NSString *> *' is inferred from implicit cast (from '__kindof NSArray<NSString *> *' to 'LegacyMutableArray *') // CHECK: // CHECK: // CHECK: kindcontrol @@ -3579,7 +3596,7 @@ // CHECK: // CHECK: // CHECK: line199 -// CHECK: col18 +// CHECK: col20 // CHECK: file0 // CHECK: // CHECK: @@ -3592,7 +3609,7 @@ // CHECK: // CHECK: // CHECK: line200 -// CHECK: col25 +// CHECK: col18 // CHECK: file0 // CHECK: // CHECK: @@ -3600,6 +3617,35 @@ // CHECK: // CHECK: // CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line200 +// CHECK: col20 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line200 +// CHECK: col20 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line200 +// CHECK: col20 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Type 'MutableArray<NSString *> *' is inferred from implicit cast (from 'LegacyMutableArray *' to 'MutableArray<NSString *> *') +// CHECK: message +// CHECK: Type 'MutableArray<NSString *> *' is inferred from implicit cast (from 'LegacyMutableArray *' to 'MutableArray<NSString *> *') +// CHECK: +// CHECK: // CHECK: kindcontrol // CHECK: edges // CHECK: @@ -3613,6 +3659,40 @@ // CHECK: // CHECK: // CHECK: line200 +// CHECK: col18 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line201 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line201 +// CHECK: col25 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line201 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line201 // CHECK: col25 // CHECK: file0 // CHECK: @@ -3620,12 +3700,12 @@ // CHECK: end // CHECK: // CHECK: -// CHECK: line200 +// CHECK: line201 // CHECK: col27 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line200 +// CHECK: line201 // CHECK: col27 // CHECK: file0 // CHECK: @@ -3637,7 +3717,7 @@ // CHECK: kindevent // CHECK: location // CHECK: -// CHECK: line200 +// CHECK: line201 // CHECK: col27 // CHECK: file0 // CHECK: @@ -3645,12 +3725,12 @@ // CHECK: // CHECK: // CHECK: -// CHECK: line200 +// CHECK: line201 // CHECK: col27 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line200 +// CHECK: line201 // CHECK: col27 // CHECK: file0 // CHECK: @@ -3658,21 +3738,21 @@ // CHECK: // CHECK: depth0 // CHECK: extended_message -// CHECK: Incompatible pointer types assigning to 'MutableArray<NSMutableString *> *' from 'MutableArray<NSString *> *' +// CHECK: Conversion from value of type 'MutableArray<NSString *> *' to incompatible type 'MutableArray<NSMutableString *> *' // CHECK: message -// CHECK: Incompatible pointer types assigning to 'MutableArray<NSMutableString *> *' from 'MutableArray<NSString *> *' +// CHECK: Conversion from value of type 'MutableArray<NSString *> *' to incompatible type 'MutableArray<NSMutableString *> *' // CHECK: // CHECK: -// CHECK: descriptionIncompatible pointer types assigning to 'MutableArray<NSMutableString *> *' from 'MutableArray<NSString *> *' +// CHECK: descriptionConversion from value of type 'MutableArray<NSString *> *' to incompatible type 'MutableArray<NSMutableString *> *' // CHECK: categoryCore Foundation/Objective-C // CHECK: typeGenerics // CHECK: check_namealpha.osx.cocoa.ObjCGenerics // CHECK: issue_context_kindfunction -// CHECK: issue_contextinferenceFromAPIWithBuggyTypes -// CHECK: issue_hash2 +// CHECK: issue_contextinferenceFromAPIWithLegacyTypes3 +// CHECK: issue_hash3 // CHECK: location // CHECK: -// CHECK: line200 +// CHECK: line201 // CHECK: col27 // CHECK: file0 // CHECK: @@ -3684,30 +3764,30 @@ // CHECK: kindevent // CHECK: location // CHECK: -// CHECK: line204 -// CHECK: col27 +// CHECK: line205 +// CHECK: col20 // CHECK: file0 // CHECK: // CHECK: ranges // CHECK: // CHECK: // CHECK: -// CHECK: line204 -// CHECK: col27 +// CHECK: line205 +// CHECK: col20 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line204 -// CHECK: col27 +// CHECK: line205 +// CHECK: col20 // CHECK: file0 // CHECK: // CHECK: // CHECK: // CHECK: depth0 // CHECK: extended_message -// CHECK: Type 'MutableArray<NSMutableString *> *' is inferred from implicit cast (from 'BuggySpecialMutableArray<NSMutableString *> *' to 'MutableArray<NSMutableString *> *') +// CHECK: Type 'MutableArray<NSString *> *' is inferred from implicit cast (from 'BuggyMutableArray<NSMutableString *> *' to 'MutableArray<NSString *> *') // CHECK: message -// CHECK: Type 'MutableArray<NSMutableString *> *' is inferred from implicit cast (from 'BuggySpecialMutableArray<NSMutableString *> *' to 'MutableArray<NSMutableString *> *') +// CHECK: Type 'MutableArray<NSString *> *' is inferred from implicit cast (from 'BuggyMutableArray<NSMutableString *> *' to 'MutableArray<NSString *> *') // CHECK: // CHECK: // CHECK: kindcontrol @@ -3717,26 +3797,26 @@ // CHECK: start // CHECK: // CHECK: -// CHECK: line204 +// CHECK: line205 // CHECK: col3 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line204 -// CHECK: col25 +// CHECK: line205 +// CHECK: col18 // CHECK: file0 // CHECK: // CHECK: // CHECK: end // CHECK: // CHECK: -// CHECK: line205 +// CHECK: line206 // CHECK: col3 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line205 -// CHECK: col18 +// CHECK: line206 +// CHECK: col25 // CHECK: file0 // CHECK: // CHECK: @@ -3751,26 +3831,26 @@ // CHECK: start // CHECK: // CHECK: -// CHECK: line205 +// CHECK: line206 // CHECK: col3 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line205 -// CHECK: col18 +// CHECK: line206 +// CHECK: col25 // CHECK: file0 // CHECK: // CHECK: // CHECK: end // CHECK: // CHECK: -// CHECK: line205 -// CHECK: col20 +// CHECK: line206 +// CHECK: col27 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line205 -// CHECK: col20 +// CHECK: line206 +// CHECK: col27 // CHECK: file0 // CHECK: // CHECK: @@ -3781,43 +3861,43 @@ // CHECK: kindevent // CHECK: location // CHECK: -// CHECK: line205 -// CHECK: col20 +// CHECK: line206 +// CHECK: col27 // CHECK: file0 // CHECK: // CHECK: ranges // CHECK: // CHECK: // CHECK: -// CHECK: line205 -// CHECK: col20 +// CHECK: line206 +// CHECK: col27 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line205 -// CHECK: col20 +// CHECK: line206 +// CHECK: col27 // CHECK: file0 // CHECK: // CHECK: // CHECK: // CHECK: depth0 // CHECK: extended_message -// CHECK: Incompatible pointer types assigning to 'MutableArray<NSString *> *' from 'MutableArray<NSMutableString *> *' +// CHECK: Conversion from value of type 'MutableArray<NSString *> *' to incompatible type 'MutableArray<NSMutableString *> *' // CHECK: message -// CHECK: Incompatible pointer types assigning to 'MutableArray<NSString *> *' from 'MutableArray<NSMutableString *> *' +// CHECK: Conversion from value of type 'MutableArray<NSString *> *' to incompatible type 'MutableArray<NSMutableString *> *' // CHECK: // CHECK: -// CHECK: descriptionIncompatible pointer types assigning to 'MutableArray<NSString *> *' from 'MutableArray<NSMutableString *> *' +// CHECK: descriptionConversion from value of type 'MutableArray<NSString *> *' to incompatible type 'MutableArray<NSMutableString *> *' // CHECK: categoryCore Foundation/Objective-C // CHECK: typeGenerics // CHECK: check_namealpha.osx.cocoa.ObjCGenerics // CHECK: issue_context_kindfunction -// CHECK: issue_contextInferenceFromAPIWithBuggyTypes2 +// CHECK: issue_contextinferenceFromAPIWithBuggyTypes // CHECK: issue_hash2 // CHECK: location // CHECK: -// CHECK: line205 -// CHECK: col20 +// CHECK: line206 +// CHECK: col27 // CHECK: file0 // CHECK: // CHECK: @@ -3828,30 +3908,30 @@ // CHECK: kindevent // CHECK: location // CHECK: -// CHECK: line217 -// CHECK: col16 +// CHECK: line210 +// CHECK: col27 // CHECK: file0 // CHECK: // CHECK: ranges // CHECK: // CHECK: // CHECK: -// CHECK: line217 -// CHECK: col16 +// CHECK: line210 +// CHECK: col27 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line217 -// CHECK: col16 +// CHECK: line210 +// CHECK: col27 // CHECK: file0 // CHECK: // CHECK: // CHECK: // CHECK: depth0 // CHECK: extended_message -// CHECK: Type 'NSArray<NSNumber *> *' is inferred from implicit cast (from 'NSArray<NSNumber *> *' to 'NSArray *') +// CHECK: Type 'MutableArray<NSMutableString *> *' is inferred from implicit cast (from 'BuggySpecialMutableArray<NSMutableString *> *' to 'MutableArray<NSMutableString *> *') // CHECK: message -// CHECK: Type 'NSArray<NSNumber *> *' is inferred from implicit cast (from 'NSArray<NSNumber *> *' to 'NSArray *') +// CHECK: Type 'MutableArray<NSMutableString *> *' is inferred from implicit cast (from 'BuggySpecialMutableArray<NSMutableString *> *' to 'MutableArray<NSMutableString *> *') // CHECK: // CHECK: // CHECK: kindcontrol @@ -3861,26 +3941,26 @@ // CHECK: start // CHECK: // CHECK: -// CHECK: line217 +// CHECK: line210 // CHECK: col3 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line217 -// CHECK: col9 +// CHECK: line210 +// CHECK: col25 // CHECK: file0 // CHECK: // CHECK: // CHECK: end // CHECK: // CHECK: -// CHECK: line218 +// CHECK: line211 // CHECK: col3 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line218 -// CHECK: col10 +// CHECK: line211 +// CHECK: col18 // CHECK: file0 // CHECK: // CHECK: @@ -3895,26 +3975,26 @@ // CHECK: start // CHECK: // CHECK: -// CHECK: line218 +// CHECK: line211 // CHECK: col3 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line218 -// CHECK: col10 +// CHECK: line211 +// CHECK: col18 // CHECK: file0 // CHECK: // CHECK: // CHECK: end // CHECK: // CHECK: -// CHECK: line218 -// CHECK: col19 +// CHECK: line211 +// CHECK: col20 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line218 -// CHECK: col19 +// CHECK: line211 +// CHECK: col20 // CHECK: file0 // CHECK: // CHECK: @@ -3925,43 +4005,43 @@ // CHECK: kindevent // CHECK: location // CHECK: -// CHECK: line218 -// CHECK: col19 +// CHECK: line211 +// CHECK: col20 // CHECK: file0 // CHECK: // CHECK: ranges // CHECK: // CHECK: // CHECK: -// CHECK: line218 -// CHECK: col19 +// CHECK: line211 +// CHECK: col20 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line218 -// CHECK: col38 +// CHECK: line211 +// CHECK: col20 // CHECK: file0 // CHECK: // CHECK: // CHECK: // CHECK: depth0 // CHECK: extended_message -// CHECK: Incompatible pointer types assigning to 'NSString *' from 'NSNumber *' +// CHECK: Conversion from value of type 'MutableArray<NSMutableString *> *' to incompatible type 'MutableArray<NSString *> *' // CHECK: message -// CHECK: Incompatible pointer types assigning to 'NSString *' from 'NSNumber *' +// CHECK: Conversion from value of type 'MutableArray<NSMutableString *> *' to incompatible type 'MutableArray<NSString *> *' // CHECK: // CHECK: -// CHECK: descriptionIncompatible pointer types assigning to 'NSString *' from 'NSNumber *' +// CHECK: descriptionConversion from value of type 'MutableArray<NSMutableString *> *' to incompatible type 'MutableArray<NSString *> *' // CHECK: categoryCore Foundation/Objective-C // CHECK: typeGenerics // CHECK: check_namealpha.osx.cocoa.ObjCGenerics // CHECK: issue_context_kindfunction -// CHECK: issue_contextworkWithProperties +// CHECK: issue_contextInferenceFromAPIWithBuggyTypes2 // CHECK: issue_hash2 // CHECK: location // CHECK: -// CHECK: line218 -// CHECK: col19 +// CHECK: line211 +// CHECK: col20 // CHECK: file0 // CHECK: // CHECK: @@ -3972,30 +4052,30 @@ // CHECK: kindevent // CHECK: location // CHECK: -// CHECK: line217 -// CHECK: col16 +// CHECK: line215 +// CHECK: col10 // CHECK: file0 // CHECK: // CHECK: ranges // CHECK: // CHECK: // CHECK: -// CHECK: line217 -// CHECK: col16 +// CHECK: line215 +// CHECK: col10 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line217 -// CHECK: col16 +// CHECK: line215 +// CHECK: col10 // CHECK: file0 // CHECK: // CHECK: // CHECK: // CHECK: depth0 // CHECK: extended_message -// CHECK: Type 'NSArray<NSNumber *> *' is inferred from implicit cast (from 'NSArray<NSNumber *> *' to 'NSArray *') +// CHECK: Type 'MutableArray<NSMutableString *> *' is inferred from implicit cast (from 'MutableArray<NSMutableString *> *' to 'id') // CHECK: message -// CHECK: Type 'NSArray<NSNumber *> *' is inferred from implicit cast (from 'NSArray<NSNumber *> *' to 'NSArray *') +// CHECK: Type 'MutableArray<NSMutableString *> *' is inferred from implicit cast (from 'MutableArray<NSMutableString *> *' to 'id') // CHECK: // CHECK: // CHECK: kindcontrol @@ -4005,26 +4085,26 @@ // CHECK: start // CHECK: // CHECK: -// CHECK: line217 +// CHECK: line215 // CHECK: col3 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line217 -// CHECK: col9 +// CHECK: line215 +// CHECK: col4 // CHECK: file0 // CHECK: // CHECK: // CHECK: end // CHECK: // CHECK: -// CHECK: line220 +// CHECK: line217 // CHECK: col3 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line220 -// CHECK: col5 +// CHECK: line217 +// CHECK: col18 // CHECK: file0 // CHECK: // CHECK: @@ -4039,26 +4119,26 @@ // CHECK: start // CHECK: // CHECK: -// CHECK: line220 +// CHECK: line217 // CHECK: col3 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line220 -// CHECK: col5 +// CHECK: line217 +// CHECK: col18 // CHECK: file0 // CHECK: // CHECK: // CHECK: end // CHECK: // CHECK: -// CHECK: line220 -// CHECK: col9 +// CHECK: line217 +// CHECK: col20 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line220 -// CHECK: col9 +// CHECK: line217 +// CHECK: col20 // CHECK: file0 // CHECK: // CHECK: @@ -4069,43 +4149,43 @@ // CHECK: kindevent // CHECK: location // CHECK: -// CHECK: line220 -// CHECK: col9 +// CHECK: line217 +// CHECK: col20 // CHECK: file0 // CHECK: // CHECK: ranges // CHECK: // CHECK: // CHECK: -// CHECK: line220 -// CHECK: col9 +// CHECK: line217 +// CHECK: col20 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line220 -// CHECK: col23 +// CHECK: line217 +// CHECK: col20 // CHECK: file0 // CHECK: // CHECK: // CHECK: // CHECK: depth0 // CHECK: extended_message -// CHECK: Incompatible pointer types assigning to 'NSString *' from 'NSNumber *' +// CHECK: Conversion from value of type 'MutableArray<NSMutableString *> *' to incompatible type 'MutableArray<NSString *> *' // CHECK: message -// CHECK: Incompatible pointer types assigning to 'NSString *' from 'NSNumber *' +// CHECK: Conversion from value of type 'MutableArray<NSMutableString *> *' to incompatible type 'MutableArray<NSString *> *' // CHECK: // CHECK: -// CHECK: descriptionIncompatible pointer types assigning to 'NSString *' from 'NSNumber *' +// CHECK: descriptionConversion from value of type 'MutableArray<NSMutableString *> *' to incompatible type 'MutableArray<NSString *> *' // CHECK: categoryCore Foundation/Objective-C // CHECK: typeGenerics // CHECK: check_namealpha.osx.cocoa.ObjCGenerics // CHECK: issue_context_kindfunction -// CHECK: issue_contextworkWithProperties -// CHECK: issue_hash4 +// CHECK: issue_contextInferenceFromAPIWithBuggyTypes3 +// CHECK: issue_hash3 // CHECK: location // CHECK: -// CHECK: line220 -// CHECK: col9 +// CHECK: line217 +// CHECK: col20 // CHECK: file0 // CHECK: // CHECK: @@ -4116,30 +4196,30 @@ // CHECK: kindevent // CHECK: location // CHECK: -// CHECK: line217 -// CHECK: col16 +// CHECK: line221 +// CHECK: col45 // CHECK: file0 // CHECK: // CHECK: ranges // CHECK: // CHECK: // CHECK: -// CHECK: line217 -// CHECK: col16 +// CHECK: line221 +// CHECK: col45 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line217 -// CHECK: col16 +// CHECK: line221 +// CHECK: col45 // CHECK: file0 // CHECK: // CHECK: // CHECK: // CHECK: depth0 // CHECK: extended_message -// CHECK: Type 'NSArray<NSNumber *> *' is inferred from implicit cast (from 'NSArray<NSNumber *> *' to 'NSArray *') +// CHECK: Type 'NSArray<NSString *> *' is inferred from implicit cast (from '__kindof NSArray<NSString *> *' to 'BuggyMutableArray<NSMutableString *> *') // CHECK: message -// CHECK: Type 'NSArray<NSNumber *> *' is inferred from implicit cast (from 'NSArray<NSNumber *> *' to 'NSArray *') +// CHECK: Type 'NSArray<NSString *> *' is inferred from implicit cast (from '__kindof NSArray<NSString *> *' to 'BuggyMutableArray<NSMutableString *> *') // CHECK: // CHECK: // CHECK: kindcontrol @@ -4149,13 +4229,13 @@ // CHECK: start // CHECK: // CHECK: -// CHECK: line217 +// CHECK: line221 // CHECK: col3 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line217 -// CHECK: col9 +// CHECK: line221 +// CHECK: col19 // CHECK: file0 // CHECK: // CHECK: @@ -4168,7 +4248,7 @@ // CHECK: // CHECK: // CHECK: line222 -// CHECK: col5 +// CHECK: col18 // CHECK: file0 // CHECK: // CHECK: @@ -4176,6 +4256,35 @@ // CHECK: // CHECK: // CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line222 +// CHECK: col20 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line222 +// CHECK: col20 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line222 +// CHECK: col20 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Type 'MutableArray<NSString *> *' is inferred from implicit cast (from 'BuggyMutableArray<NSMutableString *> *' to 'MutableArray<NSString *> *') +// CHECK: message +// CHECK: Type 'MutableArray<NSString *> *' is inferred from implicit cast (from 'BuggyMutableArray<NSMutableString *> *' to 'MutableArray<NSString *> *') +// CHECK: +// CHECK: // CHECK: kindcontrol // CHECK: edges // CHECK: @@ -4189,20 +4298,20 @@ // CHECK: // CHECK: // CHECK: line222 -// CHECK: col5 +// CHECK: col18 // CHECK: file0 // CHECK: // CHECK: // CHECK: end // CHECK: // CHECK: -// CHECK: line222 -// CHECK: col11 +// CHECK: line223 +// CHECK: col3 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line222 -// CHECK: col21 +// CHECK: line223 +// CHECK: col25 // CHECK: file0 // CHECK: // CHECK: @@ -4210,10 +4319,476 @@ // CHECK: // CHECK: // CHECK: -// CHECK: kindevent -// CHECK: location -// CHECK: -// CHECK: line222 +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line223 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line223 +// CHECK: col25 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line223 +// CHECK: col27 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line223 +// CHECK: col27 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line223 +// CHECK: col27 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line223 +// CHECK: col27 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line223 +// CHECK: col27 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Conversion from value of type 'MutableArray<NSString *> *' to incompatible type 'MutableArray<NSMutableString *> *' +// CHECK: message +// CHECK: Conversion from value of type 'MutableArray<NSString *> *' to incompatible type 'MutableArray<NSMutableString *> *' +// CHECK: +// CHECK: +// CHECK: descriptionConversion from value of type 'MutableArray<NSString *> *' to incompatible type 'MutableArray<NSMutableString *> *' +// CHECK: categoryCore Foundation/Objective-C +// CHECK: typeGenerics +// CHECK: check_namealpha.osx.cocoa.ObjCGenerics +// CHECK: issue_context_kindfunction +// CHECK: issue_contextInferenceFromAPIWithBuggyTypes4 +// CHECK: issue_hash3 +// CHECK: location +// CHECK: +// CHECK: line223 +// CHECK: col27 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: path +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line235 +// CHECK: col16 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line235 +// CHECK: col16 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line235 +// CHECK: col16 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Type 'NSArray<NSNumber *> *' is inferred from implicit cast (from 'NSArray<NSNumber *> *' to 'NSArray *') +// CHECK: message +// CHECK: Type 'NSArray<NSNumber *> *' is inferred from implicit cast (from 'NSArray<NSNumber *> *' to 'NSArray *') +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line235 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line235 +// CHECK: col9 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line236 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line236 +// CHECK: col10 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line236 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line236 +// CHECK: col10 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line236 +// CHECK: col19 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line236 +// CHECK: col19 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line236 +// CHECK: col19 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line236 +// CHECK: col19 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line236 +// CHECK: col38 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Conversion from value of type 'NSNumber *' to incompatible type 'NSString *' +// CHECK: message +// CHECK: Conversion from value of type 'NSNumber *' to incompatible type 'NSString *' +// CHECK: +// CHECK: +// CHECK: descriptionConversion from value of type 'NSNumber *' to incompatible type 'NSString *' +// CHECK: categoryCore Foundation/Objective-C +// CHECK: typeGenerics +// CHECK: check_namealpha.osx.cocoa.ObjCGenerics +// CHECK: issue_context_kindfunction +// CHECK: issue_contextworkWithProperties +// CHECK: issue_hash2 +// CHECK: location +// CHECK: +// CHECK: line236 +// CHECK: col19 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: path +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line235 +// CHECK: col16 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line235 +// CHECK: col16 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line235 +// CHECK: col16 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Type 'NSArray<NSNumber *> *' is inferred from implicit cast (from 'NSArray<NSNumber *> *' to 'NSArray *') +// CHECK: message +// CHECK: Type 'NSArray<NSNumber *> *' is inferred from implicit cast (from 'NSArray<NSNumber *> *' to 'NSArray *') +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line235 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line235 +// CHECK: col9 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line238 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line238 +// CHECK: col5 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line238 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line238 +// CHECK: col5 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line238 +// CHECK: col9 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line238 +// CHECK: col9 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line238 +// CHECK: col9 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line238 +// CHECK: col9 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line238 +// CHECK: col23 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Conversion from value of type 'NSNumber *' to incompatible type 'NSString *' +// CHECK: message +// CHECK: Conversion from value of type 'NSNumber *' to incompatible type 'NSString *' +// CHECK: +// CHECK: +// CHECK: descriptionConversion from value of type 'NSNumber *' to incompatible type 'NSString *' +// CHECK: categoryCore Foundation/Objective-C +// CHECK: typeGenerics +// CHECK: check_namealpha.osx.cocoa.ObjCGenerics +// CHECK: issue_context_kindfunction +// CHECK: issue_contextworkWithProperties +// CHECK: issue_hash4 +// CHECK: location +// CHECK: +// CHECK: line238 +// CHECK: col9 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: path +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line235 +// CHECK: col16 +// CHECK: file0 +// CHECK: +// CHECK: ranges +// CHECK: +// CHECK: +// CHECK: +// CHECK: line235 +// CHECK: col16 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line235 +// CHECK: col16 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: depth0 +// CHECK: extended_message +// CHECK: Type 'NSArray<NSNumber *> *' is inferred from implicit cast (from 'NSArray<NSNumber *> *' to 'NSArray *') +// CHECK: message +// CHECK: Type 'NSArray<NSNumber *> *' is inferred from implicit cast (from 'NSArray<NSNumber *> *' to 'NSArray *') +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line235 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line235 +// CHECK: col9 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line240 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line240 +// CHECK: col5 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindcontrol +// CHECK: edges +// CHECK: +// CHECK: +// CHECK: start +// CHECK: +// CHECK: +// CHECK: line240 +// CHECK: col3 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line240 +// CHECK: col5 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: end +// CHECK: +// CHECK: +// CHECK: line240 +// CHECK: col11 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: line240 +// CHECK: col21 +// CHECK: file0 +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: +// CHECK: kindevent +// CHECK: location +// CHECK: +// CHECK: line240 // CHECK: col11 // CHECK: file0 // CHECK: @@ -4221,12 +4796,12 @@ // CHECK: // CHECK: // CHECK: -// CHECK: line222 +// CHECK: line240 // CHECK: col11 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line222 +// CHECK: line240 // CHECK: col21 // CHECK: file0 // CHECK: @@ -4234,12 +4809,12 @@ // CHECK: // CHECK: depth0 // CHECK: extended_message -// CHECK: Incompatible pointer types assigning to 'NSString *' from 'NSNumber *' +// CHECK: Conversion from value of type 'NSNumber *' to incompatible type 'NSString *' // CHECK: message -// CHECK: Incompatible pointer types assigning to 'NSString *' from 'NSNumber *' +// CHECK: Conversion from value of type 'NSNumber *' to incompatible type 'NSString *' // CHECK: // CHECK: -// CHECK: descriptionIncompatible pointer types assigning to 'NSString *' from 'NSNumber *' +// CHECK: descriptionConversion from value of type 'NSNumber *' to incompatible type 'NSString *' // CHECK: categoryCore Foundation/Objective-C // CHECK: typeGenerics // CHECK: check_namealpha.osx.cocoa.ObjCGenerics @@ -4248,7 +4823,7 @@ // CHECK: issue_hash6 // CHECK: location // CHECK: -// CHECK: line222 +// CHECK: line240 // CHECK: col11 // CHECK: file0 // CHECK: @@ -4260,7 +4835,7 @@ // CHECK: kindevent // CHECK: location // CHECK: -// CHECK: line217 +// CHECK: line235 // CHECK: col16 // CHECK: file0 // CHECK: @@ -4268,12 +4843,12 @@ // CHECK: // CHECK: // CHECK: -// CHECK: line217 +// CHECK: line235 // CHECK: col16 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line217 +// CHECK: line235 // CHECK: col16 // CHECK: file0 // CHECK: @@ -4293,12 +4868,12 @@ // CHECK: start // CHECK: // CHECK: -// CHECK: line217 +// CHECK: line235 // CHECK: col3 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line217 +// CHECK: line235 // CHECK: col9 // CHECK: file0 // CHECK: @@ -4306,12 +4881,12 @@ // CHECK: end // CHECK: // CHECK: -// CHECK: line224 +// CHECK: line242 // CHECK: col3 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line224 +// CHECK: line242 // CHECK: col5 // CHECK: file0 // CHECK: @@ -4327,12 +4902,12 @@ // CHECK: start // CHECK: // CHECK: -// CHECK: line224 +// CHECK: line242 // CHECK: col3 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line224 +// CHECK: line242 // CHECK: col5 // CHECK: file0 // CHECK: @@ -4340,12 +4915,12 @@ // CHECK: end // CHECK: // CHECK: -// CHECK: line224 +// CHECK: line242 // CHECK: col9 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line224 +// CHECK: line242 // CHECK: col9 // CHECK: file0 // CHECK: @@ -4357,7 +4932,7 @@ // CHECK: kindevent // CHECK: location // CHECK: -// CHECK: line224 +// CHECK: line242 // CHECK: col9 // CHECK: file0 // CHECK: @@ -4365,12 +4940,12 @@ // CHECK: // CHECK: // CHECK: -// CHECK: line224 +// CHECK: line242 // CHECK: col9 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line224 +// CHECK: line242 // CHECK: col9 // CHECK: file0 // CHECK: @@ -4378,12 +4953,12 @@ // CHECK: // CHECK: depth0 // CHECK: extended_message -// CHECK: Incompatible pointer types assigning to 'NSString *' from 'NSNumber *' +// CHECK: Conversion from value of type 'NSNumber *' to incompatible type 'NSString *' // CHECK: message -// CHECK: Incompatible pointer types assigning to 'NSString *' from 'NSNumber *' +// CHECK: Conversion from value of type 'NSNumber *' to incompatible type 'NSString *' // CHECK: // CHECK: -// CHECK: descriptionIncompatible pointer types assigning to 'NSString *' from 'NSNumber *' +// CHECK: descriptionConversion from value of type 'NSNumber *' to incompatible type 'NSString *' // CHECK: categoryCore Foundation/Objective-C // CHECK: typeGenerics // CHECK: check_namealpha.osx.cocoa.ObjCGenerics @@ -4392,7 +4967,7 @@ // CHECK: issue_hash8 // CHECK: location // CHECK: -// CHECK: line224 +// CHECK: line242 // CHECK: col9 // CHECK: file0 // CHECK: @@ -4404,7 +4979,7 @@ // CHECK: kindevent // CHECK: location // CHECK: -// CHECK: line230 +// CHECK: line248 // CHECK: col7 // CHECK: file0 // CHECK: @@ -4412,12 +4987,12 @@ // CHECK: // CHECK: // CHECK: -// CHECK: line230 +// CHECK: line248 // CHECK: col7 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line230 +// CHECK: line248 // CHECK: col7 // CHECK: file0 // CHECK: @@ -4437,12 +5012,12 @@ // CHECK: start // CHECK: // CHECK: -// CHECK: line230 +// CHECK: line248 // CHECK: col3 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line230 +// CHECK: line248 // CHECK: col3 // CHECK: file0 // CHECK: @@ -4450,12 +5025,12 @@ // CHECK: end // CHECK: // CHECK: -// CHECK: line231 +// CHECK: line249 // CHECK: col3 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line231 +// CHECK: line249 // CHECK: col4 // CHECK: file0 // CHECK: @@ -4471,12 +5046,12 @@ // CHECK: start // CHECK: // CHECK: -// CHECK: line231 +// CHECK: line249 // CHECK: col3 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line231 +// CHECK: line249 // CHECK: col4 // CHECK: file0 // CHECK: @@ -4484,12 +5059,12 @@ // CHECK: end // CHECK: // CHECK: -// CHECK: line232 +// CHECK: line250 // CHECK: col5 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line232 +// CHECK: line250 // CHECK: col5 // CHECK: file0 // CHECK: @@ -4505,12 +5080,12 @@ // CHECK: start // CHECK: // CHECK: -// CHECK: line232 +// CHECK: line250 // CHECK: col5 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line232 +// CHECK: line250 // CHECK: col5 // CHECK: file0 // CHECK: @@ -4518,12 +5093,12 @@ // CHECK: end // CHECK: // CHECK: -// CHECK: line233 +// CHECK: line251 // CHECK: col5 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line233 +// CHECK: line251 // CHECK: col5 // CHECK: file0 // CHECK: @@ -4535,7 +5110,7 @@ // CHECK: kindevent // CHECK: location // CHECK: -// CHECK: line233 +// CHECK: line251 // CHECK: col5 // CHECK: file0 // CHECK: @@ -4543,12 +5118,12 @@ // CHECK: // CHECK: // CHECK: -// CHECK: line233 +// CHECK: line251 // CHECK: col19 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line233 +// CHECK: line251 // CHECK: col41 // CHECK: file0 // CHECK: @@ -4556,12 +5131,12 @@ // CHECK: // CHECK: depth0 // CHECK: extended_message -// CHECK: Incompatible pointer types assigning to 'NSMutableString *' from 'NSString *' +// CHECK: Conversion from value of type 'NSString *' to incompatible type 'NSMutableString *' // CHECK: message -// CHECK: Incompatible pointer types assigning to 'NSMutableString *' from 'NSString *' +// CHECK: Conversion from value of type 'NSString *' to incompatible type 'NSMutableString *' // CHECK: // CHECK: -// CHECK: descriptionIncompatible pointer types assigning to 'NSMutableString *' from 'NSString *' +// CHECK: descriptionConversion from value of type 'NSString *' to incompatible type 'NSMutableString *' // CHECK: categoryCore Foundation/Objective-C // CHECK: typeGenerics // CHECK: check_namealpha.osx.cocoa.ObjCGenerics @@ -4570,7 +5145,7 @@ // CHECK: issue_hash4 // CHECK: location // CHECK: -// CHECK: line233 +// CHECK: line251 // CHECK: col5 // CHECK: file0 // CHECK: @@ -4582,7 +5157,7 @@ // CHECK: kindevent // CHECK: location // CHECK: -// CHECK: line242 +// CHECK: line260 // CHECK: col7 // CHECK: file0 // CHECK: @@ -4590,12 +5165,12 @@ // CHECK: // CHECK: // CHECK: -// CHECK: line242 +// CHECK: line260 // CHECK: col7 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line242 +// CHECK: line260 // CHECK: col7 // CHECK: file0 // CHECK: @@ -4615,12 +5190,12 @@ // CHECK: start // CHECK: // CHECK: -// CHECK: line242 +// CHECK: line260 // CHECK: col3 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line242 +// CHECK: line260 // CHECK: col3 // CHECK: file0 // CHECK: @@ -4628,12 +5203,12 @@ // CHECK: end // CHECK: // CHECK: -// CHECK: line243 +// CHECK: line261 // CHECK: col3 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line243 +// CHECK: line261 // CHECK: col4 // CHECK: file0 // CHECK: @@ -4649,12 +5224,12 @@ // CHECK: start // CHECK: // CHECK: -// CHECK: line243 +// CHECK: line261 // CHECK: col3 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line243 +// CHECK: line261 // CHECK: col4 // CHECK: file0 // CHECK: @@ -4662,12 +5237,12 @@ // CHECK: end // CHECK: // CHECK: -// CHECK: line244 +// CHECK: line262 // CHECK: col5 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line244 +// CHECK: line262 // CHECK: col5 // CHECK: file0 // CHECK: @@ -4679,7 +5254,7 @@ // CHECK: kindevent // CHECK: location // CHECK: -// CHECK: line244 +// CHECK: line262 // CHECK: col5 // CHECK: file0 // CHECK: @@ -4687,12 +5262,12 @@ // CHECK: // CHECK: // CHECK: -// CHECK: line244 +// CHECK: line262 // CHECK: col19 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line244 +// CHECK: line262 // CHECK: col41 // CHECK: file0 // CHECK: @@ -4700,12 +5275,12 @@ // CHECK: // CHECK: depth0 // CHECK: extended_message -// CHECK: Incompatible pointer types assigning to 'NSMutableString *' from 'NSString *' +// CHECK: Conversion from value of type 'NSString *' to incompatible type 'NSMutableString *' // CHECK: message -// CHECK: Incompatible pointer types assigning to 'NSMutableString *' from 'NSString *' +// CHECK: Conversion from value of type 'NSString *' to incompatible type 'NSMutableString *' // CHECK: // CHECK: -// CHECK: descriptionIncompatible pointer types assigning to 'NSMutableString *' from 'NSString *' +// CHECK: descriptionConversion from value of type 'NSString *' to incompatible type 'NSMutableString *' // CHECK: categoryCore Foundation/Objective-C // CHECK: typeGenerics // CHECK: check_namealpha.osx.cocoa.ObjCGenerics @@ -4714,7 +5289,7 @@ // CHECK: issue_hash3 // CHECK: location // CHECK: -// CHECK: line244 +// CHECK: line262 // CHECK: col5 // CHECK: file0 // CHECK: @@ -4726,7 +5301,7 @@ // CHECK: kindevent // CHECK: location // CHECK: -// CHECK: line257 +// CHECK: line275 // CHECK: col30 // CHECK: file0 // CHECK: @@ -4734,12 +5309,12 @@ // CHECK: // CHECK: // CHECK: -// CHECK: line257 +// CHECK: line275 // CHECK: col30 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line257 +// CHECK: line275 // CHECK: col42 // CHECK: file0 // CHECK: @@ -4759,12 +5334,12 @@ // CHECK: start // CHECK: // CHECK: -// CHECK: line257 +// CHECK: line275 // CHECK: col3 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line257 +// CHECK: line275 // CHECK: col9 // CHECK: file0 // CHECK: @@ -4772,12 +5347,12 @@ // CHECK: end // CHECK: // CHECK: -// CHECK: line259 +// CHECK: line277 // CHECK: col3 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line259 +// CHECK: line277 // CHECK: col3 // CHECK: file0 // CHECK: @@ -4789,7 +5364,7 @@ // CHECK: kindevent // CHECK: location // CHECK: -// CHECK: line259 +// CHECK: line277 // CHECK: col3 // CHECK: file0 // CHECK: @@ -4797,12 +5372,12 @@ // CHECK: // CHECK: // CHECK: -// CHECK: line259 +// CHECK: line277 // CHECK: col19 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line259 +// CHECK: line277 // CHECK: col41 // CHECK: file0 // CHECK: @@ -4810,12 +5385,12 @@ // CHECK: // CHECK: depth0 // CHECK: extended_message -// CHECK: Incompatible pointer types assigning to 'NSString *' from 'NSNumber *' +// CHECK: Conversion from value of type 'NSNumber *' to incompatible type 'NSString *' // CHECK: message -// CHECK: Incompatible pointer types assigning to 'NSString *' from 'NSNumber *' +// CHECK: Conversion from value of type 'NSNumber *' to incompatible type 'NSString *' // CHECK: // CHECK: -// CHECK: descriptionIncompatible pointer types assigning to 'NSString *' from 'NSNumber *' +// CHECK: descriptionConversion from value of type 'NSNumber *' to incompatible type 'NSString *' // CHECK: categoryCore Foundation/Objective-C // CHECK: typeGenerics // CHECK: check_namealpha.osx.cocoa.ObjCGenerics @@ -4824,7 +5399,7 @@ // CHECK: issue_hash3 // CHECK: location // CHECK: -// CHECK: line259 +// CHECK: line277 // CHECK: col3 // CHECK: file0 // CHECK: @@ -4836,7 +5411,7 @@ // CHECK: kindevent // CHECK: location // CHECK: -// CHECK: line268 +// CHECK: line286 // CHECK: col13 // CHECK: file0 // CHECK: @@ -4844,12 +5419,12 @@ // CHECK: // CHECK: // CHECK: -// CHECK: line268 +// CHECK: line286 // CHECK: col13 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line268 +// CHECK: line286 // CHECK: col39 // CHECK: file0 // CHECK: @@ -4869,12 +5444,12 @@ // CHECK: start // CHECK: // CHECK: -// CHECK: line268 +// CHECK: line286 // CHECK: col3 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line268 +// CHECK: line286 // CHECK: col7 // CHECK: file0 // CHECK: @@ -4882,12 +5457,12 @@ // CHECK: end // CHECK: // CHECK: -// CHECK: line269 +// CHECK: line287 // CHECK: col3 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line269 +// CHECK: line287 // CHECK: col9 // CHECK: file0 // CHECK: @@ -4903,12 +5478,12 @@ // CHECK: start // CHECK: // CHECK: -// CHECK: line269 +// CHECK: line287 // CHECK: col3 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line269 +// CHECK: line287 // CHECK: col9 // CHECK: file0 // CHECK: @@ -4916,12 +5491,12 @@ // CHECK: end // CHECK: // CHECK: -// CHECK: line269 +// CHECK: line287 // CHECK: col28 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line269 +// CHECK: line287 // CHECK: col28 // CHECK: file0 // CHECK: @@ -4933,7 +5508,7 @@ // CHECK: kindevent // CHECK: location // CHECK: -// CHECK: line269 +// CHECK: line287 // CHECK: col28 // CHECK: file0 // CHECK: @@ -4941,12 +5516,12 @@ // CHECK: // CHECK: // CHECK: -// CHECK: line269 +// CHECK: line287 // CHECK: col28 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line269 +// CHECK: line287 // CHECK: col39 // CHECK: file0 // CHECK: @@ -4954,12 +5529,12 @@ // CHECK: // CHECK: depth0 // CHECK: extended_message -// CHECK: Incompatible pointer types assigning to 'NSArray<NSNumber *> *' from 'NSArray<NSString *> *' +// CHECK: Conversion from value of type 'NSArray<NSString *> *' to incompatible type 'NSArray<NSNumber *> *' // CHECK: message -// CHECK: Incompatible pointer types assigning to 'NSArray<NSNumber *> *' from 'NSArray<NSString *> *' +// CHECK: Conversion from value of type 'NSArray<NSString *> *' to incompatible type 'NSArray<NSNumber *> *' // CHECK: // CHECK: -// CHECK: descriptionIncompatible pointer types assigning to 'NSArray<NSNumber *> *' from 'NSArray<NSString *> *' +// CHECK: descriptionConversion from value of type 'NSArray<NSString *> *' to incompatible type 'NSArray<NSNumber *> *' // CHECK: categoryCore Foundation/Objective-C // CHECK: typeGenerics // CHECK: check_namealpha.osx.cocoa.ObjCGenerics @@ -4968,7 +5543,7 @@ // CHECK: issue_hash2 // CHECK: location // CHECK: -// CHECK: line269 +// CHECK: line287 // CHECK: col28 // CHECK: file0 // CHECK: @@ -4980,7 +5555,7 @@ // CHECK: kindevent // CHECK: location // CHECK: -// CHECK: line268 +// CHECK: line286 // CHECK: col13 // CHECK: file0 // CHECK: @@ -4988,12 +5563,12 @@ // CHECK: // CHECK: // CHECK: -// CHECK: line268 +// CHECK: line286 // CHECK: col13 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line268 +// CHECK: line286 // CHECK: col39 // CHECK: file0 // CHECK: @@ -5013,12 +5588,12 @@ // CHECK: start // CHECK: // CHECK: -// CHECK: line268 +// CHECK: line286 // CHECK: col3 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line268 +// CHECK: line286 // CHECK: col7 // CHECK: file0 // CHECK: @@ -5026,12 +5601,12 @@ // CHECK: end // CHECK: // CHECK: -// CHECK: line270 +// CHECK: line288 // CHECK: col3 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line270 +// CHECK: line288 // CHECK: col3 // CHECK: file0 // CHECK: @@ -5047,12 +5622,12 @@ // CHECK: start // CHECK: // CHECK: -// CHECK: line270 +// CHECK: line288 // CHECK: col3 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line270 +// CHECK: line288 // CHECK: col3 // CHECK: file0 // CHECK: @@ -5060,12 +5635,12 @@ // CHECK: end // CHECK: // CHECK: -// CHECK: line270 +// CHECK: line288 // CHECK: col7 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line270 +// CHECK: line288 // CHECK: col7 // CHECK: file0 // CHECK: @@ -5077,7 +5652,7 @@ // CHECK: kindevent // CHECK: location // CHECK: -// CHECK: line270 +// CHECK: line288 // CHECK: col7 // CHECK: file0 // CHECK: @@ -5085,12 +5660,12 @@ // CHECK: // CHECK: // CHECK: -// CHECK: line270 +// CHECK: line288 // CHECK: col7 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line270 +// CHECK: line288 // CHECK: col19 // CHECK: file0 // CHECK: @@ -5098,12 +5673,12 @@ // CHECK: // CHECK: depth0 // CHECK: extended_message -// CHECK: Incompatible pointer types assigning to 'NSArray<NSNumber *> *' from 'NSArray<NSString *> *' +// CHECK: Conversion from value of type 'NSArray<NSString *> *' to incompatible type 'NSArray<NSNumber *> *' // CHECK: message -// CHECK: Incompatible pointer types assigning to 'NSArray<NSNumber *> *' from 'NSArray<NSString *> *' +// CHECK: Conversion from value of type 'NSArray<NSString *> *' to incompatible type 'NSArray<NSNumber *> *' // CHECK: // CHECK: -// CHECK: descriptionIncompatible pointer types assigning to 'NSArray<NSNumber *> *' from 'NSArray<NSString *> *' +// CHECK: descriptionConversion from value of type 'NSArray<NSString *> *' to incompatible type 'NSArray<NSNumber *> *' // CHECK: categoryCore Foundation/Objective-C // CHECK: typeGenerics // CHECK: check_namealpha.osx.cocoa.ObjCGenerics @@ -5112,7 +5687,7 @@ // CHECK: issue_hash3 // CHECK: location // CHECK: -// CHECK: line270 +// CHECK: line288 // CHECK: col7 // CHECK: file0 // CHECK: @@ -5124,7 +5699,7 @@ // CHECK: kindevent // CHECK: location // CHECK: -// CHECK: line274 +// CHECK: line292 // CHECK: col13 // CHECK: file0 // CHECK: @@ -5132,12 +5707,12 @@ // CHECK: // CHECK: // CHECK: -// CHECK: line274 +// CHECK: line292 // CHECK: col13 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line274 +// CHECK: line292 // CHECK: col15 // CHECK: file0 // CHECK: @@ -5157,12 +5732,12 @@ // CHECK: start // CHECK: // CHECK: -// CHECK: line274 +// CHECK: line292 // CHECK: col3 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line274 +// CHECK: line292 // CHECK: col4 // CHECK: file0 // CHECK: @@ -5170,12 +5745,12 @@ // CHECK: end // CHECK: // CHECK: -// CHECK: line275 +// CHECK: line293 // CHECK: col3 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line275 +// CHECK: line293 // CHECK: col3 // CHECK: file0 // CHECK: @@ -5191,12 +5766,12 @@ // CHECK: start // CHECK: // CHECK: -// CHECK: line275 +// CHECK: line293 // CHECK: col3 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line275 +// CHECK: line293 // CHECK: col3 // CHECK: file0 // CHECK: @@ -5204,12 +5779,12 @@ // CHECK: end // CHECK: // CHECK: -// CHECK: line275 +// CHECK: line293 // CHECK: col18 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line275 +// CHECK: line293 // CHECK: col21 // CHECK: file0 // CHECK: @@ -5221,7 +5796,7 @@ // CHECK: kindevent // CHECK: location // CHECK: -// CHECK: line275 +// CHECK: line293 // CHECK: col18 // CHECK: file0 // CHECK: @@ -5229,12 +5804,12 @@ // CHECK: // CHECK: // CHECK: -// CHECK: line275 +// CHECK: line293 // CHECK: col18 // CHECK: file0 // CHECK: // CHECK: -// CHECK: line275 +// CHECK: line293 // CHECK: col21 // CHECK: file0 // CHECK: @@ -5242,12 +5817,12 @@ // CHECK: // CHECK: depth0 // CHECK: extended_message -// CHECK: Incompatible pointer types assigning to 'NSArray<NSNumber *> *' from 'NSArray<NSString *> *' +// CHECK: Conversion from value of type 'NSArray<NSString *> *' to incompatible type 'NSArray<NSNumber *> *' // CHECK: message -// CHECK: Incompatible pointer types assigning to 'NSArray<NSNumber *> *' from 'NSArray<NSString *> *' +// CHECK: Conversion from value of type 'NSArray<NSString *> *' to incompatible type 'NSArray<NSNumber *> *' // CHECK: // CHECK: -// CHECK: descriptionIncompatible pointer types assigning to 'NSArray<NSNumber *> *' from 'NSArray<NSString *> *' +// CHECK: descriptionConversion from value of type 'NSArray<NSString *> *' to incompatible type 'NSArray<NSNumber *> *' // CHECK: categoryCore Foundation/Objective-C // CHECK: typeGenerics // CHECK: check_namealpha.osx.cocoa.ObjCGenerics @@ -5256,10 +5831,9 @@ // CHECK: issue_hash2 // CHECK: location // CHECK: -// CHECK: line275 +// CHECK: line293 // CHECK: col18 // CHECK: file0 // CHECK: // CHECK: // CHECK: -