[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 updated this revision to Diff 34858.
xazax.hun marked 5 inline comments as done.
xazax.hun added a comment.

- Renamed TypeParamMap.
- Move the return type checking to post call (the diagnostic presented to the user is not affected by this change).
- Do not override the tracked type for returned values when the type information is already available.
- Added some missing TODO comments.
- Minor refactorings.


http://reviews.llvm.org/D12889

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D12889.34858.patch
Type: text/x-patch
Size: 231526 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20150916/4e81fcca/attachment-0001.bin>