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: Ada front-end depends on signed overflow

From: Robert Dewar <dewar at adacore dot com>
To: Eric Botcazou <ebotcazou at adacore dot com>
Cc: Geert Bosch <bosch at gnat dot com>, gcc at gcc dot gnu dot org, Florian Weimer <fw at deneb dot enyo dot de>,Andrew Pinski <pinskia at physics dot uc dot edu>
Date: Sat, 04 Jun 2005 00:21:36 -0400
Subject: Re: Ada front-end depends on signed overflow
References: <f75a567a7675c4bf7a504893c032af98@physics.uc.edu> <87oean61al.fsf@deneb.enyo.de> <16D5D549-915A-49E2-8680-5B07D706FA01@gnat.com> <200506040013.53872.ebotcazou@adacore.com>

Eric Botcazou wrote:

For Ada, I propose we make the following changes:
  - by default, enable overflow checks using -ftrapv
-ftrapv is not practically usable because (1) it generates awful code and (2) it badly interacts with the RTL optimizers.


please before you say this compare it with the truly awful front end
code we generate, which for sure inteferes badly with the optimizers.

Follow-Ups:
- Re: Ada front-end depends on signed overflow
  - From: Eric Botcazou

References:
- Ada front-end depends on signed overflow
  - From: Andrew Pinski
- Re: Ada front-end depends on signed overflow
  - From: Florian Weimer
- Re: Ada front-end depends on signed overflow
  - From: Geert Bosch
- Re: Ada front-end depends on signed overflow
  - From: Eric Botcazou

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