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 12:28:53 -0500 (EST)
- Subject: Re: Aliasing fun
<<No, I mean what I said. It's hard to reason about formally, because in
reasoning abuot it formally, undecidability is a significant issue.
>>
That's like saying it is hard to prove that a given program halts because
in general the halting problem is undecidable. Such a statement would, as
I hope you can understand, be utter nonsense.