From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 1786 invoked by alias); 26 Mar 2003 22:26:00 -0000 Mailing-List: contact gcc-prs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-prs-owner@gcc.gnu.org Received: (qmail 1771 invoked by uid 71); 26 Mar 2003 22:26:00 -0000 Date: Wed, 26 Mar 2003 22:26:00 -0000 Message-ID: <20030326222600.1770.qmail@sources.redhat.com> To: nobody@gcc.gnu.org Cc: gcc-prs@gcc.gnu.org, From: Falk Hueffner Subject: Re: c/10226: unsigned short promotion with bitwise inversion Reply-To: Falk Hueffner X-SW-Source: 2003-03/txt/msg01849.txt.bz2 List-Id: The following reply was made to PR c/10226; it has been noted by GNATS. From: Falk Hueffner To: Glen Nakamura Cc: Michael Marks , gcc-gnats@gcc.gnu.org Subject: Re: c/10226: unsigned short promotion with bitwise inversion Date: 26 Mar 2003 23:19:58 +0100 Glen Nakamura writes: > On Wed, Mar 26, 2003 at 10:39:43PM +0100, Falk Hueffner wrote: > > Indeed. Currently, it says: > > warning: comparison of promoted ~unsigned with unsigned > > Suggestion: > > warning: comparison of ~(promoted unsigned) with unsigned > > How about one of these: > warning: comparison of promoted ~unsigned with unsigned is always false > warning: comparison of ~(promoted unsigned) with unsigned is always false Yes, that makes it even clearer. I'd prefer the second variant. (BTW, funny, the optimizer doesn't seem to realize it's always false...) -- Falk