Daniel Berlin wrote on 09/22/06 08:44: > Sure. If you want to make the verifier trigger less on undefined code > because you are optimizing it better, feel free! > OK, thanks. I don't know 'optimizing better', for now it's just 'different'.
> Just be careful you don't get tricked by the pointer version of the above.
>
> struct foo {
> int a[1];
> };
>
> struct foo *b = malloc(sizeof(foo) + 30 ints)
> b->a[24] = 9;
>
Well, sure. We don't create subvariables here.
