[PATCH] D39711: [analyzer] ObjCGenerics: Don't warn on cast conversions involving explicit cast

[Devin Coughlin via Phabricator via cfe-commits]

dcoughlin updated this revision to Diff 122550.
dcoughlin edited the summary of this revision.
dcoughlin added a comment.

Update to address Gabor's feedback and adopt "option 3". This changes the casting logic to always forget the specialized type arguments on an explicit cast regardless of whether it is an upcast/downcast or a cross cast.


https://reviews.llvm.org/D39711

Files:
  lib/StaticAnalyzer/Checkers/DynamicTypePropagation.cpp
  test/Analysis/generics.m

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D39711.122550.patch
Type: text/x-patch
Size: 195974 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20171111/93c4c761/attachment-0001.bin>