Your message dated Tue, 15 Oct 2002 19:20:20 +1000
with message-id <[EMAIL PROTECTED]>
and subject line Bug#164554: gcc-3.2: volatile not respected on alpha
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.)
Debian bug tracking system administrator
(administrator, Debian Bugs database)
--------------------------------------
Received: (at submit) by bugs.debian.org; 13 Oct 2002 09:29:43 +0000
>From [EMAIL PROTECTED] Sun Oct 13 04:29:43 2002
Return-path: <[EMAIL PROTECTED]>
Received: from eriador.apana.org.au [203.14.152.116] (mail)
by master.debian.org with esmtp (Exim 3.12 1 (Debian))
id 180f44-0000vS-00; Sun, 13 Oct 2002 04:29:39 -0500
Received: from gondolin.me.apana.org.au ([192.168.0.6] ident=mail)
by eriador.apana.org.au with esmtp (Exim 3.35 #1 (Debian))
id 180f3t-0007zw-00
for <[EMAIL PROTECTED]>; Sun, 13 Oct 2002 19:29:25 +1000
Received: from herbert by gondolin.me.apana.org.au with local (Exim 3.36 #1
(Debian))
id 180f3s-0007cD-00
for <[EMAIL PROTECTED]>; Sun, 13 Oct 2002 19:29:24 +1000
From: <[EMAIL PROTECTED]>
Subject: gcc-3.2: volatile not respected on alpha
To: [EMAIL PROTECTED]
X-Mailer: bug 3.3.10.1
Message-Id: <[EMAIL PROTECTED]>
Date: Sun, 13 Oct 2002 19:29:24 +1000
Delivered-To: [EMAIL PROTECTED]
Package: gcc-3.2
Version: 1:3.2.1-0pre2
Severity: normal
The following program produces output where the assignment to j occurs
before the i has been incremented. This breaks any program using such
constructs to ensure consistency:
volatile int i;
int j;
void a() {
i++;
j = 6;
i--;
}
.prologue 1
ldq $3,i($29) !literal
lda $4,6($31)
ldq $1,j($29) !literal
ldl $2,0($3)
stl $4,0($1)
lda $2,1($2)
stl $2,0($3)
-- System Information
Debian Release: testing/unstable
Kernel Version: Linux gondolin 2.4.18-686-smp #1 SMP Sun Apr 14 12:07:19 EST
2002 i686 unknown unknown GNU/Linux
Versions of the packages gcc-3.2 depends on:
ii binutils 2.13.90.0.4-1 The GNU assembler, linker and binary utiliti
ii cpp-3.2 3.2.1-0pre2 The GNU C preprocessor.
ii gcc-3.2-base 3.2.1-0pre2 The GNU Compiler Collection (base package).
ii libc6 2.2.5-14.3 GNU C Library: Shared libraries and Timezone
ii libgcc1 3.2.1-0pre2 GCC support library.
---------------------------------------
Received: (at 164554-done) by bugs.debian.org; 15 Oct 2002 09:20:31 +0000
>From [EMAIL PROTECTED] Tue Oct 15 04:20:31 2002
Return-path: <[EMAIL PROTECTED]>
Received: from eriador.apana.org.au [203.14.152.116] (mail)
by master.debian.org with esmtp (Exim 3.12 1 (Debian))
id 181NsL-00080y-00; Tue, 15 Oct 2002 04:20:30 -0500
Received: from gondolin.me.apana.org.au ([192.168.0.6] ident=mail)
by eriador.apana.org.au with esmtp (Exim 3.35 #1 (Debian))
id 181NsE-0001U9-00; Tue, 15 Oct 2002 19:20:22 +1000
Received: from herbert by gondolin.me.apana.org.au with local (Exim 3.36 #1
(Debian))
id 181NsC-0005ra-00; Tue, 15 Oct 2002 19:20:20 +1000
Date: Tue, 15 Oct 2002 19:20:20 +1000
To: Daniel Jacobowitz <[EMAIL PROTECTED]>
Cc: [EMAIL PROTECTED]
Subject: Re: Bug#164554: gcc-3.2: volatile not respected on alpha
Message-ID: <[EMAIL PROTECTED]>
References: <[EMAIL PROTECTED]> <[EMAIL PROTECTED]> <[EMAIL PROTECTED]> <[EMAIL
PROTECTED]> <[EMAIL PROTECTED]> <[EMAIL PROTECTED]>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <[EMAIL PROTECTED]>
User-Agent: Mutt/1.4i
From: Herbert Xu <[EMAIL PROTECTED]>
Delivered-To: [EMAIL PROTECTED]
On Mon, Oct 14, 2002 at 10:31:03PM -0400, Daniel Jacobowitz wrote:
>
> I have (6.7.3 #6)
> Furthermore, at every sequence point the value last stored
> in the object shall agree with that prescribed by the
> abstract machine, except as modified by the unknown factors
> mentioned previously.114) What constitutes an access to an
> object that has volatile-qualified type is implementation-
> defined.
>
> But that paragraph explicitly applies only to volatile qualified types.
You're right. What I was trying to do is undefined according to
the standard anyway.
--
Debian GNU/Linux 3.0 is out! ( http://www.debian.org/ )
Email: Herbert Xu ~{PmV>HI~} <[EMAIL PROTECTED]>
Home Page: http://gondor.apana.org.au/~herbert/
PGP Key: http://gondor.apana.org.au/~herbert/pubkey.txt
