Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) client-ip=2620:137:e000::1:20;
From:   David Laight <David.Laight@ACULAB.COM>
To:     'Linus Torvalds' <torvalds@linux-foundation.org>,
        Kees Cook <keescook@chromium.org>
CC:     "linux-kernel@vger.kernel.org" <linux-kernel@vger.kernel.org>,
        "Andy Shevchenko" <andriy.shevchenko@linux.intel.com>,
        Andrew Morton <akpm@linux-foundation.org>,
        "Matthew Wilcox (Oracle)" <willy@infradead.org>,
        Christoph Hellwig <hch@infradead.org>,
        "Jason A. Donenfeld" <Jason@zx2c4.com>
Subject: RE: [PATCH next v3 0/5] minmax: Relax type checks in min() and max().
Thread-Topic: [PATCH next v3 0/5] minmax: Relax type checks in min() and
 max().
Thread-Index: AdnGwQ6IGYkn0IjZSjuTaOSyeQI0UwIK8m4AABl1+KABcxoeCQAeWbMw
Date:   Wed, 23 Aug 2023 08:42:24 +0000
Message-ID: <10b50bca86004232b28edf0143ce87fc@AcuMS.aculab.com>
References: <01e3e09005e9434b8f558a893a47c053@AcuMS.aculab.com>
 <202308141416.89AC5C2@keescook>
 <2dd09c4033644239a314247e635fa735@AcuMS.aculab.com>
 <202308211113.4F49E73109@keescook>
 <CAHk-=whwEAc22wm8h9FESPB5X+P4bLDgv0erBQMa1buTNQW7tA@mail.gmail.com>
In-Reply-To: <CAHk-=whwEAc22wm8h9FESPB5X+P4bLDgv0erBQMa1buTNQW7tA@mail.gmail.com>
Accept-Language: en-GB, en-US
MIME-Version: 1.0
Content-Language: en-US
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: base64
Precedence: bulk

