[cfe-dev] [Patch] add KillStruct() to RegionStore

[Zhongxing Xu]

This patch adds KillStruct() to region store. When we assign UnknownVal to a
struct, we set the region's default value to Unknown, and remove bindings
for all subregions of the struct region.

-Zhongxing Xu
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20090108/ed223a8d/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: killstruct.patch
Type: application/octet-stream
Size: 2148 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20090108/ed223a8d/attachment.obj>