[PATCH] D12916: [Static Analyzer] Use generics related information to infer dynamic types.

[Anna Zaks via cfe-commits]

zaks.anna added inline comments.

================
Comment at: lib/StaticAnalyzer/Checkers/DynamicTypePropagation.cpp:871
@@ +870,3 @@
+  if (RetRegion) {
+    State = setDynamicTypeInfo(State, RetRegion, ResultType,
+                               /*CanBeSubclass=*/true);
----------------
Would it be possible for this to reset the type to a less specific type? (What happens if the method was inlined and we already inferred the value of the returned symbolic region.)
Same question for where we update the type in  dynamicTypePropagationOnCasts.

This also introduces a situation where both tables track the type. Maybe we should add a TODO here?




http://reviews.llvm.org/D12916