From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 32527 invoked by alias); 1 Oct 2005 17:34:16 -0000 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org Received: (qmail 32490 invoked by uid 48); 1 Oct 2005 17:34:09 -0000 Date: Sat, 01 Oct 2005 17:34:00 -0000 Message-ID: <20051001173409.32489.qmail@sourceware.org> From: "pinskia at gcc dot gnu dot org" To: gcc-bugs@gcc.gnu.org In-Reply-To: <20050901020344.23669.pinskia@gcc.gnu.org> References: <20050901020344.23669.pinskia@gcc.gnu.org> Reply-To: gcc-bugzilla@gcc.gnu.org Subject: [Bug middle-end/23669] fold does convert (-a)/10 into a/-10 with -fno-wrapv X-Bugzilla-Reason: CC X-SW-Source: 2005-10/txt/msg00088.txt.bz2 List-Id: ------- Additional Comments From pinskia at gcc dot gnu dot org 2005-10-01 17:34 ------- (In reply to comment #2) > Those expressions are only the same for floating point types. But -a for INT_MIN is undefined for signed type since it is an overflow. So the conversion is only valid for -fno-wrapv which is default for C, C++, Ada, and fortran. -- What |Removed |Added ---------------------------------------------------------------------------- Summary|fold does convert (-a)/10 |fold does convert (-a)/10 |into a/-10. |into a/-10 with -fno-wrapv http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23669