Re: [PATCH] Repair TYPE_REF_CAN_ALIAS_ALL machinery

[Andrew Pinski <pinskia at physics dot uc dot edu>]

On May 22, 2006, at 6:06 AM, Eric Botcazou wrote:

> > As a general statement, we shouldn't need TYPE_REF_CAN_ALIAS_ALL, we
> > handle the same thing in other languages without it.
>
> No, I don't think we do, see the C testcase I posted.

The C testcase is undefined.

  pf = malloc (sizeof(float));
  pi = (int *)pf;

  *pf = 1.0;
  *pi = 0;

The reason is that once accessed as one type the object becomes that  
type
or at least that is what I thought.

-- Pinski