From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-patches-return-212980-listarch-gcc-patches=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 31830 invoked by alias); 1 Mar 2008 14:14:06 -0000
Received: (qmail 31761 invoked by uid 22791); 1 Mar 2008 14:14:04 -0000
X-Spam-Check-By: sourceware.org
Received: from VLSI1.ULTRA.NYU.EDU (HELO vlsi1.ultra.nyu.edu) (128.122.140.213)     by sourceware.org (qpsmtpd/0.31) with SMTP; Sat, 01 Mar 2008 14:13:45 +0000
Received: by vlsi1.ultra.nyu.edu (4.1/1.34) 	id AA03118; Sat, 1 Mar 08 09:15:20 EST
From: kenner@vlsi1.ultra.nyu.edu (Richard Kenner)
Message-Id: <10803011415.AA03118@vlsi1.ultra.nyu.edu>
Date: Sat, 01 Mar 2008 14:14:00 -0000
To: rguenther@suse.de
Subject: Re: [PATCH][4.3] Deprecate -ftrapv
Cc: dewar@adacore.com, gcc-patches@gcc.gnu.org, gcc@gcc.gnu.org,         joseph@codesourcery.com, mark@codesourcery.com
In-Reply-To: <Pine.LNX.4.64.0803011454550.4133@zhemvz.fhfr.qr>
References: <Pine.LNX.4.64.0803010041110.4133@zhemvz.fhfr.qr>        <47C89DB1.6030200@codesourcery.com>     <Pine.LNX.4.64.0803010109540.4133@zhemvz.fhfr.qr>        <47C8AB88.10503@codesourcery.com>     <Pine.LNX.4.64.0803010144400.21300@digraph.polyomino.org.uk>       <Pine.LNX.4.64.0803011331150.4133@zhemvz.fhfr.qr>      <Pine.LNX.4.64.0803011304270.26609@digraph.polyomino.org.uk>      <47C95C35.2070908@adacore.com>     <Pine.LNX.4.64.0803011454550.4133@zhemvz.fhfr.qr>
Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-patches.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-patches/>
List-Post: <mailto:gcc-patches@gcc.gnu.org>
List-Help: <mailto:gcc-patches-help@gcc.gnu.org>
Sender: gcc-patches-owner@gcc.gnu.org
X-SW-Source: 2008-03/txt/msg00050.txt.bz2

> IMHO this semantics asks for the frontend to implement the overflow
> check.  Does the above mean that Ada does intermediate arithmetics
> in wider types? 

No, it means that it must *either* do the arithmetic in wider types *or*
use arithmetic in the narrower types that checks for overflow.