"Experimental" features in releases

[Mike Stump]

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.  :-)