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

Gábor Horváth via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Thu May 18 09:35:53 PDT 2017


xazax.hun added a comment.

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

> I think i found a relatively clean way of storing the kindof specifiers, which is within the most-specialized type object itself.
>
> Like, if we see `Foo<X, Y>` being casted to `Foo<__kindof X, Y>` and in another place to `Foo<X, __kindof Y>`, then we'd store `Foo<__kindof X, __kindof Y>` in our map.


Great idea! I also think this approach is superior to the previous one.


https://reviews.llvm.org/D33191





More information about the cfe-commits mailing list