From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 10817 invoked by alias); 26 Mar 2003 18:06:01 -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 10798 invoked by uid 71); 26 Mar 2003 18:06:01 -0000 Resent-Date: 26 Mar 2003 18:06:01 -0000 Resent-Message-ID: <20030326180601.10797.qmail@sources.redhat.com> Resent-From: gcc-gnats@gcc.gnu.org (GNATS Filer) Resent-Cc: gcc-prs@gcc.gnu.org, gcc-bugs@gcc.gnu.org Resent-Reply-To: gcc-gnats@gcc.gnu.org, mmarks@internetmachines.com Received: (qmail 3261 invoked by uid 48); 26 Mar 2003 17:56:02 -0000 Message-Id: <20030326175602.3260.qmail@sources.redhat.com> Date: Wed, 26 Mar 2003 18:16:00 -0000 From: mmarks@internetmachines.com Reply-To: mmarks@internetmachines.com To: gcc-gnats@gcc.gnu.org X-Send-Pr-Version: gnatsweb-2.9.3 (1.1.1.1.2.31) Subject: c/10226: unsigned short promotion with bitwise inversion X-SW-Source: 2003-03/txt/msg01818.txt.bz2 List-Id: >Number: 10226 >Category: c >Synopsis: unsigned short promotion with bitwise inversion >Confidential: no >Severity: serious >Priority: medium >Responsible: unassigned >State: open >Class: sw-bug >Submitter-Id: net >Arrival-Date: Wed Mar 26 18:06:00 UTC 2003 >Closed-Date: >Last-Modified: >Originator: mmarks@internetmachines.com >Release: unknown-1.0 >Organization: >Environment: gcc 3.2.1 and 3.2.2 >Description: When two unsigned shorts (16 bit) variables are compared with one being inverted the comparison will fail. The following code should pass, while it does generate a warning it should instead just work. unsigned short A = 0xDEAD; unsigned short B; B = ~A; if ( B == ~A) { printf("Pass\n"); } else { printf("Fail\n"); } It compares 0xFFFFDEAD == 0x0000DEAD which fails >How-To-Repeat: >Fix: >Release-Note: >Audit-Trail: >Unformatted: