[wahern]

It treats them as flexible arrays in the sense that it doesn't assume indexing beyond the declared size is undefined behavior, which would have implications for code elision and other optimizations.

[ntrz]

Thanks for the explanation! That makes sense.