From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 23505 invoked by alias); 30 Dec 2014 12:31:59 -0000 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org Received: (qmail 23486 invoked by uid 48); 30 Dec 2014 12:31:54 -0000 From: "manu at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: [Bug c/64440] -Wdiv-by-zero false negative on const variables Date: Tue, 30 Dec 2014 12:31:00 -0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: c X-Bugzilla-Version: 5.0 X-Bugzilla-Keywords: X-Bugzilla-Severity: normal X-Bugzilla-Who: manu at gcc dot gnu.org X-Bugzilla-Status: UNCONFIRMED X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: --- X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: cc Message-ID: In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-SW-Source: 2014-12/txt/msg02929.txt.bz2 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D64440 Manuel L=C3=B3pez-Ib=C3=A1=C3=B1ez changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |manu at gcc dot gnu.org --- Comment #3 from Manuel L=C3=B3pez-Ib=C3=A1=C3=B1ez --- (In reply to Chengnian Sun from comment #2) > Thanks for your reply. It seems GCC sometimes does consider "const int" f= or > other types of warnings (but not for -Wdiv-by-zero). See the following, w= ith > -O3, GCC warns that the left shift count is negative.=20=20 >=20 I wonder how this happens? The warning is still given by the FE! Nonetheless, clang is able to warn without optimization because it has some constant propagation pass in the FE. GCC does not have such a thing and cur= rent developers are not convinced that it is worth it. I think there are several PRs open about this, and it doesn't seem useful to have one PR for each possible warning that could be improved by this. >>From gcc-bugs-return-471924-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Tue Dec 30 12:37:52 2014 Return-Path: Delivered-To: listarch-gcc-bugs@gcc.gnu.org Received: (qmail 26939 invoked by alias); 30 Dec 2014 12:37:52 -0000 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org Delivered-To: mailing list gcc-bugs@gcc.gnu.org Received: (qmail 26867 invoked by uid 48); 30 Dec 2014 12:37:48 -0000 From: "manu at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: [Bug bootstrap/50139] in-tree GMP/PPL/CLooG is misconfigured Date: Tue, 30 Dec 2014 12:37:00 -0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: bootstrap X-Bugzilla-Version: 4.7.0 X-Bugzilla-Keywords: X-Bugzilla-Severity: major X-Bugzilla-Who: manu at gcc dot gnu.org X-Bugzilla-Status: RESOLVED X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: --- X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: bug_status cc resolution Message-ID: In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-SW-Source: 2014-12/txt/msg02931.txt.bz2 Content-length: 781 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D50139 Manuel L=C3=B3pez-Ib=C3=A1=C3=B1ez changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |RESOLVED CC| |manu at gcc dot gnu.org Resolution|--- |WONTFIX --- Comment #4 from Manuel L=C3=B3pez-Ib=C3=A1=C3=B1ez --- (In reply to nightstrike from comment #3) > There's other relevant posts, but you get the idea. Anyway, this should > eventually be closed. So be it. Thanks for noticing.=20 (You can probably get a gcc.gnu.org bugzilla account, if you wish so). >>From gcc-bugs-return-471923-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Tue Dec 30 12:37:23 2014 Return-Path: Delivered-To: listarch-gcc-bugs@gcc.gnu.org Received: (qmail 26177 invoked by alias); 30 Dec 2014 12:37:23 -0000 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org Delivered-To: mailing list gcc-bugs@gcc.gnu.org Received: (qmail 26146 invoked by uid 48); 30 Dec 2014 12:37:19 -0000 From: "mikpelinux at gmail dot com" To: gcc-bugs@gcc.gnu.org Subject: [Bug c/64442] -O1 modify output of a simple computation with rounding Date: Tue, 30 Dec 2014 12:37:00 -0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: c X-Bugzilla-Version: 4.9.2 X-Bugzilla-Keywords: X-Bugzilla-Severity: normal X-Bugzilla-Who: mikpelinux at gmail dot com X-Bugzilla-Status: UNCONFIRMED X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: --- X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: Message-ID: In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: 7bit X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-SW-Source: 2014-12/txt/msg02930.txt.bz2 Content-length: 330 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64442 --- Comment #1 from Mikael Pettersson --- Are you compiling on 32-bit x86? I can reproduce on m68k, but not on x86_64 (even with -m32) or on ARMv5. I suspect you're seeing the effects of excess precision of the x87 FPU (much like the m68k FPU).