[PATCH] D23014: [analyzer] Model base to derived casts more precisely.

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

xazax.hun added inline comments.

================
Comment at: test/Analysis/NewDelete-checker-test.cpp:394
@@ +393,3 @@
+  Derived *p = (Derived *)allocate();
+  delete p;
+}
----------------
Before the modification the analyzer reports a leak here, since the symbol returned by the BaseToDerived cast is independent of the original symbol.


https://reviews.llvm.org/D23014