From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-2.9 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM, HEADER_FROM_DIFFERENT_DOMAINS,MAILING_LIST_MULTI,RCVD_IN_DNSWL_MED, RCVD_IN_MSPIKE_H3,RCVD_IN_MSPIKE_WL autolearn=ham autolearn_force=no version=3.4.2 Received: from mother.openwall.net (mother.openwall.net [195.42.179.200]) by inbox.vuxu.org (OpenSMTPD) with SMTP id 8fdbf14d for ; Sun, 19 Jan 2020 14:24:15 +0000 (UTC) Received: (qmail 30559 invoked by uid 550); 19 Jan 2020 14:24:13 -0000 Mailing-List: contact musl-help@lists.openwall.com; run by ezmlm Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-ID: Reply-To: musl@lists.openwall.com Received: (qmail 30538 invoked from network); 19 Jan 2020 14:24:13 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=gmx.net; s=badeba3b8450; t=1579443841; bh=rwi6orGAiqO9LR57+TOnXgD7hhGfiZnRWLkqbAd2HjI=; h=X-UI-Sender-Class:Date:From:To:Subject:References:In-Reply-To; b=i5Sw3HtA+IU7rE+xDWdbK1IMdBMS7IRA2uBPLg5wYe3Bzby6og4uyK5CxbcxfVuQ2 ilNKZLdwePpNKzzvu4Z6TKju0KU6AByXV2I4p4X+2D3PFMhuX9CpFpcoGSxgPH+tm9 1MH+0Gj84GdJY/59F2cJ5fFEpJNpCjiJKyyCT9cE= X-UI-Sender-Class: 01bb95c1-4bf8-414a-932a-4f6e2808ef9c Date: Sun, 19 Jan 2020 15:24:01 +0100 From: Markus Wichmann To: musl@lists.openwall.com Message-ID: <20200119142401.GG2020@voyager> References: <20200119110743.GD2020@voyager> <20200119113134.GJ23985@port70.net> <8299f261-7870-57a6-37cf-d4ce482ad81e@openwall.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <8299f261-7870-57a6-37cf-d4ce482ad81e@openwall.com> User-Agent: Mutt/1.9.4 (2018-02-28) X-Provags-ID: V03:K1:jemnLrVTciQ5r8Edk6Bv5rNTiyWReHmfbEPzuCToGCyPgN/lz88 /qw3uSwz4Ay4o4UJUBD+Oz5lGgJzaSqokIVuYNvR8EaSDa77EA+3kxJF6zym2rfbutaJr/p ZZXKhHer/hef9tl47XyUuGsC04fQ/PqvrhQYeP50Ix3HvK0eBZXPV368jdCdEISIA/SSoHi 7RSkv/bnjxGlHqmun7sTg== X-UI-Out-Filterresults: notjunk:1;V03:K0:531dhvrLwe8=:VxcWuNczmgA6W2XtQiEd9G w82b/dms+5/ll1AY2uQPUWwvgJwPSqKX2d4yGmHSTK7y6l1EkcATzUroI1xUOSn+Q5lGci1be Fx5ZPu4HHPHLUUYBQageVT9Y+pkVoqRNe6gJb3sBfeMcU8LQXh+snFkJRhJyTQV8p1B3Peq0o c4UCQQcALuN30OU3U445Av/0fj7pp3WrPsgnkAsAs95OGPYcSxdu1s0aQNbqA6xgZfaOtbq57 tvswCfjR4J2FfHWTfkxOtd9ogH2GFHQAe+IDG/TFIUZtULmDzjmOZa8mMyJ9yh6SZhsIyuQKZ ZyewYF1GXg9mOPKlNkeuzDd2yKkLm9l7hzwWdjvHK7p25qGgkxsxLmriYFEVb+9NToHm8XN3m OqxqCTbEMR3D8/aValzw1MbkE3QSRoIFFXlAftOwJ9U9bofg9LCVN7054NiZDe6IIiV55LDAK vMPo6er2PWDgYu+m3lJlpA29YXTEyVkn9CZ7bkQnQS0xgQSIFiJq6g/V8c3+wu7iR9/OdIJ8y uoL0WhctRz/RE6Rfs41WZ7jnh5bNGMcEhd+snGEm5vmv+t4uF9Y/6SOAqX2OtXKiZcfRnz40r ZcAcgL7B9LHyfahTBLDL/XP6FSIGWT5R+iZAbdyTm0jR51Uhd1dmDykznRt3lqi2QJDq1ScT6 TQ9YXDcXfyoPD7iHEkuqHzo6mK3qaQeDXbxE63GiMlkqgrFttYMcZObhkulmq95+zqaufsCl5 gL0QE0cPmNMGfPjihYTFvyLEoDHIuHgPfJRGNRHhNLRdEBovwKpO5OvELb7VvVA0iYVq9Z75k 8B+mOeLa3RkAKn9d3QiWj6ozgul+GfdSHVOypK4wvMWkfP8g8Xn/hRweH82orLU05qkxPgZ5m rZK7/bscMSUbYYDnjswghsPacKHcpHHHddWi/CVLVJHXqLACzUcy80O4wL0AzkEyx2uTH4lot e4amhwQXos2W1WidO9C9QsAPkFj4RVazpL+OWPtQXM2Hhw3fLS+u2WNbDkGSg5NMQNX+66sIW mmb0S//BRxV9ckrHNQX2N6eqzorYmCQmf6IV8hxk4qGiHLzjFxAwd1MYD3a6eoX3xJqfiLGsM NC22eN2MqzoKDbaXidroWB/ZS7UZuh5eaEdE/2QdAZl0zsUAo0jMVxyvQnWZlGWMF7sQ6IYe3 VjvQOfdatcMs5rwsWW8JL4mAPvDF5+IEk3cm9ehJiLLYWeSslzQk00bGloGNCgmQVALQh+U0q WzpISlAkHcQwcFfd5HV/iaJBztj07jep6BexSvg== Content-Transfer-Encoding: quoted-printable Subject: Re: [musl] Minor style patch to exit.c On Sun, Jan 19, 2020 at 04:33:47PM +0300, Alexander Cherepanov wrote: > Couldn't _start defined as an array? Then separate values could be acces= sed > simply as elements of this array. And casts to integers could be limited= to > calculating the number of elements, the terminating value or something. > That reminds me of something I read in the C standard: Two pointers must compare equal if, among other possibilities, one is a pointer to one-past its underlying array, and the other is a pointer to the start of its array, and the arrays happen to lie behind one another in address space. Therefore, if _start and _end were arrays, even the GCC devs must agree that there might be an integer i such that _start + i =3D=3D _end. For the= C language, _start and _end would be arrays that happen to lie adjacent in address space. And if we have guarantees from the outside attesting to that, then _end - _start is no longer an undefined expression, right? Ciao, Markus