This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Aliasing fun
- From: Daniel Berlin <dan at dberlin dot org>
- To: Robert Dewar <dewar at gnat dot com>
- Cc: gcc at gcc dot gnu dot org
- Date: Fri, 25 Jan 2002 13:15:44 -0500 (EST)
- Subject: Re: Aliasing fun
On Fri, 25 Jan 2002, Robert Dewar wrote:
> <<Not quite, it's more like saying that it's hard to prove a set of
> programs with some set of properties halts, because in general the
> halting problem is undecidable.
> >>
>
> And this is false.
>
For the sake of seeing this thread die, as it has nothing to do with gcc,
i'll just grin and agree, rather than argue.
--Dan