From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-ed1-x542.google.com (mail-ed1-x542.google.com [IPv6:2a00:1450:4864:20::542]) by sourceware.org (Postfix) with ESMTPS id DA681395185D for ; Fri, 2 Oct 2020 11:45:01 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.3.2 sourceware.org DA681395185D Received: by mail-ed1-x542.google.com with SMTP id t16so1317505edw.7 for ; Fri, 02 Oct 2020 04:45:01 -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=iDo1ehDnl5KudQ0LiIjt7kplcA3BrKpkXk2fRzyUDDM=; b=JLKS+bXtZrHUexvzQ7bLzWPIum2slOd4VFWhkNBtbVpbs1Nx30iBxqVRzOlu0t3ZPh dvrg7DfZEkYDjBBGuI5bX3OlmyHYadWCaouY+v6JNoUyIaXuERzo92ihYPmDsx9+78lw jxcSvWoU825YA2MjnuMSGsfrgi4d2GZUpkvQIl1cR2YVggadFBLiRIrbrfNmWf/eco/7 RAzqKdngUPJfX0KJc+wy4zZyEZXeQugz43EN23KJ5DfZ0l/3mFGvnzxDtGcY5+C2JQW3 tOmocHGk5pGgmk0ee340t4JFUAy+DHLsIrTgmhcfX3cUVNq+wnqA5IjrZ7qHY+GPykwI KfRA== X-Gm-Message-State: AOAM5322zyfCw0xbxCIM5jJIEJCiCN8u3GVJTPyAXF5/kq2VueFb5gJ+ n1CeCjhXx0sB/lIt3lLl2gA= X-Google-Smtp-Source: ABdhPJy8MuBx4mvqZc7pChUoxZ2JTMZmjcjUxkf0R555YnUiGz3rWE3jgRbbOS0APTuE1t3HBP8Gig== X-Received: by 2002:a05:6402:2050:: with SMTP id bc16mr1915119edb.342.1601639100967; Fri, 02 Oct 2020 04:45:00 -0700 (PDT) Received: from ?IPv6:2001:a61:2479:6801:d8fe:4132:9f23:7e8f? ([2001:a61:2479:6801:d8fe:4132:9f23:7e8f]) by smtp.gmail.com with ESMTPSA id j15sm1002020ejs.5.2020.10.02.04.44.59 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Fri, 02 Oct 2020 04:45:00 -0700 (PDT) Cc: mtk.manpages@gmail.com, Paul Eggert , linux-man@vger.kernel.org, libc-alpha@sourceware.org, gcc@gcc.gnu.org, "linux-kernel@vger.kernel.org" Subject: Re: [PATCH v2 1/2] system_data_types.7: Add 'void *' To: Alejandro Colomar References: <41affebd-3354-9420-0048-bffd14535e95@gmail.com> <20201001154946.104626-2-colomar.6.4.3@gmail.com> <538b683f-01d2-6148-4f1d-1b293eb5cd6b@cs.ucla.edu> <4b86f6e9-0d8a-f14a-73ce-ebbdc9d9edba@gmail.com> <7c55f6cf-8cb1-7b63-30ec-990f8c370bf5@gmail.com> From: "Michael Kerrisk (man-pages)" Message-ID: <5d83f043-ff60-94f3-b3a7-e72876ce8dd2@gmail.com> Date: Fri, 2 Oct 2020 13:44:59 +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: <7c55f6cf-8cb1-7b63-30ec-990f8c370bf5@gmail.com> Content-Type: text/plain; charset=utf-8 Content-Language: en-US Content-Transfer-Encoding: 8bit X-Spam-Status: No, score=-5.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_DNSWL_NONE, SPF_HELO_NONE, SPF_PASS, TXREP autolearn=ham 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: Fri, 02 Oct 2020 11:45:05 -0000 Hi Alex, On 10/2/20 10:48 AM, Alejandro Colomar wrote: > Hi Michael, > > On 2020-10-02 10:24, Alejandro Colomar wrote: >> On 2020-10-01 19:32, Paul Eggert wrote: >> > For 'void *' you should also mention that one cannot use arithmetic on >> > void * pointers, so they're special in that way too. >> >> Good suggestion! >> >> > Also, you should >> > warn that because one can convert from any pointer type to void * and >> > then to any other pointer type, it's a deliberate hole in C's >> > type-checking. >> >> Also good.  I'll talk about generic function parameters for this. > I think the patch as is now is complete enough to be added. > > So I won't rewrite it for now. > Please review the patch as is, > and I'll add more info to this type in the future. Actually, I would rather prefer one patch series, rather than patches on patches please. It also makes review of the overall 'void *' text easier if it's all one patch. So, If you could squash the patches together and resubmit, that would be helful. Thanks, Michael -- Michael Kerrisk Linux man-pages maintainer; http://www.kernel.org/doc/man-pages/ Linux/UNIX System Programming Training: http://man7.org/training/