[cfe-commits] r91198 - in /cfe/trunk: include/clang/Basic/LangOptions.h include/clang/Driver/CC1Options.td include/clang/Driver/Options.td lib/CodeGen/CGExpr.cpp lib/CodeGen/CodeGenFunction.cpp lib/CodeGen/CodeGenFunction.h lib/Driver/Tools.cpp lib/Frontend/CompilerInvocation.cpp lib/Frontend/PCHReader.cpp lib/Frontend/PCHWriter.cpp

[Douglas Gregor]

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