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: Eric Botcazou <ebotcazou at adacore dot com>
Cc: gcc at gcc dot gnu dot org, Paolo Bonzini <bonzini at gnu dot org>, gcc-patches at gcc dot gnu dot org
Date: Mon, 03 Mar 2008 21:38:59 -0500
Subject: Re: [PATCH][4.3] Deprecate -ftrapv
References: <Pine.LNX.4.64.0803010041110.4133@zhemvz.fhfr.qr> <fqbn6k$d5j$1@ger.gmane.org> <47C960D8.4080706@adacore.com> <200803032356.43803.ebotcazou@adacore.com>

Eric Botcazou wrote:

Perhaps if the current implementation is too broken, that might be
the most constructive approach ...
That's my opinion and the current state of affairs is a hindrance, so I think that -ftrapv should be reimplemented from scratch if GCC is to be serious about overflow checking. Of course we would be happy to lend a hand. :-)


Reimplementing from scratch certainly might make sense if it is a
better path. Presumably some of the library routines to be used when
there is no hardware assist could be rescued.

References:
- Re: [PATCH][4.3] Deprecate -ftrapv
  - From: Paolo Bonzini
- Re: [PATCH][4.3] Deprecate -ftrapv
  - From: Robert Dewar
- Re: [PATCH][4.3] Deprecate -ftrapv
  - From: Eric Botcazou

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