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

Gábor Horváth via cfe-commits cfe-commits at lists.llvm.org
Mon Aug 1 07:43:25 PDT 2016

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.


More information about the cfe-commits mailing list