From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 4471 invoked by alias); 28 Mar 2006 21:59:20 -0000 Received: (qmail 4446 invoked by uid 48); 28 Mar 2006 21:59:17 -0000 Date: Tue, 28 Mar 2006 21:59:00 -0000 Message-ID: <20060328215917.4445.qmail@sourceware.org> X-Bugzilla-Reason: CC References: Subject: [Bug middle-end/26729] [4.0,4.1 regression] bad bitops folding In-Reply-To: Reply-To: gcc-bugzilla@gcc.gnu.org To: gcc-bugs@gcc.gnu.org From: "falk at debian dot org" Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org X-SW-Source: 2006-03/txt/msg02805.txt.bz2 List-Id: ------- Comment #11 from falk at debian dot org 2006-03-28 21:59 ------- Ah. I can reproduce it now. Here is a C test case: void abort(void); __attribute__((noinline)) int f (unsigned short word) { return (word & 0x1) && (((unsigned short) (word & 0x8000)) == 0x8000); } int main(void) { if (!f(0x8001)) abort(); return 0; } -- falk at debian dot org changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |NEW Component|c++ |middle-end Ever Confirmed|0 |1 Keywords|diagnostic |wrong-code Known to fail|3.4.3 3.3.3 4.0.2 4.1.0 |3.3.6 3.4.3 4.0.2 4.1.0 | |4.2.0 Known to work| |2.95.4 Summary|bogus 'comparison is always |[4.0,4.1 regression] bad |0' message |bitops folding http://gcc.gnu.org/bugzilla/show_bug.cgi?id=26729