Verifier for sub-variables vs mem-ssa

[Diego Novillo]

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.