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

Anton Yartsev anton.yartsev at gmail.com
Thu Apr 25 10:04:05 PDT 2013

Hi Jordan, hi Anna, hi all

The patch is motivated by our discussions about CStringChecker and 

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 

The patch causes no regression.

Please review.


-------------- 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>

More information about the cfe-commits mailing list