On Apr 17, 2006, at 2:53 PM, Dale Johannesen wrote:
I'd go further: you should not be trusting a compiler (gcc or any other) to be correct in "mission critical" situations.
Or, to use the option that spits out the proof that the transformation of the code that the compiler did was indeed valid and then to run that through the proof checker before trusting it. :-)
