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

Zhongxing Xu xuzhongxing at gmail.com
Fri Nov 7 05:34:56 PST 2008

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>

More information about the cfe-commits mailing list