[cfe-dev] -fcatch-undefined-behavior testing

[Mike Stump]

On Dec 16, 2009, at 1:23 PM, Török Edwin wrote:
> 15. incorrect buffer limit checks:
>     if (tainted_signed_value <= (long) some_limit)
> a[tainted_signed_value]; //<--- code should check for negative values as
> well

Ah, this one we already have check for, in the case where the memory that backs a is known to the optimizer (after llvm implements more of the object_size builtin).