This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: g++ and aliasing bools
- From: dewar at gnat dot com (Robert Dewar)
- To: dan at dberlin dot org, dewar at gnat dot com
- Cc: gcc at gcc dot gnu dot org, kenner at vlsi1 dot ultra dot nyu dot edu
- Date: Fri, 25 Jan 2002 11:54:09 -0500 (EST)
- Subject: Re: g++ and aliasing bools
<<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!