From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-return-116217-listarch-gcc=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 22567 invoked by alias); 20 Jun 2005 22:20:16 -0000
Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Archive: <http://gcc.gnu.org/ml/gcc/>
List-Post: <mailto:gcc@gcc.gnu.org>
List-Help: <http://gcc.gnu.org/ml/>
Sender: gcc-owner@gcc.gnu.org
Received: (qmail 22442 invoked by uid 22791); 20 Jun 2005 22:19:53 -0000
Received: from mail-out4.apple.com (HELO mail-out4.apple.com) (17.254.13.23)
    by sourceware.org (qpsmtpd/0.30-dev) with ESMTP; Mon, 20 Jun 2005 22:19:53 +0000
Received: from mailgate1.apple.com (a17-128-100-225.apple.com [17.128.100.225])
	by mail-out4.apple.com (8.12.11/8.12.11) with ESMTP id j5KMJpWD008090
	for <gcc@gcc.gnu.org>; Mon, 20 Jun 2005 15:19:51 -0700 (PDT)
Received: from relay4.apple.com (relay4.apple.com) by mailgate1.apple.com
 (Content Technologies SMTPRS 4.3.17) with ESMTP id <T71a6be43b8118064e143c@mailgate1.apple.com>;
 Mon, 20 Jun 2005 15:19:51 -0700
Received: from [17.201.24.155] (mrs.apple.com [17.201.24.155])
	by relay4.apple.com (8.12.11/8.12.11) with ESMTP id j5KMJmTj017529;
	Mon, 20 Jun 2005 15:19:49 -0700 (PDT)
In-Reply-To: <BED9E540.A897%schlie@comcast.net>
References: <BED9E540.A897%schlie@comcast.net>
Mime-Version: 1.0 (Apple Message framework v730)
Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed
Message-Id: <66999F79-412F-4137-90A5-4360660D8665@apple.com>
Cc: "Joseph S. Myers" <joseph@codesourcery.com>,
        Dale Johannesen <dalej@apple.com>, Robert Dewar <dewar@adacore.com>,
        Andrew Pinski <pinskia@physics.uc.edu>,
        GCC Development <gcc@gcc.gnu.org>
Content-Transfer-Encoding: 7bit
From: Mike Stump <mrs@apple.com>
Subject: Re: basic VRP min/max range overflow question
Date: Mon, 20 Jun 2005 22:20:00 -0000
To: Paul Schlie <schlie@comcast.net>
X-SW-Source: 2005-06/txt/msg00928.txt.bz2

On Jun 18, 2005, at 11:50 AM, Paul Schlie wrote:
> [ curiously can't find any actual reference stating that integer  
> overflow
>   is specifically results in undefined behavior, although it's  
> obviously ill defined?

Every operation that isn't defined is undefined.  Only the operations  
that are defined, are defined.  Think about the implications of this.