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

[Jordan Rose]

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>