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

[Anton Yartsev]

Hi Jordan, hi Anna, hi all

The patch is motivated by our discussions about CStringChecker and 
invalidation.

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.

The patch causes no regression.

Please review.

-- 
Anton

-------------- next part --------------
A non-text attachment was scrubbed...
Name: RegionAndSymHandlingTraits_v1.patch
Type: text/x-diff
Size: 33660 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20130425/033bc565/attachment.patch>