This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: "Experimental" features in releases

From: Mike Stump <mrs at apple dot com>
To: Dale Johannesen <dalej at apple dot com>
Cc: Richard Guenther <richard dot guenther at gmail dot com>, Ivan Novick <ivan at 0x4849 dot net>, Mark Mitchell <mark at codesourcery dot com>, gcc at gcc dot gnu dot org
Date: Mon, 17 Apr 2006 15:53:49 -0700
Subject: Re: "Experimental" features in releases
References: <4443E3EA.7000508@codesourcery.com> <44441463.8060107@0x4849.net> <84fc9c000604171431hed5f05dsc34adae16edf8002@mail.gmail.com> <4DC4DF6E-219B-44AC-B7E7-1A569708463F@apple.com>

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

References:
- "Experimental" features in releases
  - From: Mark Mitchell
- Re: "Experimental" features in releases
  - From: Ivan Novick
- Re: "Experimental" features in releases
  - From: Richard Guenther
- Re: "Experimental" features in releases
  - From: Dale Johannesen

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]