[PATCH] D78124: [analyzer][ObjCGenerics] Don't emit diagnostics under the name core.DynamicTypePropagation

2020-05-19 Thread Kristóf Umann via Phabricator via cfe-commits
This revision was automatically updated to reflect the committed changes.
Closed by commit rG66224d309d08: [analyzer][ObjCGenerics] Dont emit 
diagnostics under the name core. (authored by Szelethus).

Changed prior to commit:
  https://reviews.llvm.org/D78124?vs=257375=265067#toc

Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D78124/new/

https://reviews.llvm.org/D78124

Files:
  clang/lib/StaticAnalyzer/Checkers/DynamicTypePropagation.cpp
  clang/test/Analysis/Inputs/expected-plists/generics.m.plist

Index: clang/test/Analysis/Inputs/expected-plists/generics.m.plist
===
--- clang/test/Analysis/Inputs/expected-plists/generics.m.plist
+++ clang/test/Analysis/Inputs/expected-plists/generics.m.plist
@@ -138,9 +138,9 @@
descriptionConversion from value of type NSMutableArrayNSString * * to incompatible type NSArrayNSNumber * *
categoryCore Foundation/Objective-C
typeGenerics
-   check_namecore.DynamicTypePropagation
+   check_nameosx.cocoa.ObjCGenerics

-   issue_hash_content_of_line_in_context33d4584e2bf66b029ab9d152cc9cd8f7
+   issue_hash_content_of_line_in_context9be4ccbeebeb5f814eb9ff5cef4907d3
   issue_context_kindfunction
   issue_contextincompatibleTypesErased
   issue_hash_function_offset2
@@ -295,9 +295,9 @@
descriptionConversion from value of type NSMutableArrayNSString * * to incompatible type NSArrayNSNumber * *
categoryCore Foundation/Objective-C
typeGenerics
-   check_namecore.DynamicTypePropagation
+   check_nameosx.cocoa.ObjCGenerics

-   issue_hash_content_of_line_in_context6edc910aaa9dc1f2d823abc8cb75360f
+   issue_hash_content_of_line_in_context567cd90c936f23ea70aca98b9d3af2b7
   issue_context_kindfunction
   issue_contextincompatibleTypesErased
   issue_hash_function_offset5
@@ -421,9 +421,9 @@
descriptionConversion from value of type NSNumber * to incompatible type NSString *
categoryCore Foundation/Objective-C
typeGenerics
-   check_namecore.DynamicTypePropagation
+   check_nameosx.cocoa.ObjCGenerics

-   issue_hash_content_of_line_in_context73c71c858082f5d7a2258f707927da3c
+   issue_hash_content_of_line_in_contexta6e6f9c2db7532f45c07d2c13bcf496b
   issue_context_kindfunction
   issue_contextincompatibleTypesErased
   issue_hash_function_offset8
@@ -689,9 +689,9 @@
descriptionConversion from value of type NSArrayNSNumber * * to incompatible type NSArrayNSString * *
categoryCore Foundation/Objective-C
typeGenerics
-   check_namecore.DynamicTypePropagation
+   check_nameosx.cocoa.ObjCGenerics

-   issue_hash_content_of_line_in_context82c378fdcfcc5c0318d2f3ca46420ec1
+   issue_hash_content_of_line_in_context73523166e7c9e436da86a96fbd7b3d90
   issue_context_kindfunction
   issue_contextcrossProceduralErasedTypes
   issue_hash_function_offset1
@@ -846,9 +846,9 @@
descriptionConversion from value of type NSMutableArrayNSString * * to incompatible type NSArrayNSNumber * *
categoryCore Foundation/Objective-C
typeGenerics
-   check_namecore.DynamicTypePropagation
+   check_nameosx.cocoa.ObjCGenerics

-   issue_hash_content_of_line_in_context234e3c299ee75a4dd4563e0ea88b9ed9
+   issue_hash_content_of_line_in_context649d50ef4cf1287ed225396d39995361
   issue_context_kindfunction
   issue_contextincompatibleTypesErasedReverseConversion
   issue_hash_function_offset4
