[cfe-commits] -fbounds-checking

[Joerg Sonnenberger]

On Mon, May 07, 2012 at 07:54:37PM +0100, Nuno Lopes wrote:
> I would like to add a new option to clang: -fbounds-checking. It emits  
> run-time bounds checks for array/pointers dereferencing based on  
> LLVM's object size built-in. The code to emit the checks is already in  
> clang; it's just a matter of wiring the flag.
> The other change is to make -fcatch-undefined-behavior imply  
> -fbounds-checking (so that it keeps doing these kinds of checks).

Does this trigger for VLA-style constructs using [1] as element size?

Joerg