Yes, but one can tell that some programs will halt. And sometimes a bug
report will help.
> ----------
> From: Toon Moene[SMTP:[log in to unmask]]
> Reply To: This list covers all aspects of Fortran 90, 95,
> 2000 and various parallel Fortran
> Sent: Thursday, November 30, 2000 6:15 PM
> To: [log in to unmask]
> Subject: Re: Suspected bugs... (fwd)
>
>
> I'm sorry, but I'm convinced (beyond repair, probably) - based on
> categorizing, and fixing, bug reports for GNU Fortran - that this is
> *impossible*. Period. There's no way a compiler writer (vendor) can
> exhaustively list the source code for routines/programs that will fail
> because of "Compiler bug X [download a patch here]".
>
> I hope someone who's more into theoretical computer science can prove
> that this is equivalent to the halting problem. I'm just a lowly
> physicist.
>
> --
> Toon Moene - mailto:[log in to unmask] - phoneto: +31 346 214290
> Saturnushof 14, 3738 XG Maartensdijk, The Netherlands
> GNU Fortran 77: http://gcc.gnu.org/onlinedocs/g77_news.html
> GNU Fortran 95: http://g95.sourceforge.net/ (under construction)
>
|