[PATCH] D33191: [analyzer] ObjCGenerics: account for __kindof specifiers met along a chain of casts.

[Gábor Horváth via Phabricator via cfe-commits]

xazax.hun added a comment.

In https://reviews.llvm.org/D33191#756174, @NoQ wrote:

> @Gábor: I didn't want to bother you with this, but i'm not entirely sure about how to deal with these false positives; since you're the original author of this check, if you see anything obviously wrong here please comment on me :)


I do not see anything obviously wrong. Of course this approach is very conservative, but in order to do it less conservatively probably we would need to store the type information separately for every type argument. Converting to that approach would be a lot of work, and it might make the check more complex.


https://reviews.llvm.org/D33191