[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