> I'm not sure we want to create a the replacement decl with DECL_SIZE zero > though, so I suppose instead of making sure align is BITS_PER_UNIT > shouldn't we make sure that size is at least 1? I fear we might run into > other odd problems with zero-size autos.
The cfgexpand.c code already does so, see the top of the hunk. > Thus, a variant of the patch that re-enables handling of size zero allocas > but adjusts the size to be at least 1 is ok. I think that the zero size is fine, we very likely generate this kind of things directly in Ada. -- Eric Botcazou