[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
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>
More information about the cfe-commits
mailing list