This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Aliasing fun
- From: dewar at gnat dot com (Robert Dewar)
- To: dan at dberlin dot org, dewar at gnat dot com
- Cc: gcc at gcc dot gnu dot org
- Date: Fri, 25 Jan 2002 11:53:02 -0500 (EST)
- Subject: Re: Aliasing fun
<<But we are of course, not talking in a formal setting here, nor have i
applied a formal meaning of undecidability (except in a few cases when
referring to papers), though i am quite aware of
what it is.
>>
Undecidability IS a formal term, with a formal meaning, if you have been
using the term in any other sense, then no wonder no one has been able
to understand what you were saying.