On Dec 11, 2009, at 5:27 PM, Mike Stump wrote:

> Author: mrs
> Date: Fri Dec 11 19:27:46 2009
> New Revision: 91198
> 
> URL: http://llvm.org/viewvc/llvm-project?rev=91198&view=rev
> Log:
> Implement runtime checks for undefined behavior.  WIP.
> 
> This implements a new flag -fcatch-undefined-behavior.  The flag turns
> on additional runtime checks for:
> 
>  T a[I];
> 
>  a[i]    abort when i < 0 or i >= I.
> 
> Future stuff includes shifts by >= bitwidth amounts.

Very cool.

        - Doug
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits

Reply via email to