From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 31550 invoked by alias); 28 Jun 2005 12:08:13 -0000 Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-owner@gcc.gnu.org Received: (qmail 30646 invoked by uid 22791); 28 Jun 2005 12:07:28 -0000 Received: from smtp-102-tuesday.noc.nerim.net (HELO mallaury.noc.nerim.net) (62.4.17.102) by sourceware.org (qpsmtpd/0.30-dev) with ESMTP; Tue, 28 Jun 2005 12:07:28 +0000 Received: from uniton.integrable-solutions.net (gdr.net1.nerim.net [62.212.99.186]) by mallaury.noc.nerim.net (Postfix) with ESMTP id 7C3F362D23; Tue, 28 Jun 2005 14:07:05 +0200 (CEST) Received: from uniton.integrable-solutions.net (localhost [127.0.0.1]) by uniton.integrable-solutions.net (8.12.10/8.12.10/SuSE Linux 0.7) with ESMTP id j5SC6RKY002986; Tue, 28 Jun 2005 14:06:27 +0200 Received: (from gdr@localhost) by uniton.integrable-solutions.net (8.12.10/8.12.10/Submit) id j5SC6RJ7002985; Tue, 28 Jun 2005 14:06:27 +0200 To: Falk Hueffner Cc: Michael Veksler , Steven Bosscher , gcc@gcc.gnu.org, Andrew Pinski Subject: Re: signed is undefined and has been since 1992 (in GCC) References: <87r7enq6b6.fsf@debian.org> From: Gabriel Dos Reis In-Reply-To: <87r7enq6b6.fsf@debian.org> Date: Tue, 28 Jun 2005 12:08:00 -0000 Message-ID: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-SW-Source: 2005-06/txt/msg01096.txt.bz2 Falk Hueffner writes: | Michael Veksler writes: | | > So maybe introduce a -fsigned-wraps flag, that the user can use | > to make 'int' wrap even in loops. | | We have that already, it's called "-fwrapv". In the case of C++, it leads to ODR violation because of the presence of numeric_limits::is_modulo -- assuming you make GCC's behaviour consistent. -- Gaby