[cfe-commits] [PATCH] Set region size in GRRegionVals transfer function

[Zhongxing Xu]

Attached is a scratch implementation of array bound checking. It seems that
implementing array bound checking is pretty straightforward. No need to make
big change to the framework.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20081107/d718356a/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: oob.patch
Type: application/octet-stream
Size: 2950 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20081107/d718356a/attachment.obj>