[analyzer][PATCH][Review request] Information about special handling for a particular region/symbol.
Jordan Rose
jordan_rose at apple.com
Mon Apr 29 18:33:15 PDT 2013
Sorry for delaying on this one...Anna's away for the next week, and this is a pretty significant change, so I don't think we should move too quickly on it. I'll put together some comments later this week if I get the chance.
As usual, thanks for working on all this!
Jordan
On Apr 25, 2013, at 10:04 , Anton Yartsev <anton.yartsev at gmail.com> wrote:
> 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
>
> <RegionAndSymHandlingTraits_v1.patch>
More information about the cfe-commits
mailing list