[PATCH] Enhance CFG to model C++ new more precisely

[Karthik Bhat]

  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>