Received: by 2002:a05:6a10:1a4d:0:0:0:0 with SMTP id nk13csp3738085pxb; Fri, 4 Feb 2022 15:31:23 -0800 (PST) X-Google-Smtp-Source: ABdhPJyd5cQhkB891OmY1cqWK9Y7loW1zC2Z3HiNrvePAp45YGhhuGLdIipmrcmUKXUd4f1wcSUe X-Received: by 2002:a17:90b:4b01:: with SMTP id lx1mr5847807pjb.158.1644017483423; Fri, 04 Feb 2022 15:31:23 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1644017483; cv=none; d=google.com; s=arc-20160816; b=q/p5iuvqizsPqNaElKbJScR/YA3iFG/6DNeRoLHkgKCqruc8jLgY+MasP1cNaODA86 49DmwW9/Yk6gF2p+Yk3ErNkOC5fi/ti/QjtzcauFfN0Aoyvq4Lwmj8aAeqXmJnhoEJeg qqjFAR0pws4rdMZSbPCsLgW5Pc4t6MWAhPZeNbME/kTmrXIAuJPoI9n0hmDMl+uCbjUL dqHdgbRcWoxt7dCyBkPIHiDgFJ5wbWzhCDKbndP65XQgJ2bRtmo02//LJHikTfT3LuNy K1OJsWkgi5XxsY5x2vpp82aLRHeXxF7MewzF/kYikc7ULG0ASzfz4gjwZ1NDh/lqt5V+ nr+A== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:content-transfer-encoding:content-language :mime-version:accept-language:in-reply-to:references:message-id:date :thread-index:thread-topic:subject:cc:to:from; bh=zFdBQWmeeBUCuesT2dUPwsdR30aS154f1JatyZoe2rM=; b=O0YcqEOKDlbTSsNm/eCmbLNSzsPXgAtu4miODEOomXBHU3ppJEEK8lJ4oHnlTfiXYR Emd8vEWRmjTO93Byjicv4jj9+M8AtXjFClPqwnxLiyVUodhSPj5r7YsVBJVuWv9omonf ospFaZAypavAXg8yUxwfEBIrWei9Bwd7b42FQZ1loz8tVXwKUk/+ldrPJLqFe3DIWxd2 OUkN735V5GxbhHTC0VRVvAqhjZU9T/DrDHsioDEuG/RkDejObLaj/yMoKrrpW0+XYxIs 4lyEaPaTnQCDcpoMbT3LoGh7tdeT/DzArCBxPz4NTaJ1FGRyt5Y4+2AqNOp1FXKY40/K BNvg== ARC-Authentication-Results: i=1; mx.google.com; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=aculab.com Return-Path: Received: from out1.vger.email (out1.vger.email. [2620:137:e000::1:20]) by mx.google.com with ESMTP id r141si1040120pfc.32.2022.02.04.15.31.11; Fri, 04 Feb 2022 15:31:23 -0800 (PST) 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; Authentication-Results: mx.google.com; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=aculab.com Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1347934AbiBBWmx (ORCPT + 99 others); Wed, 2 Feb 2022 17:42:53 -0500 Received: from eu-smtp-delivery-151.mimecast.com ([185.58.85.151]:53833 "EHLO eu-smtp-delivery-151.mimecast.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1347930AbiBBWmq (ORCPT ); Wed, 2 Feb 2022 17:42:46 -0500 Received: from AcuMS.aculab.com (156.67.243.121 [156.67.243.121]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.2, cipher=TLS_ECDHE_RSA_WITH_AES_256_CBC_SHA384) id uk-mta-222-4tYY-hjeOVu5KHCJ3wWYMA-1; Wed, 02 Feb 2022 22:42:38 +0000 X-MC-Unique: 4tYY-hjeOVu5KHCJ3wWYMA-1 Received: from AcuMS.Aculab.com (fd9f:af1c:a25b:0:994c:f5c2:35d6:9b65) by AcuMS.aculab.com (fd9f:af1c:a25b:0:994c:f5c2:35d6:9b65) with Microsoft SMTP Server (TLS) id 15.0.1497.28; Wed, 2 Feb 2022 22:42:34 +0000 Received: from AcuMS.Aculab.com ([fe80::994c:f5c2:35d6:9b65]) by AcuMS.aculab.com ([fe80::994c:f5c2:35d6:9b65%12]) with mapi id 15.00.1497.028; Wed, 2 Feb 2022 22:42:34 +0000 From: David Laight To: 'Rasmus Villemoes' , 'Kees Cook' , Jonathan Corbet CC: Linus Torvalds , Martin Uecker , Ingo Molnar , Miguel Ojeda , Rikard Falkeborn , Arnd Bergmann , "linux-doc@vger.kernel.org" , Tetsuo Handa , Andrew Morton , Andy Shevchenko , Nick Desaulniers , "Gustavo A. R. Silva" , "linux-kernel@vger.kernel.org" , "linux-hardening@vger.kernel.org" Subject: RE: [PATCH] linux/const.h: Explain how __is_constexpr() works Thread-Topic: [PATCH] linux/const.h: Explain how __is_constexpr() works Thread-Index: AQHYFuNHRL4oDGFcTkyEh79ubpGBJ6yAbZqwgABP1oCAAB82kA== Date: Wed, 2 Feb 2022 22:42:34 +0000 Message-ID: <91f0956687b341a9861f467aafe6dc4d@AcuMS.aculab.com> References: <20220131204357.1133674-1-keescook@chromium.org> <6641e01b86374ce197020d57c65ae3b3@AcuMS.aculab.com> <311c9ca5-e2d4-22fb-0299-d47f84470677@prevas.dk> In-Reply-To: <311c9ca5-e2d4-22fb-0299-d47f84470677@prevas.dk> Accept-Language: en-GB, en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-ms-exchange-transport-fromentityheader: Hosted x-originating-ip: [10.202.205.107] MIME-Version: 1.0 Authentication-Results: relay.mimecast.com; auth=pass smtp.auth=C51A453 smtp.mailfrom=david.laight@aculab.com X-Mimecast-Spam-Score: 0 X-Mimecast-Originator: aculab.com Content-Language: en-US Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: base64 Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org RnJvbTogUmFzbXVzIFZpbGxlbW9lcw0KPiBTZW50OiAwMiBGZWJydWFyeSAyMDIyIDIwOjQ0DQo+ IA0KPiBPbiAwMi8wMi8yMDIyIDE3LjE5LCBEYXZpZCBMYWlnaHQgd3JvdGU6DQo+ID4gRnJvbTog S2VlcyBDb29rDQo+ID4+IFNlbnQ6IDMxIEphbnVhcnkgMjAyMiAyMDo0NA0KPiA+Pg0KPiA+PiBU aGUgX19pc19jb25zdGV4cHIoKSBtYWNybyBpcyBkYXJrIG1hZ2ljLiBTaGVkIHNvbWUgbGlnaHQg b24gaXQgd2l0aA0KPiA+PiBhIGNvbW1lbnQgdG8gZXhwbGFpbiBob3cgYW5kIHdoeSBpdCB3b3Jr cy4NCj4gPj4NCj4gPiAuLi4NCj4gPj4gZGlmZiAtLWdpdCBhL2luY2x1ZGUvbGludXgvY29uc3Qu aCBiL2luY2x1ZGUvbGludXgvY29uc3QuaA0KPiA+PiBpbmRleCA0MzVkZGQ3MmQyYzQuLjcxMjJk NmExZjhjZSAxMDA2NDQNCj4gPj4gLS0tIGEvaW5jbHVkZS9saW51eC9jb25zdC5oDQo+ID4+ICsr KyBiL2luY2x1ZGUvbGludXgvY29uc3QuaA0KPiA+PiBAQCAtNyw2ICs3LDMwIEBADQo+ID4+ICAg KiBUaGlzIHJldHVybnMgYSBjb25zdGFudCBleHByZXNzaW9uIHdoaWxlIGRldGVybWluaW5nIGlm IGFuIGFyZ3VtZW50IGlzDQo+ID4+ICAgKiBhIGNvbnN0YW50IGV4cHJlc3Npb24sIG1vc3QgaW1w b3J0YW50bHkgd2l0aG91dCBldmFsdWF0aW5nIHRoZSBhcmd1bWVudC4NCj4gPj4gICAqIEdsb3J5 IHRvIE1hcnRpbiBVZWNrZXIgPE1hcnRpbi5VZWNrZXJAbWVkLnVuaS1nb2V0dGluZ2VuLmRlPg0K PiA+PiArICoNCj4gPj4gKyAqIERldGFpbHM6DQo+ID4+ICsgKiAtIHNpemVvZigpIGlzIGFuIGlu dGVnZXIgY29uc3RhbnQgZXhwcmVzc2lvbiwgYW5kIGRvZXMgbm90IGV2YWx1YXRlIHRoZQ0KPiA+ PiArICogICB2YWx1ZSBvZiBpdHMgb3BlcmFuZDsgaXQgb25seSBleGFtaW5lcyB0aGUgdHlwZSBv ZiBpdHMgb3BlcmFuZC4NCj4gPj4gKyAqIC0gVGhlIHJlc3VsdHMgb2YgY29tcGFyaW5nIHR3byBp bnRlZ2VyIGNvbnN0YW50IGV4cHJlc3Npb25zIGlzIGFsc28NCj4gPj4gKyAqICAgYW4gaW50ZWdl ciBjb25zdGFudCBleHByZXNzaW9uLg0KPiA+PiArICogLSBUaGUgdXNlIG9mIGxpdGVyYWwgIjgi IGlzIHRvIGF2b2lkIHdhcm5pbmdzIGFib3V0IHVuYWxpZ25lZCBwb2ludGVyczsNCj4gPj4gKyAq ICAgdGhlc2UgY291bGQgb3RoZXJ3aXNlIGp1c3QgYmUgIjEicy4NCj4gPj4gKyAqIC0gKGxvbmcp KHgpIGlzIHVzZWQgdG8gYXZvaWQgd2FybmluZ3MgYWJvdXQgNjQtYml0IHR5cGVzIG9uIDMyLWJp dA0KPiA+PiArICogICBhcmNoaXRlY3R1cmVzLg0KPiA+PiArICogLSBUaGUgQyBzdGFuZGFyZCBk ZWZpbmVzIGFuICJpbnRlZ2VyIGNvbnN0YW50IGV4cHJlc3Npb24iIGFzIGRpZmZlcmVudA0KPiA+ PiArICogICBmcm9tIGEgIm51bGwgcG9pbnRlciBjb25zdGFudCIgKGFuIGludGVnZXIgY29uc3Rh bnQgMCBwb2ludGVyKS4NCj4gPj4gKyAqIC0gVGhlIGNvbmRpdGlvbmFsIG9wZXJhdG9yICgiLi4u ID8gLi4uIDogLi4uIikgcmV0dXJucyB0aGUgdHlwZSBvZiB0aGUNCj4gPj4gKyAqICAgb3BlcmFu ZCB0aGF0IGlzbid0IGEgbnVsbCBwb2ludGVyIGNvbnN0YW50LiBUaGlzIGJlaGF2aW9yIGlzIHRo ZQ0KPiA+PiArICogICBjZW50cmFsIG1lY2hhbmlzbSBvZiB0aGUgbWFjcm8uDQo+ID4+ICsgKiAt IElmICh4KSBpcyBhbiBpbnRlZ2VyIGNvbnN0YW50IGV4cHJlc3Npb24sIHRoZW4gdGhlICIqIDBs IiByZXNvbHZlcyBpdA0KPiA+PiArICogICBpbnRvIGEgbnVsbCBwb2ludGVyIGNvbnN0YW50LCB3 aGljaCBmb3JjZXMgdGhlIGNvbmRpdGlvbmFsIG9wZXJhdG9yDQo+ID4+ICsgKiAgIHRvIHJldHVy biB0aGUgdHlwZSBvZiB0aGUgbGFzdCBvcGVyYW5kOiAiKGludCAqKSIuDQo+ID4+ICsgKiAtIElm ICh4KSBpcyBub3QgYW4gaW50ZWdlciBjb25zdGFudCBleHByZXNzaW9uLCB0aGVuIHRoZSB0eXBl IG9mIHRoZQ0KPiA+PiArICogICBjb25kaXRpb25hbCBvcGVyYXRvciBpcyBmcm9tIHRoZSBmaXJz dCBvcGVyYW5kOiAiKHZvaWQgKikiLg0KPiA+PiArICogLSBzaXplb2YoaW50KSA9PSA0IGFuZCBz aXplb2Yodm9pZCkgPT0gMS4NCj4gPj4gKyAqIC0gVGhlIHVsdGltYXRlIGNvbXBhcmlzb24gdG8g InNpemVvZihpbnQpIiBjaG9vc2VzIGJldHdlZW4gZWl0aGVyOg0KPiA+PiArICogICAgIHNpemVv ZigqKChpbnQgKikgKDgpKSA9PSBzaXplb2YoaW50KSAgICh4IHdhcyBhIGNvbnN0YW50IGV4cHJl c3Npb24pDQo+ID4+ICsgKiAgICAgc2l6ZW9mKCooKHZvaWQgKikoOCkpID09IHNpemVvZih2b2lk KSAgKHggd2FzIG5vdCBhIGNvbnN0YW50IGV4cHJlc3Npb24pDQo+ID4+ICAgKi8NCj4gPj4gICNk ZWZpbmUgX19pc19jb25zdGV4cHIoeCkgXA0KPiA+PiAgCShzaXplb2YoaW50KSA9PSBzaXplb2Yo Kig4ID8gKCh2b2lkICopKChsb25nKSh4KSAqIDBsKSkgOiAoaW50ICopOCkpKQ0KPiA+DQo+ID4g VGhpcyBoYXMgYmVlbiBtYWtpbmcgbXkgaGVhZCBodXJ0IGFsbCBkYXkuDQo+ID4gVGhlIGFib3Zl IGlzbid0IHJlYWxseSBhIHRydWUgZGVzY3JpcHRpb24gLSA/OiBkb2Vzbid0IHdvcmsgdGhhdCB3 YXkuDQo+ID4gVHJ5IHRoZSBmb2xsb3dpbmcgZm9yIHNpemU6DQo+ID4NCj4gPiAtIFRoZSBjb25k aXRpb25hbCBvcGVyYXRvciAoPzopIHJlcXVpcmVzIHRoYXQgYm90aCBleHByZXNzaW9ucyBoYXZl IHRoZQ0KPiA+ICAgdGhlIHNhbWUgdHlwZSAoYWZ0ZXIgbnVtZXJpYyBwcm9tb3Rpb25zKS4NCj4g DQo+IE5vLiBQbGVhc2UgcmVhZCA2LjUuMTUuMyBmb3IgdGhlIHByZWNvbmRpdGlvbnMsIGFuZCA2 LjUuMTUuNSBhbmQNCj4gNi41LjE1LjYgZm9yIHRoZSBydWxlcyBnb3Zlcm5pbmcgdGhlIHR5cGUg b2YgdGhlIHdob2xlIGV4cHJlc3Npb24uDQo+IA0KPiA+ICAgVGhlIHR5cGUgb2YgdGhlIHJlc3Vs dCBpcyBhIGNvbXBpbGUgdGltZSBjb25zdGFudCBhbmQgZG9lc24ndCBkZXBlbmQgb24gYW55DQo+ ID4gICB2YXJpYWJsZXMuDQo+IA0KPiBZZXMsIHRoZSB0eXBlIG9mIGFueSBleHByZXNzaW9uIGlu IEMgaXMga25vd24gYXQgY29tcGlsZSB0aW1lLCBhbmQgaXMNCj4gZGV0ZXJtaW5lZCB2aWEgdGhl IHJ1bGVzIGluIHRoZSBDIHN0YW5kYXJkLiBJIHdvdWxkbid0IGNhbGwgaXQgYQ0KPiAiY29tcGls ZSB0aW1lIGNvbnN0YW50IiB0aG91Z2guDQo+IA0KPiA+IC0gSWYgdGhlIGV4cHJlc3Npb25zIGhh dmUgZGlzdGluY3Qgbm9uLU5VTEwgcG9pbnRlciB0eXBlcyB0aGVuIHRoZXkgYXJlIGJvdGgNCj4g PiAgIGNhc3QgdG8gKHZvaWQgKikgYW5kIHRoZSByZXN1bHQgaGFzIHR5cGUgJ3ZvaWQgKicuDQo+ IA0KPiBXcm9uZy4NCg0KZ2FoIHNlcnZlciBtZSByaWdodCBmb3IgdXNpbmcgZ29kYm9sdCB0byB0 ZXN0IGl0Lg0KDQo+IA0KPiA+IC0gQSBOVUxMIHBvaW50ZXIgY2FuIGJlIG1hZGUgZnJvbSBhbnkg aW50ZWdlciBjb25zdGFudCBleHByZXNzaW9uIHRoYXQNCj4gPiAgIGV2YWx1YXRlcyB0byAwLCBu b3QganVzdCBhIGxpdGVyYWwgMC4NCj4gPiAtIFNvIHRoZSB0eXBlIG9mICgwID8gKHZvaWQgKiko eCkgOiAoaW50ICopOCkgaXMgJ2ludCAqJyBpZiAoeCkgaXMgemVybw0KPiA+ICAgKGJlY2F1c2Ug b2YgdGhlIE5VTEwpIGFuZCAodm9pZCAqKSBvdGhlcndpc2UgYmVjYXVzZSB0aGUgcG9pbnRlciB0 eXBlcw0KPiA+ICAgZG9uJ3QgbWF0Y2guDQo+IA0KPiBUaGF0J3MgYmFzaWNhbGx5IGhvdyB0aGlz IG1hY3JvIHdvcmtzLCBidXQgIlNvIiBpcyBub3Qgd2FycmFudGVkIGFzIGl0DQo+IGRvZXMgbm90 IGZvbGxvdyBmcm9tIGFueSBvZiB0aGUgcHJldmlvdXMsIHdyb25nLCBzdGF0ZW1lbnRzLg0KPiAN Cj4gPiBZb3UgY2FuIHRlc3QgdGhpcyBieSBldmFsdWF0aW5nOg0KPiA+IAlzaXplb2YgKigwID8g KGZsb2F0ICopNCA6IChpbnQgKik0KQ0KPiANCj4gVGhhdCdzIGFuIGlsbC1mb3JtZWQgY29uZGl0 aW9uYWwgb3BlcmF0b3IsIGFuZCBnY2Mgc2F5cyBhcyBtdWNoIGV2ZW4NCj4gd2l0aG91dCBhbnkg LVdhbGwgaW4gZWZmZWN0Lg0KPiANCj4gd2FybmluZzogcG9pbnRlciB0eXBlIG1pc21hdGNoIGlu IGNvbmRpdGlvbmFsIGV4cHJlc3Npb24NCj4gICAgIDggfCAgcmV0dXJuIHNpemVvZigqKDAgPyAo ZmxvYXQgKik0IDogKGludCAqKTQpKTsNCj4gDQo+IA0KPiA+IFRoaXMgaXMgMSBiZWNhdXNlIG9m IHRoZSBpbXBsaWNpdCAodm9pZCAqKSBjYXN0Lg0KPiANCj4gVGhlcmUgaXMgbm8gc3VjaCB0aGlu Zy4NCg0KT2sgbGV0J3MgdHJ5IGFnYWluLi4uDQpUaGUgY29tcGlsZXIgbmVlZHMgdG8gZmluZCBh ICdjb21wYXRpYmxlIHR5cGUnIGVpdGhlciBmb3I6DQoJKHZvaWQgKil4CWFuZAkoaW50ICopOA0K b3IgZm9yOg0KCSh2b2lkICopMAlhbmQJKGludCAqKTgNCkluIHRoZSBmb3JtZXIgaXQgaXMgJ3Zv aWQgKicgYW5kIHRoZSBsYXR0ZXIgJ2ludCAqJyBiZWNhdXNlIHRoZSAodm9pZCAqKTANCmlzIE5V TEwgYW5kIHRodXMgYSB2YWxpZCAnaW50IConIHBvaW50ZXIuDQoNCkluIGFueSBjYXNlIHN1Z2dl c3RpbmcgdGhhdCBpdCBpcyBiYXNlZCBvbiB0aGUgdmFsdWUgYmVmb3JlIHRoZSA/IGlzIGJvZ3Vz Lg0KDQpUaGF0IGlzIHByb2JhYmx5IGEgcmVhc29uYWJsZSBkZXNjcmlwdGlvbi4NCg0KCURhdmlk DQoNCi0NClJlZ2lzdGVyZWQgQWRkcmVzcyBMYWtlc2lkZSwgQnJhbWxleSBSb2FkLCBNb3VudCBG YXJtLCBNaWx0b24gS2V5bmVzLCBNSzEgMVBULCBVSw0KUmVnaXN0cmF0aW9uIE5vOiAxMzk3Mzg2 IChXYWxlcykNCg==