Bug#341345: marked as done (gcc-4.0: Please warn on impossible && conditionals)
Your message dated Wed, 30 Nov 2005 08:17:25 -0500
with message-id <20051130131724.GA25550@andromeda>
and subject line Bug#341345: gcc-4.0: Please warn on impossible && conditionals
has caused the attached Bug report to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what I am
talking about this indicates a serious mail system misconfiguration
somewhere. Please contact me immediately.)
Debian bug tracking system administrator
(administrator, Debian Bugs database)
--------------------------------------
Received: (at submit) by bugs.debian.org; 30 Nov 2005 04:58:40 +0000
>From justinpryzby@users.sourceforge.net Tue Nov 29 20:58:39 2005
Return-path: <justinpryzby@users.sourceforge.net>
Received: from ms-smtp-01.nyroc.rr.com ([24.24.2.55])
by spohr.debian.org with esmtp (Exim 4.50)
id 1EhK3D-0003yt-PA
for submit@bugs.debian.org; Tue, 29 Nov 2005 20:58:39 -0800
Received: from andromeda (cpe-69-202-136-66.twcny.res.rr.com [69.202.136.66])
by ms-smtp-01.nyroc.rr.com (8.12.10/8.12.10) with ESMTP id jAU4waFe010373
for <submit@bugs.debian.org>; Tue, 29 Nov 2005 23:58:37 -0500 (EST)
Received: from pryzbyj by andromeda with local (Exim 4.54)
id 1EhK39-0001VJ-LC
for submit@bugs.debian.org; Tue, 29 Nov 2005 23:58:35 -0500
Date: Tue, 29 Nov 2005 23:58:35 -0500
To: Debian BTS Submission <submit@bugs.debian.org>
Subject: gcc-4.0: Please warn on impossible && conditionals
Message-ID: <[🔎] 20051130045834.GA5734@andromeda>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
User-Agent: Mutt/1.5.9i
From: Justin Pryzby <justinpryzby@users.sourceforge.net>
X-Virus-Scanned: Symantec AntiVirus Scan Engine
Delivered-To: submit@bugs.debian.org
X-Spam-Checker-Version: SpamAssassin 2.60-bugs.debian.org_2005_01_02
(1.212-2003-09-23-exp) on spohr.debian.org
X-Spam-Level:
X-Spam-Status: No, hits=-8.0 required=4.0 tests=BAYES_00,HAS_PACKAGE
autolearn=no version=2.60-bugs.debian.org_2005_01_02
Package: gcc-4.0
Version: 4.0.2-4
Severity: wishlist
Tags: upstream
gcc will warn on something like
char c;
// ...
if (c>256) {
// warning: comparison is always false due to limited range of data type
// ...
}
Please consider also warning on things like:
if (0==c && 1==c)
---------------------------------------
Received: (at 341345-done) by bugs.debian.org; 30 Nov 2005 13:17:29 +0000
>From justinpryzby@users.sourceforge.net Wed Nov 30 05:17:29 2005
Return-path: <justinpryzby@users.sourceforge.net>
Received: from ms-smtp-02.nyroc.rr.com ([24.24.2.56])
by spohr.debian.org with esmtp (Exim 4.50)
id 1EhRpx-0000Cq-AX
for 341345-done@bugs.debian.org; Wed, 30 Nov 2005 05:17:29 -0800
Received: from andromeda (cpe-69-202-136-66.twcny.res.rr.com [69.202.136.66])
by ms-smtp-02.nyroc.rr.com (8.12.10/8.12.10) with ESMTP id jAUDHPDK020581;
Wed, 30 Nov 2005 08:17:25 -0500 (EST)
Received: from pryzbyj by andromeda with local (Exim 4.54)
id 1EhRpt-0007IZ-80; Wed, 30 Nov 2005 08:17:25 -0500
Date: Wed, 30 Nov 2005 08:17:25 -0500
To: Falk Hueffner <falk@debian.org>, 341345-done@bugs.debian.org
Subject: Re: Bug#341345: gcc-4.0: Please warn on impossible && conditionals
Message-ID: <20051130131724.GA25550@andromeda>
References: <[🔎] 20051130045834.GA5734@andromeda> <[🔎] 871x0yechf.fsf@debian.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <[🔎] 871x0yechf.fsf@debian.org>
User-Agent: Mutt/1.5.9i
From: Justin Pryzby <justinpryzby@users.sourceforge.net>
X-Virus-Scanned: Symantec AntiVirus Scan Engine
X-Spam-Checker-Version: SpamAssassin 2.60-bugs.debian.org_2005_01_02
(1.212-2003-09-23-exp) on spohr.debian.org
X-Spam-Level:
X-Spam-Status: No, hits=-6.0 required=4.0 tests=BAYES_00,HAS_BUG_NUMBER
autolearn=no version=2.60-bugs.debian.org_2005_01_02
On Wed, Nov 30, 2005 at 10:01:00AM +0100, Falk Hueffner wrote:
> Justin Pryzby <justinpryzby@users.sourceforge.net> writes:
>
> > Please consider also warning on things like:
> >
> > if (0==c && 1==c)
>
> How would this be different from -Wunreachable-code?
It wouldn't; thanks.
--
Clear skies,
Justin
Reply to: