Re: [PATCH v6] cacheflush.2: Document __builtin___clear_cache() as a more portable alternative

2020-12-20 Thread Michael Kerrisk (man-pages) via Gcc-patches
On 12/15/20 2:30 PM, Alejandro Colomar wrote: > Reported-by: Heinrich Schuchardt > Signed-off-by: Alejandro Colomar > Cc: Martin Sebor > Cc: Dave Martin > --- > > v6: > - GCC has always exposed 'void *', as Martin Sebor noted. > It's Clang (and maybe others) that (following GCC's docs) > e

Re: [PATCH 1/4] system_data_types.7: Add '__int128'

2020-10-06 Thread Michael Kerrisk (man-pages) via Gcc-patches
Hi Florian, On 10/5/20 9:12 AM, Florian Weimer wrote: > * Paul Eggert: > >> On 10/2/20 12:01 PM, Alejandro Colomar wrote: >>> If you propose not to document the stdint types either, >> >> This is not a stdint.h issue. __int128 is not in stdint.h and is not a >> system data type in any real sense;

Re: [PATCH v4 1/2] system_data_types.7: Add 'void *'

2020-10-03 Thread Michael Kerrisk (man-pages) via Gcc-patches
On 10/3/20 9:48 AM, G. Branden Robinson wrote: > At 2020-10-03T09:10:14+0200, Michael Kerrisk (man-pages) wrote: >> On 10/2/20 10:27 PM, Alejandro Colomar wrote: >>> On 2020-10-02 22:14, Paul Eggert wrote: >>> > On 10/2/20 11:38 AM, Alejandro Colomar wrote: >>> > >>> >> .I void * >>> >> >>> >>

Re: [PATCH v5 2/2] void.3: New link to system_data_types(7)

2020-10-03 Thread Michael Kerrisk (man-pages) via Gcc-patches
Hello Alex, On 10/2/20 9:28 PM, Alejandro Colomar wrote: > Signed-off-by: Alejandro Colomar Patch applied. And, I think we're now at a sync point. Thanks, Michael > --- > man3/void.3 | 1 + > 1 file changed, 1 insertion(+) > create mode 100644 man3/void.3 > > diff --git a/man3/void.3 b/m

Re: [PATCH v5 1/2] system_data_types.7: Add 'void *'

2020-10-03 Thread Michael Kerrisk (man-pages) via Gcc-patches
Hello Alex, On 10/2/20 9:28 PM, Alejandro Colomar wrote: > Signed-off-by: Alejandro Colomar Patch applied. Thanks, Michael > system_data_types.7: void *: Add info about generic function parameters and > return value > > Reported-by: Paul Eggert > Reported-by: David Laight > Signed-off-by

Re: [PATCH v4 1/2] system_data_types.7: Add 'void *'

2020-10-03 Thread Michael Kerrisk (man-pages) via Gcc-patches
On 10/2/20 10:27 PM, Alejandro Colomar wrote: > Hi Paul, > > On 2020-10-02 22:14, Paul Eggert wrote: > > On 10/2/20 11:38 AM, Alejandro Colomar wrote: > > > >> .I void * > >> > >> renders with a space in between. > > > > That's odd, as "man(7)" says "All of the arguments will be printed nex