Re: [PATCH] manual: Document compiler and memory barriers

[Carlos O'Donell <codonell at redhat dot com>]

On 12/7/19 8:22 AM, Florian Weimer wrote:
> * Carlos O'Donell:
> 
>> You posted this patch without any rationale or commit message, was
>> this an accidental push to the mailing list?
> 
> Do we need a rationale for more documentation? 8-)

No, not at all! ;-)

The problem with "no rationale" is that I can't disambiguate between
that and other possible problem states.

> Parts of <stddef.h> are already covered in the manual, even though the
> header is provided by GCC (like <stdatomic.h>).
> 
> I want to reference this documentation in them membarrier patch.
> 

Ah! That's *exactly* the rationale I was looking for :-)

-- 
Cheers,
Carlos.