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: [PATCH][4.3] Deprecate -ftrapv

From: kenner at vlsi1 dot ultra dot nyu dot edu (Richard Kenner)
To: rguenther at suse dot de
Cc: dewar at adacore dot com, gcc-patches at gcc dot gnu dot org, gcc at gcc dot gnu dot org, joseph at codesourcery dot com, mark at codesourcery dot com
Date: Sat, 01 Mar 2008 09:15:18 EST
Subject: Re: [PATCH][4.3] Deprecate -ftrapv
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>

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

References:
- Re: [PATCH][4.3] Deprecate -ftrapv
  - From: Mark Mitchell
- Re: [PATCH][4.3] Deprecate -ftrapv
  - From: Richard Guenther
- Re: [PATCH][4.3] Deprecate -ftrapv
  - From: Mark Mitchell
- Re: [PATCH][4.3] Deprecate -ftrapv
  - From: Joseph S. Myers
- Re: [PATCH][4.3] Deprecate -ftrapv
  - From: Richard Guenther
- Re: [PATCH][4.3] Deprecate -ftrapv
  - From: Joseph S. Myers
- Re: [PATCH][4.3] Deprecate -ftrapv
  - From: Robert Dewar
- Re: [PATCH][4.3] Deprecate -ftrapv
  - From: Richard Guenther

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