[analyzer][PATCH][Review request] Information about special handling for a particular region/symbol.
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.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 33660 bytes
Desc: not available
More information about the cfe-commits