This is the mail archive of the
mailing list for the GCC project.
Re: g++ and aliasing bools
- From: Gabriel Dos Reis <gdr at codesourcery dot com>
- To: kenner at vlsi1 dot ultra dot nyu dot edu (Richard Kenner)
- Cc: pcarlini at unitus dot it, gcc at gcc dot gnu dot org
- Date: 25 Jan 2002 08:17:33 +0100
- Subject: Re: g++ and aliasing bools
- Organization: CodeSourcery, LLC
- References: <10201242230.AA08536@vlsi1.ultra.nyu.edu>
email@example.com (Richard Kenner) writes:
| I am very much against the idea of defining a change to be "correct" if
| it doesn't cause any regression test failures. You have to be able to make
| an argument that a change is correct independently and the regression tests
| serve as a debugger of (among other things) that proof.
I completely agree with Kenner and Mark. Given, current ABIs
supported by g++, aliasing detection is a very subtle issue and we
should resist from the temptation of not proving that our algorithms
are correct; simply because correctness should come first, speed later.
That doesn't mean I'm against any effort to improve alias analysis in
g++, I'm simply against a change which doesn't consider correctness as