This is the mail archive of the gcc-patches@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] Prepare for more efficient signed integer overflow checking

From: Paolo Bonzini <bonzini at gnu dot org>
To: Arnaud Charlet <charlet at adacore dot com>
Cc: gcc-patches at gcc dot gnu dot org, Geert Bosch <bosch at adacore dot com>
Date: Thu, 31 Jul 2008 14:50:05 +0200
Subject: Re: [Ada] Prepare for more efficient signed integer overflow checking
References: <20080731103014.GA6049@adacore.com>

Expansions for addition, subtraction and negation will no longer be
widened, but instead operands are checked before performing the
operation. Multiplication will still be widened if neither operand
is constant and if the type is not a 64-bit type.

This is 90% of the work needed to reenable -ftrapv. Great.

Paolo

References:
- [Ada] Prepare for more efficient signed integer overflow checking
  - From: Arnaud Charlet

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