[PATCH] Model Deallocator node in CFG

[Karthik Bhat]

Hi jordan_rose,

Hi Jordan,
Added a patch to emit Deallocator node in CFG. This would be required to model overloaded delete call.
Added patch is similar to Allocator call modelled into CFG.
Please let me know your inputs on this patch.
Thanks
Karthik Bhat

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

Files:
  test/Analysis/cfg.cpp
  lib/Analysis/CFG.cpp
  lib/Analysis/AnalysisDeclContext.cpp
  lib/Sema/AnalysisBasedWarnings.cpp
  lib/StaticAnalyzer/Core/PathDiagnostic.cpp
  lib/StaticAnalyzer/Core/ExprEngine.cpp
  include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h
  include/clang/Analysis/AnalysisContext.h
  include/clang/Analysis/CFG.h
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D2647.1.patch
Type: text/x-patch
Size: 9257 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20140129/a4d42200/attachment.bin>