This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: module level flags
- From: dewar at gnat dot com (Robert Dewar)
- To: bkorb at pacbell dot net, zack at codesourcery dot com
- Cc: gcc at gcc dot gnu dot org
- Date: Sun, 29 Sep 2002 05:40:01 -0400 (EDT)
- Subject: Re: module level flags
<<In the original code, the type-based aliasing rules permit the
compiler to assume that assignment to ppT does not modify list
EVEN THOUGH IT IS OBVIOUS TO A HUMAN THAT IT DOES.
>>
Zack, as far as I can tell, the compiler was not only "working as designed",
but is in fact correctly implementing the language. A human may think
that this code should work, but that just comes from not knowing the language
properly. A lot of people have a low level semantic model that unfortunately
does not correspond to the actual semantics.
I know you know this, but the wording of your message could still leave
the impression that the compiler was somehow malfunctoining, which is
not the case.