[cfe-commits] -fbounds-checking

[Nuno Lopes]

Hi,

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).

This flag supports an additional integer parameter to control the  
amount of run-time performance penalty you're willing to afford. For  
example, -fbounds-checking=1 will only resolve stuff at compile-time,  
while at level 2 it can defer some stuff to run-time. This will come  
in a separate patch to LLVM.

Comments, ideas, etc?

Thanks,
Nuno