[PATCH] Enhance CFG to model C++ new more precisely
Karthik Bhat
kv.bhat at samsung.com
Mon Jan 6 06:02:17 PST 2014
Hi Jordan,
Thanks for the review comments. Implemented review comments and added a test case for placement new[].
Currently just modelled Allocator in CFG added a TODO to handle the same in ExprEngine.
Please let me know if this looks good.
Thanks
Karthik
Hi jordan_rose,
http://llvm-reviews.chandlerc.com/D2423
CHANGE SINCE LAST DIFF
http://llvm-reviews.chandlerc.com/D2423?vs=6312&id=6368#toc
Files:
lib/Analysis/CFG.cpp
lib/StaticAnalyzer/Core/ExprEngineCXX.cpp
lib/StaticAnalyzer/Core/PathDiagnostic.cpp
lib/StaticAnalyzer/Core/ExprEngine.cpp
test/Analysis/cfg.cpp
include/clang/Analysis/CFG.h
include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D2423.3.patch
Type: text/x-patch
Size: 13350 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20140106/d7bf6e92/attachment.bin>
More information about the cfe-commits
mailing list