@@ -970,9 +970,9 @@
descriptionConversion from value of type NSNumber * to incompatible type NSString *
categoryCore Foundation/Objective-C
typeGenerics
-   check_namecore.DynamicTypePropagation
+   check_nameosx.cocoa.ObjCGenerics

-   issue_hash_content_of_line_in_contexte875afc5479fec33a693ce2b550a9573
+   issue_hash_content_of_line_in_contextd5cc413c71cae912d5ba469f8fa05ac3
   issue_context_kindfunction
   issue_contextincompatibleTypesErasedReverseConversion
   issue_hash_function_offset6
@@ -1129,9 +1129,9 @@
descriptionConversion from value of type NSMutableArrayNSString * * to incompatible type NSArrayNSNumber * *
categoryCore Foundation/Objective-C
typeGenerics
-   check_namecore.DynamicTypePropagation
+   check_nameosx.cocoa.ObjCGenerics

-   issue_hash_content_of_line_in_contextd7fa9fa89fe860ed8f5d22631233a5fa
+   issue_hash_content_of_line_in_context36d360e268b9ebc2d70e160a15b9a186
   issue_context_kindfunction
   issue_contextidErasedIncompatibleTypesReverseConversion
   issue_hash_function_offset4
@@ -1252,9 +1252,9 @@
descriptionConversion from value of type NSNumber * to incompatible type NSString *
categoryCore Foundation/Objective-C
typeGenerics
-   check_namecore.DynamicTypePropagation
+   check_nameosx.cocoa.ObjCGenerics

-   issue_hash_content_of_line_in_context7de91182a5d6e40a85fa3b91cf3fd089
+   issue_hash_content_of_line_in_contexta7326f4dedbc94e8fa1ee02d851e7810
   issue_context_kindfunction
   issue_contextidErasedIncompatibleTypesReverseConversion
   issue_hash_function_offset6

[PATCH] D78124: [analyzer][ObjCGenerics] Don't emit diagnostics under the name core.DynamicTypePropagation

2020-05-08 Thread Balázs Kéri via Phabricator via cfe-commits
balazske accepted this revision.
balazske added a comment.
This revision is now accepted and ready to land.

Did not found problems.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D78124/new/

https://reviews.llvm.org/D78124



___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits


[PATCH] D78124: [analyzer][ObjCGenerics] Don't emit diagnostics under the name core.DynamicTypePropagation

2020-04-14 Thread Kristóf Umann via Phabricator via cfe-commits
Szelethus created this revision.
Szelethus added reviewers: NoQ, vsavchenko, dcoughlin, martong, balazske, 
xazax.hun, baloghadamsoftware.
Szelethus added a project: clang.
Herald added subscribers: cfe-commits, ASDenysPetrov, steakhal, Charusso, 
gamesh411, dkrupp, donat.nagy, mikhail.ramalho, a.sidorin, rnkovacs, szepet, 
whisperity.
Szelethus added a child revision: D78126: [analyzer][NFC] Don't allow 
dependency checkers to emit diagnostics.

I start to think I may have gone overboard with fragmenting all of these 
changes into different revisions. Anyways, this is the last one!


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D78124

Files:
  clang/lib/StaticAnalyzer/Checkers/DynamicTypePropagation.cpp
  clang/test/Analysis/Inputs/expected-plists/generics.m.plist

Index: clang/test/Analysis/Inputs/expected-plists/generics.m.plist
===
--- clang/test/Analysis/Inputs/expected-plists/generics.m.plist
+++ clang/test/Analysis/Inputs/expected-plists/generics.m.plist
@@ -138,9 +138,9 @@
descriptionConversion from value of type NSMutableArrayNSString * * to incompatible type NSArrayNSNumber * *
categoryCore Foundation/Objective-C
typeGenerics
-   check_namecore.DynamicTypePropagation
+   check_nameosx.cocoa.ObjCGenerics

-   issue_hash_content_of_line_in_context33d4584e2bf66b029ab9d152cc9cd8f7
+   issue_hash_content_of_line_in_context9be4ccbeebeb5f814eb9ff5cef4907d3
   issue_context_kindfunction
   issue_contextincompatibleTypesErased
   issue_hash_function_offset2
