From owner-freebsd-standards@freebsd.org  Wed Feb 21 18:59:43 2018
Return-Path: <owner-freebsd-standards@freebsd.org>
Delivered-To: freebsd-standards@mailman.ysv.freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1])
 by mailman.ysv.freebsd.org (Postfix) with ESMTP id D36AFF203CB
 for <freebsd-standards@mailman.ysv.freebsd.org>;
 Wed, 21 Feb 2018 18:59:43 +0000 (UTC)
 (envelope-from kostikbel@gmail.com)
Received: from kib.kiev.ua (kib.kiev.ua [IPv6:2001:470:d5e7:1::1])
 (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits))
 (Client did not present a certificate)
 by mx1.freebsd.org (Postfix) with ESMTPS id 293826C598
 for <freebsd-standards@freebsd.org>; Wed, 21 Feb 2018 18:59:43 +0000 (UTC)
 (envelope-from kostikbel@gmail.com)
Received: from tom.home (kib@localhost [127.0.0.1])
 by kib.kiev.ua (8.15.2/8.15.2) with ESMTPS id w1LIxL1c096385
 (version=TLSv1.2 cipher=DHE-RSA-AES256-GCM-SHA384 bits=256 verify=NO);
 Wed, 21 Feb 2018 20:59:24 +0200 (EET)
 (envelope-from kostikbel@gmail.com)
DKIM-Filter: OpenDKIM Filter v2.10.3 kib.kiev.ua w1LIxL1c096385
Received: (from kostik@localhost)
 by tom.home (8.15.2/8.15.2/Submit) id w1LIxLUI096382;
 Wed, 21 Feb 2018 20:59:21 +0200 (EET)
 (envelope-from kostikbel@gmail.com)
X-Authentication-Warning: tom.home: kostik set sender to kostikbel@gmail.com
 using -f
Date: Wed, 21 Feb 2018 20:59:20 +0200
From: Konstantin Belousov <kostikbel@gmail.com>
To: Garrett Wollman <wollman@csail.mit.edu>
Cc: freebsd-standards@freebsd.org
Subject: Re: Marking select(2) as restrict
Message-ID: <20180221185920.GA94212@kib.kiev.ua>
References: <CAF6rxg=h_oMiUu7P=GAOQf_OySQM2w31hg6Kas+3jeEM3qq_Cg@mail.gmail.com>
 <CAF6rxgnt9c0n8i-nHQwoKGbZKF2hM5AZqEJnz0CLo26XOO4_sg@mail.gmail.com>
 <20180221032247.GA81670@ns.kevlo.org>
 <CAF6rxg=WwqeBnmJzfOZgtwrYesXPfvJFeaVmQwtTa_89_sxaJg@mail.gmail.com>
 <CANCZdfo46bhfaRpbqOmJjk4+=1R2c5kvmrJPENaxNgK==5M4kg@mail.gmail.com>
 <CAF6rxg=wNVgDUF9o744ngmzPNeHB3hqdrLufy=yS3D4osczxFQ@mail.gmail.com>
 <20180221104400.GU94212@kib.kiev.ua>
 <23181.46427.671514.319710@khavrinen.csail.mit.edu>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <23181.46427.671514.319710@khavrinen.csail.mit.edu>
User-Agent: Mutt/1.9.3 (2018-01-21)
X-Spam-Status: No, score=-2.0 required=5.0 tests=ALL_TRUSTED,BAYES_00,
 DKIM_ADSP_CUSTOM_MED,FREEMAIL_FROM,NML_ADSP_CUSTOM_MED autolearn=no
 autolearn_force=no version=3.4.1
X-Spam-Checker-Version: SpamAssassin 3.4.1 (2015-04-28) on tom.home
X-BeenThere: freebsd-standards@freebsd.org
X-Mailman-Version: 2.1.25
Precedence: list
List-Id: Standards compliance <freebsd-standards.freebsd.org>
List-Unsubscribe: <https://lists.freebsd.org/mailman/options/freebsd-standards>, 
 <mailto:freebsd-standards-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-standards/>
List-Post: <mailto:freebsd-standards@freebsd.org>
List-Help: <mailto:freebsd-standards-request@freebsd.org?subject=help>
List-Subscribe: <https://lists.freebsd.org/mailman/listinfo/freebsd-standards>, 
 <mailto:freebsd-standards-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Wed, 21 Feb 2018 18:59:44 -0000

On Wed, Feb 21, 2018 at 01:07:23PM -0500, Garrett Wollman wrote:
> <<On Wed, 21 Feb 2018 12:44:00 +0200, Konstantin Belousov <kostikbel@gmail.com> said:
> 
> 
> > I fail to find an explanation of the supposed benefit of the change
> > you proposing.  Please point it out.
> 
> Compliance with the 2001 POSIX standard (and subsequent versions).
> 
> After C99, all POSIX interfaces that use pointers were updated to
> include the restrict qualifier where applicable.

Restrict barely puts any requirements on the implementation, but does on
the consumers.  Which is the cause of this discussion.

Also, what incompliance consequences are ?  I am not even sure that the
prototype mismatch can be detected by means other than parsing the headers.