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: Robert Dewar <dewar at adacore dot com>
To: FX Coudert <fxcoudert at gmail dot com>
Cc: gcc patches <gcc-patches at gcc dot gnu dot org>, GCC Development <gcc at gcc dot gnu dot org>, ddaney at avtrex dot com, Richard Guenther <richard dot guenther at gmail dot com>, mark at codesourcery dot com
Date: Sat, 01 Mar 2008 17:30:57 -0500
Subject: Re: [PATCH][4.3] Deprecate -ftrapv
References: <4B9FFA6D-CAA5-4A3C-A36A-CA462DE8AB42@gmail.com>

FX Coudert wrote:

C: integer overflow undefined, checking desirable at least for
debugging purposes.
I think latest Fortran is same as C, can someone confirm?
Yes, it is. Overflow undefined and no checking required; I think very few Fortran users actually use (or would use) checking on signed overflow.


But assuming the gcc is playing C-style games, it is probably a useful
thing to be able to verify that your code is free of such possibilities.

FX

References:
- Re: [PATCH][4.3] Deprecate -ftrapv
  - From: FX Coudert

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