g++ and aliasing bools

[Gabriel Dos Reis]

kenner@vlsi1.ultra.nyu.edu (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
serious issue.

-- Gaby