[PATCH] D40560: [analyzer] Get construction into `operator new` running in simple cases.

Artem Dergachev via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Wed Jan 17 11:56:13 PST 2018

NoQ added inline comments.

Comment at: lib/StaticAnalyzer/Core/ExprEngine.cpp:487
+    if (const MemRegion *MR = I.second.getAsRegion())
+      SymReaper.markElementIndicesLive(MR);
+  }
dcoughlin wrote:
> Do we have a test for the MemRegion case? Commenting it out doesn't seem to affect the tests.
Right, added one (`new-ctor-symbolic.cpp`).


More information about the cfe-commits mailing list