Re: compiler bugs

"Christopher Glaeser" <cdg@nullstone.com>
Mon, 4 May 2009 10:40:28 -0700

          From comp.compilers
Related articles
[14 earlier articles]
Re: compiler bugs gah@ugcs.caltech.edu (glen herrmannsfeldt) (2009-04-29)
Re: compiler bugs r3jjs@yahoo.com (Jeremy J Starcher) (2009-04-29)
Re: compiler bugs walter@bytecraft.com (Walter Banks) (2009-04-30)
Re: compiler bugs cfc@shell01.TheWorld.com (Chris F Clark) (2009-04-30)
Re: compiler bugs anton@mips.complang.tuwien.ac.at (2009-05-01)
Re: compiler bugs gene.ressler@gmail.com (Gene) (2009-05-01)
Re: compiler bugs cdg@nullstone.com (Christopher Glaeser) (2009-05-04)
Re: compiler bugs anton@mips.complang.tuwien.ac.at (2009-05-05)
Re: compiler bugs gah@ugcs.caltech.edu (glen herrmannsfeldt) (2009-05-05)
Re: compiler bugs gah@ugcs.caltech.edu (glen herrmannsfeldt) (2009-05-05)
Re: compiler bugs cdg@nullstone.com (Christopher Glaeser) (2009-05-06)
Re: compiler bugs anton@mips.complang.tuwien.ac.at (2009-05-06)
Re: compiler bugs cfc@shell01.TheWorld.com (Chris F Clark) (2009-05-07)
[27 later articles]
| List of all articles for this month |
From: "Christopher Glaeser" <cdg@nullstone.com>
Newsgroups: comp.compilers
Date: Mon, 4 May 2009 10:40:28 -0700
Organization: Compilers Central
References: 09-04-072 09-04-086 09-05-010
Keywords: errors
Posted-Date: 05 May 2009 10:48:57 EDT

> An optimizer that breaks a program is a bad idea. There are
> apologists (of program-breaking optimizers) that claim that the
> program was already broken without the optimizer, because it does not
> conform to some language standard. But actually the program does
> conform with the language as it is implemented by the compiler without
> optimization and it behaves as intended by the programmer, so it is
> correct.


Can you please provide us with the list of optimizations that will not
affect the behavior of any program that uses language features that are
defined by the language standard to have undefined behavior?


Best,
Christopher
[I read an interesting article about the IBM Fortran X compiler, an improved
version of the classic Fortran H compiler. The guy who did it made sure that
the new optimized results were always bit identical to what the old compiler
produced. But I don't know whether he extended that to programs that weren't
valid Fortran, e.g., with aliased arrays. -John]


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.