This is the mail archive of the
mailing list for the GCC project.
Re: [PATCH] Fix C++0x memory model for -fno-strict-volatile-bitfields on ARM
- From: "Joseph S. Myers" <joseph at codesourcery dot com>
- To: Richard Biener <richard dot guenther at gmail dot com>
- Cc: Bernd Edlinger <bernd dot edlinger at hotmail dot de>, Jason Merrill <jason at redhat dot com>, "gcc-patches at gcc dot gnu dot org" <gcc-patches at gcc dot gnu dot org>, Sandra Loosemore <sandra at codesourcery dot com>
- Date: Fri, 25 Oct 2013 16:29:42 +0000
- Subject: Re: [PATCH] Fix C++0x memory model for -fno-strict-volatile-bitfields on ARM
- Authentication-results: sourceware.org; auth=none
- References: <DUB122-W15E51EED0BDD4E4BBB7280E40D0 at phx dot gbl> <CAFiYyc3B19C+KzWADqMuFftHBsf9R-BVmhx3byk4HMaHDZVCgQ at mail dot gmail dot com>
On Fri, 25 Oct 2013, Richard Biener wrote:
> Btw, the C++ standard doesn't cover packed or aligned attributes so
> we could declare this a non-issue. Any opinion on that?
I think the memory model naturally applies to packed structures (i.e.,
writes to fields in them should not write to any other fields except as
part of a sequence of consecutive non-zero-width bit-fields, unless
allow-store-data-races is set).
Joseph S. Myers