Re: GCC extension for atomic access to members

2017-09-19 Thread Martin Sebor
On 09/18/2017 06:19 AM, Florian Weimer wrote: I would like to see the GCC project to document that if the address of a member is taken, this does not constitute an access to the object as a whole. That is, in the following code: #include struct S { _Atomic int a; int b; }; int load_a (st

Re: GCC extension for atomic access to members

2017-09-19 Thread Torvald Riegel
On Tue, 2017-09-19 at 15:36 +0200, Florian Weimer wrote: > On 09/19/2017 03:32 PM, Torvald Riegel wrote: > > On Tue, 2017-09-19 at 07:19 +0200, Florian Weimer wrote: > >> On 09/18/2017 10:07 PM, Torvald Riegel wrote: > >>> On Mon, 2017-09-18 at 14:19 +0200, Florian Weimer wrote: > I would like

Re: GCC extension for atomic access to members

2017-09-19 Thread Florian Weimer
On 09/19/2017 03:32 PM, Torvald Riegel wrote: On Tue, 2017-09-19 at 07:19 +0200, Florian Weimer wrote: On 09/18/2017 10:07 PM, Torvald Riegel wrote: On Mon, 2017-09-18 at 14:19 +0200, Florian Weimer wrote: I would like to see the GCC project to document that if the address of a member is taken

Re: GCC extension for atomic access to members

2017-09-19 Thread Torvald Riegel
On Tue, 2017-09-19 at 07:19 +0200, Florian Weimer wrote: > On 09/18/2017 10:07 PM, Torvald Riegel wrote: > > On Mon, 2017-09-18 at 14:19 +0200, Florian Weimer wrote: > >> I would like to see the GCC project to document that if the address of a > >> member is taken, this does not constitute an acces

Re: GCC extension for atomic access to members

2017-09-18 Thread Florian Weimer
On 09/18/2017 10:07 PM, Torvald Riegel wrote: On Mon, 2017-09-18 at 14:19 +0200, Florian Weimer wrote: I would like to see the GCC project to document that if the address of a member is taken, this does not constitute an access to the object as a whole. That is, in the following code: #include

Re: GCC extension for atomic access to members

2017-09-18 Thread Torvald Riegel
On Mon, 2017-09-18 at 14:19 +0200, Florian Weimer wrote: > I would like to see the GCC project to document that if the address of a > member is taken, this does not constitute an access to the object as a > whole. > > That is, in the following code: > > #include > > struct S { >_Atomic in