From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-wr1-x443.google.com (mail-wr1-x443.google.com [IPv6:2a00:1450:4864:20::443]) by sourceware.org (Postfix) with ESMTPS id CE8163857013 for ; Wed, 7 Oct 2020 06:53:41 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.3.2 sourceware.org CE8163857013 Received: by mail-wr1-x443.google.com with SMTP id k10so817781wru.6 for ; Tue, 06 Oct 2020 23:53:41 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:cc:subject:to:references:from:message-id:date :user-agent:mime-version:in-reply-to:content-language :content-transfer-encoding; bh=ORAHLnhzbOo88SOqXEi9ztdww7mIp1O98MuvKTCrqHs=; b=sWiADBrL1Ki5Zhh5yJQ9T2WR9MXLE/ASfqVlD4Kq5sPzj23FCOz6bWUQc5Qcqo92tt ksZuIug15Lvyjsw9Z7MC+Ft6xLjfG12yq0kwVl8zr0QV94q9oSLa6HI0zGSXsXrQ54SS OIIK0nvx3VQG/u3QU0XqbV21J25IIGgWWhtxCjnNpmHkJeMTcQvKlohoFJWXQMVmZTtR 4ULOyysgcAL33CjbW+/5dtmIUwO1RwyJoe7VudtXAOtowgcj4WSuZ9OiUwhIElQxEgi+ DxZUEiKAWAo4pHLI433xB1bMTdtOLPnW35QYYu/pFoL9whYiAUVGLVP1XRwz8B0NqR/B e8+Q== X-Gm-Message-State: AOAM532R3TsLlcRKft5m6xD2H5ohcUhgMQcfb6m/AbrPclBVo2KPkDFR ancoItOFlnW1J87nwG6bnA0= X-Google-Smtp-Source: ABdhPJyd9mun5POanBN+2OSAohOUSvmUuWH2YcOAHiOnUDXFJSQU4JXkBXQCUYewA9QhDeIGv7ypAA== X-Received: by 2002:adf:e8cf:: with SMTP id k15mr1747006wrn.262.1602053620952; Tue, 06 Oct 2020 23:53:40 -0700 (PDT) Received: from [192.168.43.156] (dynamic-046-114-000-081.46.114.pool.telefonica.de. [46.114.0.81]) by smtp.gmail.com with ESMTPSA id t16sm1356208wmi.18.2020.10.06.23.53.39 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Tue, 06 Oct 2020 23:53:40 -0700 (PDT) Cc: mtk.manpages@gmail.com, Alejandro Colomar , Alejandro Colomar via Libc-alpha , linux-man@vger.kernel.org, gcc-patches@gcc.gnu.org Subject: Re: [PATCH 1/4] system_data_types.7: Add '__int128' To: Florian Weimer , Paul Eggert References: <20201001163443.106933-1-colomar.6.4.3@gmail.com> <20201001163443.106933-2-colomar.6.4.3@gmail.com> <87eemg97ew.fsf@oldenburg2.str.redhat.com> <87y2kl403t.fsf@oldenburg2.str.redhat.com> From: "Michael Kerrisk (man-pages)" Message-ID: <00af348c-83f7-fa3d-8335-09ad9c8b76d5@gmail.com> Date: Wed, 7 Oct 2020 08:53:38 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.11.0 MIME-Version: 1.0 In-Reply-To: <87y2kl403t.fsf@oldenburg2.str.redhat.com> Content-Type: text/plain; charset=utf-8 Content-Language: en-US Content-Transfer-Encoding: 7bit X-Spam-Status: No, score=-1.2 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, FREEMAIL_FROM, KAM_SHORT, NICE_REPLY_A, RCVD_IN_ABUSEAT, RCVD_IN_DNSWL_NONE, SPF_HELO_NONE, SPF_PASS, TXREP autolearn=no autolearn_force=no version=3.4.2 X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on server2.sourceware.org X-BeenThere: libc-alpha@sourceware.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Libc-alpha mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 07 Oct 2020 06:53:43 -0000 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; it's purely a compiler >> issue. Besides, do we start repeating the GCC manual too, while we're >> at it? At some point we need to restrain ourselves and stay within the >> scope of the man pages. > > The manual pages also duplicate the glibc manual, and as far as I know, > it's what programmers actually read. (Downstream, we receive many more > man-pages bugs than glibc or GCC manual bugs.) Most developers use > distributions I presume by most you mean "Debian + Ubuntu"? (The certainly reflects what I see.) > which do not ship the glibc or GCC manual for licensing > policy reasons, so the GNU manuals are not installed locally. I hadn't quite clicked to this point. So, Debian (and thus Ubuntu) do not ship the glibc manual because of GNU FDL. That's unfortunate. (Many years ago, IIRC, there were still one of two GNU FDL licensed pages in man-pages, and I rewrote / removed the pages to eliminate the problem for Debian--and I was happy also at the same time to reduce the number of licenses in man-pages.) >> PS. Have you ever tried to use __int128 in real code? I have, to my >> regret. It's a portability and bug minefield and should not be used >> unless you really know what you're doing, which most people do not. > > Doesn't this suggest we need improved documentation? Well, yes. But I'm also not convinced man-pages is the right place for it. Thanks, Michael -- Michael Kerrisk Linux man-pages maintainer; http://www.kernel.org/doc/man-pages/ Linux/UNIX System Programming Training: http://man7.org/training/