Bug#164554: marked as done (gcc-3.2: volatile not respected on alpha)
Your message dated Tue, 15 Oct 2002 19:20:20 +1000
with message-id <20021015092020.GA22526@gondor.apana.org.au>
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 herbert@gondor.apana.org.au Sun Oct 13 04:29:43 2002
Return-path: <herbert@gondor.apana.org.au>
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 <submit@bugs.debian.org>; 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 <submit@bugs.debian.org>; Sun, 13 Oct 2002 19:29:24 +1000
From: <herbert@gondor.apana.org.au>
Subject: gcc-3.2: volatile not respected on alpha
To: submit@bugs.debian.org
X-Mailer: bug 3.3.10.1
Message-Id: <[🔎] E180f3s-0007cD-00@gondolin.me.apana.org.au>
Date: Sun, 13 Oct 2002 19:29:24 +1000
Delivered-To: submit@bugs.debian.org
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 herbert@gondor.apana.org.au Tue Oct 15 04:20:31 2002
Return-path: <herbert@gondor.apana.org.au>
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 <dan@debian.org>
Cc: 164554-done@bugs.debian.org
Subject: Re: Bug#164554: gcc-3.2: volatile not respected on alpha
Message-ID: <20021015092020.GA22526@gondor.apana.org.au>
References: <[🔎] E180f3s-0007cD-00@gondolin.me.apana.org.au> <[🔎] 20021014220124.GA15628@nevyn.them.org> <[🔎] 20021014222802.GA18608@gondor.apana.org.au> <[🔎] 20021014230146.GA17940@nevyn.them.org> <[🔎] 20021015020956.GA20071@gondor.apana.org.au> <[🔎] 20021015023103.GA1284@nevyn.them.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <[🔎] 20021015023103.GA1284@nevyn.them.org>
User-Agent: Mutt/1.4i
From: Herbert Xu <herbert@gondor.apana.org.au>
Delivered-To: 164554-done@bugs.debian.org
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~} <herbert@gondor.apana.org.au>
Home Page: http://gondor.apana.org.au/~herbert/
PGP Key: http://gondor.apana.org.au/~herbert/pubkey.txt
Reply to: