RTL alias analysis

[Ian Lance Taylor]

Richard Sandiford <richard@codesourcery.com> writes:

> I was just trying to point out that Ian's claim that the original code
> was valid doesn't reflect what GCC implements.

Yeah, I think I'm going to step back from trying to argue what is and
is not valid.  To cut to the chase, I think the best approach for this
particular problem is to wholly avoid having union types share the
same stack slot.

Ian