@@ -295,9 +295,9 @@
descriptionConversion from value of type NSMutableArrayNSString * * to incompatible type NSArrayNSNumber * *
categoryCore Foundation/Objective-C
typeGenerics
-   check_namecore.DynamicTypePropagation
+   check_nameosx.cocoa.ObjCGenerics

-   issue_hash_content_of_line_in_context6edc910aaa9dc1f2d823abc8cb75360f
+   issue_hash_content_of_line_in_context567cd90c936f23ea70aca98b9d3af2b7
   issue_context_kindfunction
   issue_contextincompatibleTypesErased
   issue_hash_function_offset5
@@ -421,9 +421,9 @@
descriptionConversion from value of type NSNumber * to incompatible type NSString *
categoryCore Foundation/Objective-C
typeGenerics
-   check_namecore.DynamicTypePropagation
+   check_nameosx.cocoa.ObjCGenerics

-   issue_hash_content_of_line_in_context73c71c858082f5d7a2258f707927da3c
+   issue_hash_content_of_line_in_contexta6e6f9c2db7532f45c07d2c13bcf496b
   issue_context_kindfunction
   issue_contextincompatibleTypesErased
   issue_hash_function_offset8
@@ -689,9 +689,9 @@
descriptionConversion from value of type NSArrayNSNumber * * to incompatible type NSArrayNSString * *
categoryCore Foundation/Objective-C
typeGenerics
-   check_namecore.DynamicTypePropagation
+   check_nameosx.cocoa.ObjCGenerics

-   issue_hash_content_of_line_in_context82c378fdcfcc5c0318d2f3ca46420ec1
+   issue_hash_content_of_line_in_context73523166e7c9e436da86a96fbd7b3d90
   issue_context_kindfunction
   issue_contextcrossProceduralErasedTypes
   issue_hash_function_offset1
@@ -846,9 +846,9 @@
descriptionConversion from value of type NSMutableArrayNSString * * to incompatible type NSArrayNSNumber * *
categoryCore Foundation/Objective-C
typeGenerics
-   check_namecore.DynamicTypePropagation
+   check_nameosx.cocoa.ObjCGenerics

-   issue_hash_content_of_line_in_context234e3c299ee75a4dd4563e0ea88b9ed9
+   issue_hash_content_of_line_in_context649d50ef4cf1287ed225396d39995361
   issue_context_kindfunction
   issue_contextincompatibleTypesErasedReverseConversion
   issue_hash_function_offset4
@@ -970,9 +970,9 @@
descriptionConversion from value of type NSNumber * to incompatible type NSString *
categoryCore Foundation/Objective-C
typeGenerics
-   check_namecore.DynamicTypePropagation
+   check_nameosx.cocoa.ObjCGenerics

-   issue_hash_content_of_line_in_contexte875afc5479fec33a693ce2b550a9573
+   issue_hash_content_of_line_in_contextd5cc413c71cae912d5ba469f8fa05ac3
   issue_context_kindfunction
   issue_contextincompatibleTypesErasedReverseConversion
   issue_hash_function_offset6
@@ -1129,9 +1129,9 @@
descriptionConversion from value of type NSMutableArrayNSString * * to incompatible type NSArrayNSNumber * *
categoryCore Foundation/Objective-C
typeGenerics
-   check_namecore.DynamicTypePropagation
+   check_nameosx.cocoa.ObjCGenerics

-   issue_hash_content_of_line_in_contextd7fa9fa89fe860ed8f5d22631233a5fa
+   issue_hash_content_of_line_in_context36d360e268b9ebc2d70e160a15b9a186
   issue_context_kindfunction
   issue_contextidErasedIncompatibleTypesReverseConversion
   issue_hash_function_offset4
@@ -1252,9 +1252,9 @@
descriptionConversion from value of type NSNumber * to incompatible type NSString *
categoryCore Foundation/Objective-C
typeGenerics
-   check_namecore.DynamicTypePropagation
+   check_nameosx.cocoa.ObjCGenerics

-