Undefined behavior in genautomata.c?

[Florian Weimer]

* Sebastian Pop:

> By the way, how is this different than detecting a bound on:
>
> {
>   int foo[1335];
>
>   for (i = 0; i < some_param; i++)
>     foo[i];
> }
>
> vs.
>
> {
>   some_struct{ int foo[1335];} s;
>
>   for (i = 0; i < some_param; i++)
>     s.foo[i];
> }

Nothing.  But in the genautomata case, struct description is allocated
on the heap, with appropriate room for storing more elements.