Bug#5367: marked as done ([Fix in {gcc,egcc}-2.91.x] gcc -O2 fails for INT_MIN < long long < INT_MAX)
Your message dated Thu, 12 Apr 2001 23:52:39 +0200 (MEST)
with message-id <15062.8940.590633.88211@bolero>
and subject line closing gcc272 bugs
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.)
Darren Benham
(administrator, Debian Bugs database)
--------------------------------------
Received: (at submit) by bugs.debian.org; 12 Nov 1996 12:00:39 +0000
Received: (qmail 16189 invoked from smtpd); 12 Nov 1996 12:00:32 -0000
Received: from spock.lpr.e-technik.tu-muenchen.de (root@129.187.151.1)
by master.debian.org with SMTP; 12 Nov 1996 12:00:13 -0000
Received: from ion.lpr.e-technik.tu-muenchen.de (root@ion.lpr.e-technik.tu-muenchen.de [129.187.151.28]) by spock.lpr.e-technik.tu-muenchen.de (8.6.12/8.6.6) with ESMTP id MAA29503 for <submit@bugs.debian.org>; Tue, 12 Nov 1996 12:46:06 +0100
Received: (from thielen@localhost) by ion.lpr.e-technik.tu-muenchen.de (8.7.6/8.7.3) id MAA28984 for submit@bugs.debian.org; Tue, 12 Nov 1996 12:44:17 +0100
From: Herbert Thielen <Herbert.Thielen@lpr.e-technik.tu-muenchen.de>
Message-Id: <199611121144.MAA28984@ion.lpr.e-technik.tu-muenchen.de>
Subject: gcc -O2 fails for INT_MIN < long long < INT_MAX
To: submit@bugs.debian.org (Debian BugSubmit)
Date: Tue, 12 Nov 1996 12:44:17 +0100 (MET)
X-Mailer: ELM [version 2.4 PL24 ME7a]
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Package: gcc
Version: 2.7.2.1-1
A colleague of mine found that the gcc optimizer for ix86 fails for
long long a;
(a < MIN_INT || a > MAX_INT) : foo ? bar
You can reproduce the bug with the program at the end of the mail. This
bug was exploited while trying to use a cross-gdb for a 64-bit-processor
on Debian/Linux.
gcc 2.7.2-8 showed this bug too.
The bug was _not_ reproducable on a gcc 2.7.2.1 for
mips-mips-riscos4sysv, so it seem's to be limited on the ix86 optimizer.
Regards
Herbert.
Program to reproduce the bug (o.k. with -O0, buggy with -O1, -O2, -O3):
-snip-snap-snip-snap-
#include <stdio.h>
#include <limits.h>
#define LARGE 2000000000
#define CHECK_FALSE(expr) \
printf("%s: " #expr "\n", \
(expr) ? "BUG, assumed true" : \
"o.k., it is false")
void foo(long long val)
{
printf( "val=%Ld (%#Lx)\n"
"INT_MIN=%d (%#x)\n"
"INT_MAX=%d (%#x)\n"
"LARGE=%d (%#x)\n\n",
val, val, INT_MIN, INT_MIN, INT_MAX, INT_MAX, LARGE, LARGE);
CHECK_FALSE(val < INT_MIN);
CHECK_FALSE(val > INT_MAX);
CHECK_FALSE(val < INT_MIN || val > INT_MAX); /* Buggy with -O2 !! */
CHECK_FALSE(val < -LARGE || val > LARGE);
CHECK_FALSE(!(val > INT_MIN && val < INT_MAX));
return;
}
main()
{
long long a;
a = 5LL;
foo(a);
exit(0);
}
-snip-snap-snip-snap-
---------------------------------------
Received: (at 5367-done) by bugs.debian.org; 12 Apr 2001 21:58:24 +0000
>From doko@cs.tu-berlin.de Thu Apr 12 16:58:24 2001
Return-path: <doko@cs.tu-berlin.de>
Received: from mail.cs.tu-berlin.de [130.149.17.13] (root)
by master.debian.org with esmtp (Exim 3.12 1 (Debian))
id 14np6d-0003Xr-00; Thu, 12 Apr 2001 16:58:24 -0500
Received: from bolero.cs.tu-berlin.de (bolero.cs.tu-berlin.de [130.149.19.1])
by mail.cs.tu-berlin.de (8.9.3/8.9.3) with ESMTP id XAA08192;
Thu, 12 Apr 2001 23:53:09 +0200 (MET DST)
Received: (from doko@localhost)
by bolero.cs.tu-berlin.de (8.9.3+Sun/8.9.3) id XAA19323;
Thu, 12 Apr 2001 23:52:39 +0200 (MEST)
From: Matthias Klose <doko@cs.tu-berlin.de>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Date: Thu, 12 Apr 2001 23:52:39 +0200 (MEST)
To: 4429-done@bugs.debian.org, 4430-done@bugs.debian.org,
4954-done@bugs.debian.org, 5367-done@bugs.debian.org,
6047-done@bugs.debian.org, 12375-done@bugs.debian.org,
20606-done@bugs.debian.org, 20889-done@bugs.debian.org,
24788-done@bugs.debian.org, 26100-done@bugs.debian.org,
34322-done@bugs.debian.org, 48726-done@bugs.debian.org,
54544-done@bugs.debian.org, 63154-done@bugs.debian.org
Subject: closing gcc272 bugs
X-Mailer: VM 6.43 under 20.4 "Emerald" XEmacs Lucid
Message-ID: <15062.8940.590633.88211@bolero>
Delivered-To: 5367-done@bugs.debian.org
gcc272 (2.7.2.3-18) unstable; urgency=low
* Close all gcc272 in the Debian bug tracking archive. The use of
gcc272 is deprecated. The only reason it exists is to have a
compiler for the linux kernel 2.0.x.
The bug reports for gcc272 are still available on
http://bugs.debian.org/cgi-bin/pkgreport.cgi?pkg=gcc272&archive=yes
Closes: #4429, #4430, 4954, #5367, #6047, #12375, #20606, #20889,
#24788, #26100, #34322, #48726, #54544, #63154.
Reply to: