[PATCH] D12889: [Static Analyzer] Generics Checker: When an ObjC method returns a specialized object, track it properly.

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

xazax.hun added inline comments.

================
Comment at: lib/StaticAnalyzer/Checkers/DynamicTypePropagation.cpp:680
@@ +679,3 @@
+    return nullptr;
+
+  QualType ResultType = Method->getReturnType().substObjCTypeArgs(
----------------
zaks.anna wrote:
> From above:
>  QualType StaticResultType = Method->getReturnType();
> 
> You could do 
>  QualType ResultType = StaticResultType.substObjCTypeArgs(
>       C, TypeArgs, ObjCSubstitutionContext::Result);
Oh, I see. Sorry for misunderstanding.


http://reviews.llvm.org/D12889