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

[Anton Yartsev]

Ping.

Attached is an updated patch, please review if you have a chance.

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

-- 
Anton

-------------- next part --------------
A non-text attachment was scrubbed...
Name: RegionAndSymHandlingTraits_v1_updated.patch
Type: text/x-diff
Size: 33743 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20130524/70e3459d/attachment.patch>