[PATCH] [Review request][analyzer]Information about special handling for a particular region/symbol.

[Антон Ярцев]

Hi jordan_rose,

The patch allows to associate a processing behavior with a particular region or symbol.
With this things like preserving contents of regions (either hi- or low-level ones) or processing of the only top-level region can be implemented easily without passing extra parameters around. The patch also reduces the number of existing parameters and uniforms the processing.
The CausesPointerEscape could also be implemented in this way, need exploration.

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

Files:
  lib/StaticAnalyzer/Core/ProgramState.cpp
  lib/StaticAnalyzer/Core/CallEvent.cpp
  lib/StaticAnalyzer/Core/CheckerManager.cpp
  lib/StaticAnalyzer/Core/ExprEngine.cpp
  lib/StaticAnalyzer/Core/RegionStore.cpp
  include/clang/StaticAnalyzer/Core/CheckerManager.h
  include/clang/StaticAnalyzer/Core/PathSensitive/Store.h
  include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h
  include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h
  include/clang/StaticAnalyzer/Core/PathSensitive/SubEngine.h
  include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h
  include/clang/StaticAnalyzer/Core/Checker.h
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D1486.1.patch
Type: text/x-patch
Size: 34199 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20130823/c093c05d/attachment.bin>