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.
oob.patch
Description: Binary data
_______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
