This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug middle-end/54945] Too strong non-aliasing analysis?
- From: "matz at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Fri, 19 Oct 2012 13:12:35 +0000
- Subject: [Bug middle-end/54945] Too strong non-aliasing analysis?
- Auto-submitted: auto-generated
- References: <bug-54945-4@http.gcc.gnu.org/bugzilla/>
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54945
--- Comment #13 from Michael Matz <matz at gcc dot gnu.org> 2012-10-19 13:12:35 UTC ---
(In reply to comment #12)
> What do you mean by invalid? It is certainly not undefined behavior.
No, but the expectation implicitely coded into the return code is invalid.
Sorry for sloppy use of words. The outcome depends on GCC putting both
objects next to each other which noone guarantees. The testcase can yield 0
or 1 depending on the moon phase.