Robert Dewar <de...@adacore.com> writes: > Interestingly, my viewpoint on this from the compiler domain might > seem to be quite inconsistent. I think it is generally a bad idea > for compilers to aggressively optimize based on assumptions that > programs are free of these kinds of mistakes. I would only be in > favor of such an optimization if you can really show convincingly > that it really makes a difference to performance. In these days > when 10% performance gain corresponds to a month or two progress > in hardware, it is not so easy to make such convincing arguments.
But bleeding-edge hardware is not improving nearly that fast these days. Processors are going multi-core rather than speeding up single-threaded performance. Ian