This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: [std-discussion] Is this union aliasing code well-defined?
- From: Hyman Rosen <hyman dot rosen at gmail dot com>
- To: std-discussion at isocpp dot org
- Cc: Yubin Ruan <ablacktshirt at gmail dot com>, gcc-list <gcc at gcc dot gnu dot org>
- Date: Sun, 29 Oct 2017 21:03:21 -0400
- Subject: Re: [std-discussion] Is this union aliasing code well-defined?
- Authentication-results: sourceware.org; auth=none
- References: <128124e9-3df8-41bf-99da-3675429fcb42@isocpp.org> <20171027130038.GB11592@HP> <CAH8yC8miho0qnkny-w-Tnv1MoS7c=DEZSDwfcTkPtXiqWCSf=w@mail.gmail.com>
In math, once you reach a contradiction, you realize that one of your
premises was false. In religion, once you reach a contradiction, you
write books of theology to paper over the mess. I guess we know
what category type-based alias analysis falls under.