c++/10447: signed != unsigned when signedness is unimportand

c++/10447: signed != unsigned when signedness is unimportand

[aryeh]

>Number:         10447
>Category:       c++
>Synopsis:       signed != unsigned when signedness is unimportand
>Confidential:   no
>Severity:       critical
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Mon Apr 21 05:16:01 UTC 2003
>Closed-Date:
>Last-Modified:
>Originator:     aryeh@m-net.arbornet.org
>Release:        gcc version 2.95.3 20010315 (release) [FreeBSD]
>Organization:
>Environment:
FreeBSD 7of9 4.6-RELEASE FreeBSD 4.6-RELEASE #0: Tue Jun 11 06:14:12 GMT 2002   murray@builder.freebsdmall.com:/usr/src/sys/compile/GENERIC  i386
>Description:
the following code fails (i.e. prints "bad"):

if(0x80000000&((signed long) 0xff000000) == 
   0x80000000&((unsigned long) 0xff000000)
	cout<<"good"<<endl;
   else
	cout<<"bad"<<endl;

I have not tested this with straight C (only C++) but I suspect it
is a universal bug (even for non "C" languages)
>How-To-Repeat:
Run the above code
>Fix:
Make sure there are not two internal representations of signed vs. unisgned
>Release-Note:
>Audit-Trail:
>Unformatted:

Re: c++/10447: signed != unsigned when signedness is unimportand

[Aryeh M. Friedman]

The following reply was made to PR c++/10447; it has been noted by GNATS.

From: "Aryeh M. Friedman" <aryeh@m-net.arbornet.org>
To: aryeh@m-net.arbornet.org, ehrhardt@mathematik.uni-ulm.de,
   gcc-bugs@gcc.gnu.org, gcc-gnats@gcc.gnu.org, gcc-prs@gcc.gnu.org,
   nobody@gcc.gnu.org
Cc:  
Subject: Re: c++/10447: signed != unsigned when signedness is unimportand
Date: Mon, 21 Apr 2003 11:12:36 -0400 (EDT)

 I was using -Wall (command line was -Wall -W -Werror)
 	--Aryeh

Re: c++/10447: signed != unsigned when signedness is unimportand

[ehrhardt]

Synopsis: signed != unsigned when signedness is unimportand

State-Changed-From-To: open->closed
State-Changed-By: cae
State-Changed-When: Mon Apr 21 14:02:47 2003
State-Changed-Why:
    Not a bug. Operator preference is different than you think. -Wall
    would have told you.

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=10447