DR#236 analysis

[Geoffrey Keating]

Ian Lance Taylor <ian@wasabisystems.com> writes:

> Geoffrey Keating <geoffk@geoffk.org> writes:
> 
> > For malloc-ed memory, I strongly support the
> > idea that the first store should determine its type and the type can't
> > change after that.
> 
> If I understand that correctly, that would break many existing
> programs, including BFD.

Could you give an example?  I'm having trouble of thinking of any
portable code for which this would be useful and not easily avoided.