RnJvbTogTGludXMgVG9ydmFsZHMNCj4gU2VudDogVHVlc2RheSwgQXVndXN0IDIyLCAyMDIzIDY6
MzYgUE0NCj4gDQo+IE9uIE1vbiwgMjEgQXVnIDIwMjMgYXQgMTE6MjQsIEtlZXMgQ29vayA8a2Vl
c2Nvb2tAY2hyb21pdW0ub3JnPiB3cm90ZToNCj4gPg0KPiA+IEl0IHNlZW1zIGxpa2UgdGhlIGZv
b3QtZ3VuIHByb2JsZW1zIGFyZSB3aGVuIGEgdmFsdWUgZ2V0cyBjbGFtcGVkIGJ5IHRoZQ0KPiA+
IGltcG9zZWQgdHlwZS4gQ2FuJ3Qgd2UganVzdCB3YXJuIGFib3V0IHRob3NlIGNhc2VzPw0KPiAN
Cj4gSSB0aGluayB0aGF0IHRoZSBwcm9ibGVtIHdpdGggbWluX3QoKSBpcyB0aGF0IGl0IGlzIHVz
ZWQgYXMgYSByYW5kb20NCj4gIndoZW4gbWluKCkgd2FybnMgYWJvdXQgZGlmZmVyZW50IHR5cGVz
IiwgYW5kIHRoYXQgaXQgYmFzaWNhbGx5IGp1c3QNCj4gYWRkcyBhIGNhc3Qgd2l0aG91dCBhbnkg
c2VtYW50aWMgbWVhbmluZy4NCj4gDQo+IEVuZCByZXN1bHQ6IHdlIGN1cnJlbnRseSBoYXZlIDQ1
MDArIG9mIHRob3NlIGNhc2VzIChhbmQgYW5vdGhlciAxMzAwDQo+IHVzZXMgb2YgJ21heF90Jykg
YW5kIEkgYmV0IHRoYXQgc2V2ZXJhbCBvZiB0aGVtIGFyZSB0aGUgbmFycm93aW5nDQo+IGtpbmQu
IEFuZCBzb21lIGFyZSBwcm9iYWJseSB2YWxpZC4NCj4gDQo+IEFuZCBpZiB3ZSB0aWdodGVuIHVw
ICJtaW5fdCgpIiB0eXBlIHJ1bGVzLCB3ZSdsbCBqdXN0IGhpdCB0aGUgKm5leHQqDQo+IHByb2Js
ZW0gaW4gdGhlIHNlcmllcywgbmFtZWx5ICJ3aGF0IGFyZSBwZW9wbGUgZ29pbmcgdG8gZG8gbm93
PyINCj4gDQo+IFdlIGRvbid0IHdhbnQgdG8ganVzdCBrZWVwIHB1c2hpbmcgdGhlIHByb2JsZW0g
ZG93bi4NCj4gDQo+IFNvIEkgYWN0dWFsbHkgbW9zdGx5IGxpa2VkIGFsbCB0aGUgKm90aGVyKiBw
YXRjaGVzIGluIERhdmlkJ3Mgc2VyaWVzOg0KPiB1c2luZyAnbWluX3Vuc2lnbmVkKCknIGFuZCBm
cmllbmRzIGFkZHMgYSBuaWNlICpzZW1hbnRpYyogbGF5ZXIsIG5vdA0KPiBqdXN0IGEgY2FzdC4g
QW5kIHJlbGF4aW5nIHRoZSBjaGVja2luZyBvZiBtaW4vbWF4IGRvZXNuJ3QgY2F1c2UgdGhlDQo+
IHNhbWUgdGhlICJwdXNoIHByb2JsZW1zIGRvd24iIGlzc3VlLCBhcyBsb25nIGFzIHRoZSByZWxh
eGluZyBpcw0KPiByZWFzb25hYmxlLg0KPiANCj4gKFNpZGUgbm90ZTogSSdtIG5vdCBjb252aW5j
ZWQgJ21pbl91bnNpZ25lZCgpJyBpcyB0aGUgcmlnaHQgc3ludGF4Lg0KPiBXaGlsZSBJIGxpa2Ug
dGhlIGNvbmNlcHQsIEkgdGhpbmsgJ21pbigpJyBpcyBvZnRlbiB1c2VkIGFzIGEgcGFydCBvZg0K
PiBvdGhlciBleHByZXNzaW9ucywgYW5kICdtaW5fdW5zaWduZWQoKScgZW5kcyB1cCBtYWtpbmcg
Zm9yIGEgdmVyeQ0KPiBpbGxlZ2libGUgbG9uZyBhbmQgY29tcGxleCB0aGluZy4gSSB0aGluayB3
ZSBtaWdodCBhcyB3ZWxsIHVzZQ0KPiAndW1pbigpL3VtYXgoKScsIG1hdGNoaW5nIG91ciB0eXBl
IHN5c3RlbSkuDQoNClBpY2tpbmcgYSBuYW1lIGlzIGxpa2UgcGFpbnRpbmcgdGhlIGJpa2Utc2hl
ZCA6LSkNCg0KPiBJdCdzIGp1c3QgdGhhdCBJIHZlcnkgbXVjaCBkb24ndCB0aGluayBpdCdzIHJl
YXNvbmFibGUgdG8gcmVsYXggIjIwdSINCj4gKG9yIC0gbW9yZSBjb21tb25seSAtIHNpemVvZikg
dG8gYmUgYW55IHJhbmRvbSBjb25zdGFudCBzaWduZWQNCj4gaW50ZWdlciwgYW5kIGl0IHNob3Vs
ZCAqbm90KiBjb21wYXJlIHdlbGwgd2l0aCBzaWduZWQgaW50ZWdlcnMgYW5kIG5vdA0KPiBzaWxl
bnRseSBiZWNvbWUgYSBzaWduZWQgY29tcGFyZS4NCj4gDQo+IChCdXQgSSBkbyB0aGluayB0aGF0
IGl0J3MgdmVyeSBvayB0byBnbyB0aGUgb3RoZXIgd2F5OiBjb21wYXJlIGENCj4gX3Vuc2lnbmVk
XyB2YWx1ZSB3aXRoIGEgInNpZ25lZCIgY29uc3RhbnQgaW50ZWdlciBsaWtlIDIwLiBUaGUgdHdv
DQo+IGNhc2VzIGFyZSBub3Qgc3ltbWV0cmljYWw6ICcyMCcgY2FuIGJlIGEgcGVyZmVjdGx5IGZp
bmUgdW5zaWduZWQNCj4gdmFsdWUsIGJ1dCAnMjB1JyBjYW5ub3QgYmUgdHJlYXRlZCBzaWduZWQp
Lg0KDQpJJ2xsIHJlYmFzZSB0aGUgcGF0Y2ggYWZ0ZXIgdGhlIG5leHQgLXJjMSBpcyBvdXQgd2l0
aCB0aGF0IHJlbW92ZWQuIA0KDQo+IEFuZCB3aGlsZSBJIGRvbid0IGxpa2UgRGF2aWQncyBwYXRj
aCB0byBzaWxlbnRseSB0dXJuIHVuc2lnbmVkDQo+IGNvbnN0YW50IHNpZ25lZCwgSSBkbyBhY2tu
b3dsZWRnZSB0aGF0IHZlcnkgb2Z0ZW4gdGhlICpzb3VyY2UqIG9mIHRoZQ0KPiB1bnNpZ25lZG5l
c3MgaXMgYSAnc2l6ZW9mKCknIGV4cHJlc3Npb24sIGFuZCB0aGVuIHlvdSBoYXZlIGFuIGludGVn
ZXINCj4gdGhhdCBnZXRzIGNvbXBhcmVkIHRvIGEgc2l6ZSwgYW5kIHlvdSBlbmQgdXAgdXNpbmcg
J21pbl90KCknLiBCdXQgSSBkbw0KPiAqTk9UKiB3YW50IHRvIGZpeCB0aG9zZSBjYXNlcyBieSBp
Z25vcmluZyB0aGUgc2lnbmVkbmVzcy4NCj4gDQo+IEp1c3QgYSBxdWljayBncmVwIG9mDQo+IA0K
PiAgICAgZ2l0IGdyZXAgJ21pbl90KHNpemVfdCcgfCB3Yw0KPiANCj4gc2hvd3MgdGhhdCBxdWl0
ZSBhIGxvdCBvZiB0aGUgJ21pbl90KCknIGNhc2VzIGFyZSB0aGlzIGV4YWN0IGlzc3VlLg0KPiBC
dXQgSSBhYnNvbHV0ZWx5IGRvICpub3QqIHRoaW5rIHRoZSBzb2x1dGlvbiBpcyB0byByZWxheCAn
bWluKCknLg0KDQpzaXplX3QgaXMgYWN0dWFsbHkgYSBwcm9ibGVtIHdpdGggdW5zaWduZWQgY29u
c3RhbnRzLg0KSXQgaXMgJ3Vuc2lnbmVkIGludCcgb24gMzJiaXQgYW5kICd1bnNpZ25lZCBsb25n
JyBvbiA2NGJpdC4NCk1ha2luZyBpdCBoYXJkIHRvIHVzZSBhIGxpdGVyYWwuDQoNCj4gSSBzdXNw
ZWN0IHRoZSBmaXggdG8gdGhvc2UgY2FzZXMgaXMgdG8gbXVjaCBtb3JlIGVhZ2VybHkgdXNlDQo+
ICdjbGFtcCgpJy4gQWxtb3N0IGV2ZXJ5IHNpbmdsZSB0aW1lIHlvdSBkbyBhICJjb21wYXJlIHRv
IGEgc2l6ZSIsIGl0DQo+IHJlYWxseSBpcyAibWFrZSBzdXJlIHRoZSBpbnRlZ2VyIGlzIHdpdGhp
biB0aGUgc2l6ZSByYW5nZSIuIFNvIHdoaWxlDQo+IA0KPiAgICAgaW50IHZhbA0KPiAgICAuLi4N
Cj4gICAgIHggPSBtaW4odmFsLHNpemVvZih4eXopKTsNCj4gDQo+IGlzIGhvcnJlbmRvdXNseSB3
cm9uZyBhbmQgKnNob3VsZCogd2FybiwNCg0KVGhlIGRpZmZpY3VsdHkgaXMgZ2V0dGluZyBwZW9w
bGUgdG8gY29ycmVjdCBpdCBieSBjaGFuZ2luZw0KdGhlIHR5cGUgb24gJ3ZhbCcgdG8gYmUgdW5z
aWduZWQuDQpTb21ldGltZXMgaXQgaXMganVzdCBhIGxvY2FsIHZhcmlhYmxlLg0KT2Z0ZW4gaXQg
anVzdCBjYW4ndCBldmVyIGJlIG5lZ2F0aXZlLCBvciB0aGVyZSBpcyBhbiBpbW1lZGlhdGVseQ0K
cHJlY2VkaW5nIGNoZWNrLg0KDQpJbmRlZWQgaWYgaXQgaXMgbmVnYXRpdmUgdGhhdCBpcyBwcm9i
YWJseSBhIGJ1Zy4NCihlZyBhIG1pc3NpbmcgZXJyb3IgY2hlY2sgZnJvbSBhbiBlYXJsaWVyIGNh
bGwuKQ0KTm8gYW1vdW50IG9mIGNvbXBpbGUtdGltZSBjaGVja2luZyBpcyBnb2luZyB0byBoZWxw
Lg0KQWJvdXQgdGhlIG9ubHkgdGhpbmcgdGhhdCB3b3VsZCBoZWxwIHdvdWxkIGJlIGEgcnVuLXRp
bWUNCmNoZWNrIGFuZCBhICdnb3RvIGxhYmVsJyBpZiBuZWdhdGl2ZS4NCg0KVGhlcmUgYXJlIHBs
ZW50eSBvZiBwbGFjZXMgd2hlcmUgYSAoc2hvcnQpIGJ1ZmZlciBsZW5ndGggaXMNCnBhc3NlZCB0
byBhIGZ1bmN0aW9uIGFzICdpbnQnIC0gZXZlbiB0aG91Z2ggbmVnYXRpdmUgdmFsdWVzDQphcmUg
Y29tcGxldGVseSBpbnZhbGlkLg0KSW4gcmVhbGl0eSB0aGUgdHlwZSBjaGFuZ2UgbmVlZHMgJ2No
YXNpbmcgYmFjaycgdGhyb3VnaCB0bw0KYWxsIHRoZSBjYWxsZXJzLg0KDQo+IEkgdGhpbmsgZG9p
bmcNCj4gDQo+ICAgIHggPSBjbGFtcCh2YWwsIDAsIHNpemVvZih4eXopKTsNCj4gDQo+IGlzIGEg
Km11Y2gqIG5pY2VyIG1vZGVsLCBhbmQgc2hvdWxkIG5vdCB3YXJuIGV2ZW4gaWYgInZhbCIgYW5k
IHRoZQ0KPiB1cHBlciBib3VuZCBkbyBub3QgYWdyZWUuIEluIHRoZSBhYm92ZSBraW5kIG9mIHNp
dHVhdGlvbiwgc3VkZGVubHkgaXQNCj4gKmlzKiBvayB0byB0cmVhdCB0aGUgJ3NpemVvZigpJyBh
cyBhIHNpZ25lZCBpbnRlZ2VyLCBidXQgb25seSBiZWNhdXNlDQo+IHdlIGhhdmUgdGhhdCBleHBs
aWNpdCBsb3dlciBib3VuZCB0b28uDQoNClRoYXQgd291bGQgcmVxdWlyZSBtYWpvciByZXdvcmsg
b24gY2xhbXAoKSA6LSkNCg0KSXQgd291bGQgYWxzbyBiZSBuaWNlIHRvIGdldCBjbGFtcCh1bnNp
Z25lZF92YXIsIDB1LCAyMHUpIHRvDQpjb21waWxlIHdpdGhvdXQgdGhlIGFubm95aW5nIHdhcm5p
bmcgZnJvbSB0aGUgY29tcGlsZXIuDQpJIHRoaW5rIHlvdSBoYXZlIHRvIHVzZToNCglidWlsdGlu
X2Nob29zZV9leHByKHgsIHZhciwgMCkgPj0gYnVpbHRpbl9jaG9vc2VfZXhwcih4LCBsb3csIDAp
DQoNCj4gSW4gb3RoZXIgd29yZHM6IHdlIHNob3VsZCBub3QgInRyeSB0byBmaXggdGhlIHR5cGVz
Ii4gVGhhdCB3YXMgd2hhdA0KPiBjYXVzZWQgdGhlIHByb2JsZW0gaW4gdGhlIGZpcnN0IHBsYWNl
LCB3aXRoICJtaW5fdCgpIiBqdXN0IHRyeWluZyB0bw0KPiBmaXggdGhlIHR5cGUgbWlzbWF0Y2gg
d2l0aCBhIGNhc3QuIENhc3RzIGFyZSB3cm9uZywgYW5kIHdlIHNob3VsZCBoYXZlDQo+IGtub3du
IHRoYXQuIFRoZSBlbmQgcmVzdWx0IGlzIGhvcnJlbmRvdXMsIGFuZCBJIGRvIGFncmVlIHdpdGgg
RGF2aWQgb24NCj4gdGhhdCB0b28uDQoNClNvbWUgb2YgdGhlIHdvcnN0IGNhc3RzIGFyZSB0aGUg
b25lcyB0aGF0IGFyZSBvbmx5IHRoZXJlIGZvciBzcGFyc2UuDQpUaGUgY29tcGlsZXIgc2VlcyAn
KGZvcmNlIF9fYmUzMil2YXInIGFzICcodWludCl2YXInIHJhdGhlciB0aGFuICd2YXInLg0KVGhh
dCByZWFsbHkgb3VnaHQgdG8gYWx3YXlzIGhhdmUgYmVlbiAnZm9yY2UoX19iZTMyLCB2YXIpJyBz
byB0aGF0DQppdCBjYW4gYmUgbWFkZSB0cmFuc3BhcmVudCB0byB0aGUgY29tcGlsZXIuDQoNCj4g
SSB0aGluayB3ZSBzaG91bGQgc3RyaXZlIHRvIGZpeCBpdCB3aXRoICJzZW1hbnRpYyIgZml4ZXMg
aW5zdGVhZC4gTGlrZQ0KPiB0aGUgYWJvdmUgInVzZSBjbGFtcCgpIGluc3RlYWQgb2YgbWluKCks
IGFuZCB0aGUgZnVuZGFtZW50YWwNCj4gc2lnbmVkbmVzcyBwcm9ibGVtIHNpbXBseSBnb2VzIGF3
YXkgYmVjYXVzZSBpdCBoYXMgZW5vdWdoIHNlbWFudGljDQo+IG1lYW5pbmcgdG8gYmUgd2VsbC1k
ZWZpbmVkIi4NCg0KVW5mb3J0dW5hdGVseSBpdCBhZGRzIGFuIGV4dHJhIGNvbXBhcmUgYW5kIGJy
YW5jaCB0byBnZXQgbWlzLXByZWRpY3RlZC4NCg0KCURhdmlkDQoNCi0NClJlZ2lzdGVyZWQgQWRk
cmVzcyBMYWtlc2lkZSwgQnJhbWxleSBSb2FkLCBNb3VudCBGYXJtLCBNaWx0b24gS2V5bmVzLCBN
SzEgMVBULCBVSw0KUmVnaXN0cmF0aW9uIE5vOiAxMzk3Mzg2IChXYWxlcykNCg==