 |
 |
----- Original Message ----- From: "Popa, Frank D." <[log in to unmask]> To: <[log in to unmask]> Sent: Friday, December 01, 2000 5:10 AM Subject: Re: Suspected bugs... (fwd) > 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) > > >