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: Florian Weimer <fw at deneb dot enyo dot de>
To: Robert Dewar <dewar at adacore dot com>
Cc: Eric Botcazou <ebotcazou at adacore dot com>, gcc at gcc dot gnu dot org, Geert Bosch <bosch at gnat dot com>, Andrew Pinski <pinskia at physics dot uc dot edu>
Date: Tue, 07 Jun 2005 09:56:11 +0200
Subject: Re: Ada front-end depends on signed overflow
References: <f75a567a7675c4bf7a504893c032af98@physics.uc.edu><200506051538.19773.ebotcazou@adacore.com><42A3086A.4040705@adacore.com><200506061158.18197.ebotcazou@adacore.com><42A4DCD2.6020702@adacore.com>

* Robert Dewar:

> Defintiely not, integer overflow generates async traps on very few
> architectures. Certainly synchronous traps can be generated (e.g.
> with into on the x86).

Or the JO jump instruction.  Modern CPUs choke on the INTO
instruction.

Follow-Ups:
- Re: Ada front-end depends on signed overflow
  - From: Robert Dewar

References:
- Ada front-end depends on signed overflow
  - From: Andrew Pinski
- Re: Ada front-end depends on signed overflow
  - From: Eric Botcazou
- Re: Ada front-end depends on signed overflow
  - From: Robert Dewar
- Re: Ada front-end depends on signed overflow
  - From: Eric Botcazou
- Re: Ada front-end depends on signed overflow
  - From: Robert Dewar

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