[cxx-abi-dev] N3639 (arrays of runtime bound): __cxa_bad_array_length

[Florian Weimer]

On 05/10/2013 09:47 PM, Richard Smith wrote:
>      >From: Florian Weimer <fweimer at redhat.com <mailto:fweimer at redhat.com>>
>      >Do we want to throw an exception if the stack hasn't got sufficient
>      >space for the array?
>
>     Or is this just some "small" implementation-defined limit that is
>     mentioned
>     in N3639?
>
>     I assume this limit is really based on total size and not on a bound?
>
>
> The limit is implementation-defined, which I interpret to mean that we
> can do whatever we like, so long as we document what we do.

After asking on the std-proposals list, the consensus seems to be that 
there's no requirement to actually implement the check because you can 
just decide that undefined behavior due to stack overflow kicks in 
before the check has a chance to fire.

-- 
Florian Weimer / Red Hat Product Security Team