On Thu, 2005-06-30 at 20:47 +0200, Giovanni Bajo wrote:
> Daniel Berlin <[EMAIL PROTECTED]> wrote:
> 
> > So we've got a parm decl that if you ask it for the DECL_SIZE, says 0,
> > but has a TYPE_SIZE of 12 bytes, and we access fields in it, etc.
> 
> 
> I am not sure of what the exact relations between DECL_SIZE and TYPE_SIZE
> are, but probably some verification could be done, eg, at gimplification
> time, rather than waiting for latent bugs in optimizers to produce wrong
> code?

I'll add a verify pass, but i'm sure it's going to be painful :).

--Dan

Reply via email to