g++ and aliasing bools

[Robert Dewar]

<<Which, if i wasn't busy with law school and the bugzilla stuff, is likely
what i'd do instead of writing up proofs, since these algorithms have
already been proven, and I think most of them can handle structure field
aliasing as a basic case anway, without any regards as to the actual type
of the structure field. Though obviously not as well as you can do once
you've got type based disambiguation to tell you for certain either way.
>>

Sounds like a perfectly reasonable approach to me!