From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 1093 invoked by alias); 20 Jun 2005 12:59:18 -0000 Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-owner@gcc.gnu.org Received: (qmail 742 invoked by uid 22791); 20 Jun 2005 12:58:14 -0000 Received: from morbo.e-centre.net (HELO cubert.e-centre.net) (66.154.82.3) by sourceware.org (qpsmtpd/0.30-dev) with ESMTP; Mon, 20 Jun 2005 12:58:14 +0000 Received: from [10.3.1.19] (helo=guestrelay.stayonline.net) by cubert.e-centre.net with esmtp (Exim 4.50) id 1DkLqs-0005fu-Eg; Mon, 20 Jun 2005 08:58:10 -0400 Received: from [127.0.0.1] (unknown [12.43.112.130]) by guestrelay.stayonline.net (Spam Firewall) with ESMTP id 94ABD2003873; Mon, 20 Jun 2005 08:58:08 -0400 (EDT) Message-ID: <42B6BD54.7090001@adacore.com> Date: Mon, 20 Jun 2005 12:59:00 -0000 From: Robert Dewar User-Agent: Mozilla Thunderbird 0.8 (Windows/20040913) MIME-Version: 1.0 To: Michael Veksler CC: Paul Schlie , Dale Johannesen , GCC Development , "Joseph S. Myers" , Mike Stump , Andrew Pinski Subject: Re: basic VRP min/max range overflow question References: In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-SW-Source: 2005-06/txt/msg00890.txt.bz2 Michael Veksler wrote: > As for overflow, you can say that you want instead of "undefined" > to treat is "unspecified". In Ada 95 we introduced a new category of behavior, called a bounded error. We tried to recategorize as many erroneous (= C undefined) cases as possible to bounded error. A bounded error is still considered incorrect programming, but the standard specifies the range of possible results allowed.