From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 7684 invoked by alias); 13 Dec 2013 09:53:53 -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 7651 invoked by uid 48); 13 Dec 2013 09:53:49 -0000 From: "ubizjak at gmail dot com" To: gcc-bugs@gcc.gnu.org Subject: [Bug libstdc++/59436] FAIL: 17_intro/headers/c++200x/stdc++.cc (test for excess errors) Date: Fri, 13 Dec 2013 09:53:00 -0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: libstdc++ X-Bugzilla-Version: 4.9.0 X-Bugzilla-Keywords: X-Bugzilla-Severity: normal X-Bugzilla-Who: ubizjak at gmail dot com X-Bugzilla-Status: REOPENED 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 cf_reconfirmed_on resolution everconfirmed 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: 2013-12/txt/msg01132.txt.bz2 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D59436 Uro=C5=A1 Bizjak changed: What |Removed |Added ---------------------------------------------------------------------------- Status|RESOLVED |REOPENED Last reconfirmed| |2013-12-13 Resolution|DUPLICATE |--- Ever confirmed|0 |1 --- Comment #7 from Uro=C5=A1 Bizjak --- These failures are still present on i686-pc-linux-gnu [1], rev 205955: Running target unix FAIL: 17_intro/headers/c++200x/stdc++.cc (test for excess errors) FAIL: 17_intro/headers/c++200x/stdc++_multiple_inclusion.cc (test for excess errors) [1] http://gcc.gnu.org/ml/gcc-testresults/2013-12/msg01213.html >>From gcc-bugs-return-437478-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Fri Dec 13 10:11:05 2013 Return-Path: Delivered-To: listarch-gcc-bugs@gcc.gnu.org Received: (qmail 16646 invoked by alias); 13 Dec 2013 10:11:04 -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 16618 invoked by uid 48); 13 Dec 2013 10:11:00 -0000 From: "dcb314 at hotmail dot com" To: gcc-bugs@gcc.gnu.org Subject: [Bug c/59491] New: compiler can't detect if xpression is always fixed value Date: Fri, 13 Dec 2013 10:11:00 -0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: new X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: c X-Bugzilla-Version: 4.9.0 X-Bugzilla-Keywords: X-Bugzilla-Severity: normal X-Bugzilla-Who: dcb314 at hotmail 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: bug_id short_desc product version bug_status bug_severity priority component assigned_to reporter Message-ID: 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: 2013-12/txt/msg01133.txt.bz2 Content-length: 915 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59491 Bug ID: 59491 Summary: compiler can't detect if xpression is always fixed value Product: gcc Version: 4.9.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: c Assignee: unassigned at gcc dot gnu.org Reporter: dcb314 at hotmail dot com Given the following code void g( int n); void f( int n) { if ((n & 0x08) == 1) g( n); } trunk gcc says not a lot [dcb@zippy4 Alphasrc]$ ~/gcc/results/bin/gcc -g -O2 -Wall -c dec12b.cc [dcb@zippy4 Alphasrc]$ ~/gcc/results/bin/gcc -g -O2 -Wall -Wextra -pedantic -c dec12b.cc Here is cppcheck being a bit more vocal about it [dcb@zippy4 Alphasrc]$ cppcheck --enable=all dec12b.cc Checking dec12b.cc... [dec12b.cc:6]: (style) Expression '(X & 0x8) == 0x1' is always false.