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

[Karthik Bhat]

  Hi Jordan,
  Modified CFG to handle placement new arguments properly in VisitCXXNewExpr.
  Since we have not handled this new CFGElement(CFGNewAllocator) completly in ExprEngine there are few failures as analysis stops after it encounters a CFGNewAllocator node.
  Is there a way so skip this node and continue analysis in ExprEngine so that there are no extra failures till we complete handling CFGNewAllocator in ExprEngine?
  I tried few things but it doesn't seem to work. It would be great if you could give some inputs here so that this checkin doesn't introduce regression.

  Thanks
  Karthik

Hi jordan_rose,

http://llvm-reviews.chandlerc.com/D2423

CHANGE SINCE LAST DIFF
  http://llvm-reviews.chandlerc.com/D2423?vs=6139&id=6312#toc

Files:
  include/clang/Analysis/CFG.h
  include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h
  test/Analysis/cfg.cpp
  lib/Analysis/CFG.cpp
  lib/StaticAnalyzer/Core/PathDiagnostic.cpp
  lib/StaticAnalyzer/Core/ExprEngine.cpp
  lib/StaticAnalyzer/Core/ExprEngineCXX.cpp
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D2423.2.patch
Type: text/x-patch
Size: 12042 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20131230/f1b5ed30/attachment.bin>