From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail1.med.uni-goettingen.de (mail1.med.uni-goettingen.de [134.76.103.230]) by sourceware.org (Postfix) with ESMTPS id 451FE3857815 for ; Mon, 21 Dec 2020 10:28:12 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.3.2 sourceware.org 451FE3857815 Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=med.uni-goettingen.de Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=prvs=062477315e=martin.uecker@med.uni-goettingen.de Received: from umg-exc-3.ads.local.med.uni-goettingen.de ([10.76.100.70]:65334) by mail1.med.uni-goettingen.de with esmtps (TLSv1:DHE-RSA-AES256-SHA:256) (Exim 4.82_1-5b7a7c0-XX) (envelope-from ) id 1krIQC-00024Z-1f; Mon, 21 Dec 2020 11:28:08 +0100 Received: from UMG-EXC-1.ads.local.med.uni-goettingen.de ([fe80::c97f:60fd:6a2d:e4b9]) by umg-exc-3.ads.local.med.uni-goettingen.de ([fe80::f513:fb91:9f16:b175%13]) with mapi id 14.03.0487.000; Mon, 21 Dec 2020 11:28:07 +0100 From: "Uecker, Martin" To: "gcc-patches@gcc.gnu.org" CC: "joseph@codesourcery.com" Subject: [C PATCH] qualifiers of pointers to arrays in C2X [PR 98397] Thread-Topic: [C PATCH] qualifiers of pointers to arrays in C2X [PR 98397] Thread-Index: AQHW14P5NPmeSGEGsUyVuq0uhN3etA== Date: Mon, 21 Dec 2020 10:28:07 +0000 Message-ID: <1608546487.5427.1.camel@med.uni-goettingen.de> Accept-Language: de-DE, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [134.76.125.20] Content-Type: text/plain; charset="utf-8" Content-ID: Content-Transfer-Encoding: base64 MIME-Version: 1.0 X-Spam-Status: No, score=-10.4 required=5.0 tests=BAYES_00, BODY_8BITS, GIT_PATCH_0, KAM_DMARC_STATUS, 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: gcc-patches@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 21 Dec 2020 10:28:31 -0000 DQpIZXJlIGlzIGEgcGF0Y2ggdGhhdCBhZGRzIHRoZSBtaW5vciBjb3JyZWN0aW9ucyBuZWVkZWQg Zm9yDQpxdWFsaWZpZXJzwqBvZiBwb2ludGVycyB0byBhcnJheXMgaW4gQzIzLg0KDQotLSBNYXJ0 aW4NCg0KDQpDOiBDb3JyZWN0IHF1YWxpZmllcnMgZm9yIHBvaW50ZXJzIHRvIGFycmF5cyBhY2Nv cmRpbmcgdG8gQzJYIFtQUjk4Mzk3XQ0KwqDCoMKgwqANCjIwMjAtMTItMTLCoMKgTWFydGluIFVl Y2tlcsKgwqA8bXVlY2tlckBnd2RnLmRlPg0KwqDCoMKgwqANCmdjYy9jLw0KwqDCoMKgwqDCoFBS IGMvOTgzOTcNCsKgwqDCoMKgwqAqIGMtdHlwZWNrLmMgKGNvbXBfdGFyZ2V0X3R5cGVzKTogQ2hh bmdlIHBlZHdhcm4gdG8gcGVkd2Fybl9jMTENCsKgwqDCoMKgwqBmb3IgcG9pbnRlcnMgdG8gYXJy YXlzIHdpdGggcXVhbGlmaWVycy7CoMKgwqDCoMKgwqANCsKgwqDCoMKgwqAoYnVpbGRfY29uZGl0 aW9uYWxfZXhwcik6IEZvciBDMjMgZG9uJ3QgbG9zZSBxdWFsaWZpZXJzIGZvciBwb2ludGVycw0K wqDCoMKgwqDCoHRvIGFycmF5cyB3aGVuIHRoZSBvdGhlciBwb2ludGVyIGlzIGEgdm9pZCBwb2lu dGVyLg0KwqDCoMKgwqDCoChjb252ZXJ0X2Zvcl9hc3NpZ25tZW50KTogRm9yIEMyMyBkb24ndCBw ZWR3YXJuIHdoZW4gY29udmVydGluZyBmcm9tDQrCoMKgwqDCoMKgdm9pZCogd2l0aCBxdWFsaWZp ZXJzIHRvIGEgcG9pbnRlciB0byBhcnJheSB3aXRoIHRoZSBzYW1lIHF1YWxpZmllcnMuDQoNCmdj Yy90ZXN0c3VpdGUvDQrCoMKgwqDCoMKgUFIgYy85ODM5Nw0KwqDCoMKgwqDCoCogZ2NjLmRnL2My eC1xdWFsLTEuYzogTmV3IHRlc3QuwqDCoMKgDQrCoMKgwqDCoMKgKiBnY2MuZGcvYzJ4LXF1YWwt Mi5jOiBOZXcgdGVzdC4NCg0KDQpkaWZmIC0tZ2l0IGEvZ2NjL2MvYy10eXBlY2suYyBiL2djYy9j L2MtdHlwZWNrLmMNCmluZGV4IGY2OGNiMDE1MjliLi40NmE2NmU5NmRiNSAxMDA2NDQNCi0tLSBh L2djYy9jL2MtdHlwZWNrLmMNCisrKyBiL2djYy9jL2MtdHlwZWNrLmMNCkBAIC0xMzE4LDggKzEz MTgsOCBAQCBjb21wX3RhcmdldF90eXBlcyAobG9jYXRpb25fdCBsb2NhdGlvbiwgdHJlZSB0dGws IHRyZWUgdHRyKQ0KwqDCoMKgdmFsID0gY29tcHR5cGVzX2NoZWNrX2VudW1faW50IChtdmwsIG12 ciwgJmVudW1fYW5kX2ludF9wKTsNCsKgDQrCoMKgwqBpZiAodmFsID09IDEgJiYgdmFsX3BlZCAh PSAxKQ0KLcKgwqDCoMKgcGVkd2FybiAobG9jYXRpb24sIE9QVF9XcGVkYW50aWMsICJwb2ludGVy cyB0byBhcnJheXMgd2l0aCBkaWZmZXJlbnQgcXVhbGlmaWVycyAiDQotwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoCJhcmUgaW5jb21wYXRpYmxlIGluIElTTyBDIik7DQorwqDCoMKgwqBwZWR3YXJuX2MxMSAo bG9jYXRpb24sIE9QVF9XcGVkYW50aWMsICJwb2ludGVycyB0byBhcnJheXMgd2l0aCBkaWZmZXJl bnQgcXVhbGlmaWVycyAiDQorCQkJCQnCoMKgImFyZSBpbmNvbXBhdGlibGUgaW4gSVNPIEMgYmVm b3JlIEMyWCIpOw0KwqANCsKgwqDCoGlmICh2YWwgPT0gMikNCsKgwqDCoMKgwqBwZWR3YXJuIChs b2NhdGlvbiwgT1BUX1dwZWRhbnRpYywgInR5cGVzIGFyZSBub3QgcXVpdGUgY29tcGF0aWJsZSIp Ow0KQEAgLTUzMzEsMzkgKzUzMzEsMzIgQEAgYnVpbGRfY29uZGl0aW9uYWxfZXhwciAobG9jYXRp b25fdCBjb2xvbl9sb2MsIHRyZWUgaWZleHAsIGJvb2wgaWZleHBfYmNwLA0KwqAJCcKgwqDCoMKg InVzZWQgaW4gY29uZGl0aW9uYWwgZXhwcmVzc2lvbiIpOw0KwqAJwqDCoHJldHVybiBlcnJvcl9t YXJrX25vZGU7DQrCoAl9DQotwqDCoMKgwqDCoMKgZWxzZSBpZiAoVk9JRF9UWVBFX1AgKFRSRUVf VFlQRSAodHlwZTEpKQ0KLQnCoMKgwqDCoMKgwqDCoCYmICFUWVBFX0FUT01JQyAoVFJFRV9UWVBF ICh0eXBlMSkpKQ0KLQl7DQotCcKgwqBpZiAoKFRSRUVfQ09ERSAoVFJFRV9UWVBFICh0eXBlMikp ID09IEFSUkFZX1RZUEUpDQotCcKgwqDCoMKgwqDCoCYmIChUWVBFX1FVQUxTIChzdHJpcF9hcnJh eV90eXBlcyAoVFJFRV9UWVBFICh0eXBlMikpKQ0KLQkJwqDCoCYgflRZUEVfUVVBTFMgKFRSRUVf VFlQRSAodHlwZTEpKSkpDQorwqDCoMKgwqDCoMKgZWxzZSBpZiAoKFZPSURfVFlQRV9QIChUUkVF X1RZUEUgKHR5cGUxKSkNCisJCSYmICFUWVBFX0FUT01JQyAoVFJFRV9UWVBFICh0eXBlMSkpKQ0K KwnCoMKgwqDCoMKgwqDCoHx8IChWT0lEX1RZUEVfUCAoVFJFRV9UWVBFICh0eXBlMikpDQorCQnC oMKgwqAmJiAhVFlQRV9BVE9NSUMgKFRSRUVfVFlQRSAodHlwZTIpKSkpDQorCXsNCisJwqDCoHRy ZWUgdDEgPSBUUkVFX1RZUEUgKHR5cGUxKTsNCisJwqDCoHRyZWUgdDIgPSBUUkVFX1RZUEUgKHR5 cGUyKTsNCisJwqDCoGlmICghVk9JRF9UWVBFX1AgKHQxKSkNCisJwqDCoMKgew0KKwnCoMKgwqDC oMKgLyogcm9sZXMgYXJlIHN3YXBwZWQgKi8NCisJwqDCoMKgwqDCoHQxID0gdDI7DQorCcKgwqDC oMKgwqB0MiA9IFRSRUVfVFlQRSAodHlwZTEpOw0KKwnCoMKgwqB9DQorCcKgwqB0cmVlIHQyX3N0 cmlwcGVkID0gc3RyaXBfYXJyYXlfdHlwZXMgKHQyKTsNCisJwqDCoGlmIChmbGFnX2lzb2MyeCkN CisJwqDCoMKgwqB0MiA9IHQyX3N0cmlwcGVkOw0KKwnCoMKgZWxzZSBpZiAoKFRSRUVfQ09ERSAo dDIpID09IEFSUkFZX1RZUEUpDQorCQnCoMKgwqAmJiAoVFlQRV9RVUFMUyAodDJfc3RyaXBwZWQp ICYgflRZUEVfUVVBTFMgKHQxKSkpDQrCoAnCoMKgwqDCoHdhcm5pbmdfYXQgKGNvbG9uX2xvYywg T1BUX1dkaXNjYXJkZWRfYXJyYXlfcXVhbGlmaWVycywNCsKgCQkJInBvaW50ZXIgdG8gYXJyYXkg bG9zZXMgcXVhbGlmaWVyICINCsKgCQkJImluIGNvbmRpdGlvbmFsIGV4cHJlc3Npb24iKTsNCi0N Ci0JwqDCoGlmIChUUkVFX0NPREUgKFRSRUVfVFlQRSAodHlwZTIpKSA9PSBGVU5DVElPTl9UWVBF KQ0KLQnCoMKgwqDCoHBlZHdhcm4gKGNvbG9uX2xvYywgT1BUX1dwZWRhbnRpYywNCi0JCcKgwqDC oMKgwqAiSVNPIEMgZm9yYmlkcyBjb25kaXRpb25hbCBleHByIGJldHdlZW4gIg0KLQkJwqDCoMKg wqDCoCIlPHZvaWQgKiU+IGFuZCBmdW5jdGlvbiBwb2ludGVyIik7DQotCcKgwqByZXN1bHRfdHlw ZSA9IGJ1aWxkX3BvaW50ZXJfdHlwZSAocXVhbGlmeV90eXBlIChUUkVFX1RZUEUgKHR5cGUxKSwN Ci0JCQkJCQkJwqDCoFRSRUVfVFlQRSAodHlwZTIpKSk7DQotCX0NCi3CoMKgwqDCoMKgwqBlbHNl IGlmIChWT0lEX1RZUEVfUCAoVFJFRV9UWVBFICh0eXBlMikpDQotCcKgwqDCoMKgwqDCoMKgJiYg IVRZUEVfQVRPTUlDIChUUkVFX1RZUEUgKHR5cGUyKSkpDQotCXsNCi0JwqDCoGlmICgoVFJFRV9D T0RFIChUUkVFX1RZUEUgKHR5cGUxKSkgPT0gQVJSQVlfVFlQRSkNCi0JwqDCoMKgwqDCoMKgJiYg KFRZUEVfUVVBTFMgKHN0cmlwX2FycmF5X3R5cGVzIChUUkVFX1RZUEUgKHR5cGUxKSkpDQotCQnC oMKgJiB+VFlQRV9RVUFMUyAoVFJFRV9UWVBFICh0eXBlMikpKSkNCi0JwqDCoMKgwqB3YXJuaW5n X2F0IChjb2xvbl9sb2MsIE9QVF9XZGlzY2FyZGVkX2FycmF5X3F1YWxpZmllcnMsDQotCQkJInBv aW50ZXIgdG8gYXJyYXkgbG9zZXMgcXVhbGlmaWVyICINCi0JCQkiaW4gY29uZGl0aW9uYWwgZXhw cmVzc2lvbiIpOw0KLQ0KLQnCoMKgaWYgKFRSRUVfQ09ERSAoVFJFRV9UWVBFICh0eXBlMSkpID09 IEZVTkNUSU9OX1RZUEUpDQorCcKgwqBpZiAoVFJFRV9DT0RFICh0MikgPT0gRlVOQ1RJT05fVFlQ RSkNCsKgCcKgwqDCoMKgcGVkd2FybiAoY29sb25fbG9jLCBPUFRfV3BlZGFudGljLA0KwqAJCcKg wqDCoMKgwqAiSVNPIEMgZm9yYmlkcyBjb25kaXRpb25hbCBleHByIGJldHdlZW4gIg0KwqAJCcKg wqDCoMKgwqAiJTx2b2lkIColPiBhbmQgZnVuY3Rpb24gcG9pbnRlciIpOw0KLQnCoMKgcmVzdWx0 X3R5cGUgPSBidWlsZF9wb2ludGVyX3R5cGUgKHF1YWxpZnlfdHlwZSAoVFJFRV9UWVBFICh0eXBl MiksDQotCQkJCQkJCcKgwqBUUkVFX1RZUEUgKHR5cGUxKSkpOw0KKwnCoMKgcmVzdWx0X3R5cGUg PSBidWlsZF9wb2ludGVyX3R5cGUgKHF1YWxpZnlfdHlwZSAodDEsIHQyKSk7DQrCoAl9DQrCoMKg wqDCoMKgwqDCoC8qIE9iamVjdGl2ZS1DIHBvaW50ZXIgY29tcGFyaXNvbnMgYXJlIGEgYml0IG1v cmUgbGVuaWVudC7CoMKgKi8NCsKgwqDCoMKgwqDCoMKgZWxzZSBpZiAob2JqY19oYXZlX2NvbW1v bl90eXBlICh0eXBlMSwgdHlwZTIsIC0zLCBOVUxMX1RSRUUpKQ0KQEAgLTczMTksNyArNzMxMiw3 IEBAIGNvbnZlcnRfZm9yX2Fzc2lnbm1lbnQgKGxvY2F0aW9uX3QgbG9jYXRpb24sIGxvY2F0aW9u X3QgZXhwcl9sb2MsIHRyZWUgdHlwZSwNCsKgCcKgwqDCoMKgwqDCoC8qIERvbid0IHdhcm4gYWJv dXQgbG9zcyBvZiBxdWFsaWZpZXIgZm9yIGNvbnZlcnNpb25zIGZyb20NCsKgCQnCoHF1YWxpZmll ZCB2b2lkKiB0byBwb2ludGVycyB0byBhcnJheXMgd2l0aCBjb3JyZXNwb25kaW5nDQrCoAkJwqBx dWFsaWZpZXIgb24gdGhlIGVsZW1lbnQgdHlwZS4gKi8NCi0JwqDCoMKgwqDCoMKgaWYgKCFwZWRh bnRpYykNCisJwqDCoMKgwqDCoMKgaWYgKGZsYWdfaXNvYzJ4IHx8ICFwZWRhbnRpYykNCsKgCcKg wqDCoMKgwqDCoMKgwqB0dGwgPSBzdHJpcF9hcnJheV90eXBlcyAodHRsKTsNCsKgDQrCoAnCoMKg wqDCoMKgwqAvKiBBc3NpZ25tZW50cyBiZXR3ZWVuIGF0b21pYyBhbmQgbm9uLWF0b21pYyBvYmpl Y3RzIGFyZSBPSy7CoMKgKi8NCmRpZmYgLS1naXQgYS9nY2MvdGVzdHN1aXRlL2djYy5kZy9jMngt cXVhbC0xLmMgYi9nY2MvdGVzdHN1aXRlL2djYy5kZy9jMngtcXVhbC0xLmMNCm5ldyBmaWxlIG1v ZGUgMTAwNjQ0DQppbmRleCAwMDAwMDAwMDAwMC4uMDU4YTg0MGUwNGMNCi0tLSAvZGV2L251bGwN CisrKyBiL2djYy90ZXN0c3VpdGUvZ2NjLmRnL2MyeC1xdWFsLTEuYw0KQEAgLTAsMCArMSwxMiBA QA0KKy8qIFRlc3QgdGhhdCBxdWFsaWZpZXJzIGFyZSBub3QgbG9zdCBpbiB0ZXJ0aWFyeSBvcGVy YXRvciBmb3IgcG9pbnRlcnMgdG8gYXJyYXlzLCBQUjk4Mzk3ICovDQorLyogeyBkZy1kbyBjb21w aWxlIH0gKi8NCisvKiB7IGRnLW9wdGlvbnMgIi1zdGQ9Z251MngiIH0gKi8NCisNCit2b2lkIGZv byh2b2lkKQ0KK3sNCisJY29uc3QgaW50ICgqdSlbMV07DQorCXZvaWQgKnY7DQorCWV4dGVybiBj b25zdCB2b2lkICp2YzsNCisJZXh0ZXJuIHR5cGVvZigxID8gdSA6IHYpIHZjOw0KKwlleHRlcm4g dHlwZW9mKDEgPyB2IDogdSkgdmM7DQorfQ0KZGlmZiAtLWdpdCBhL2djYy90ZXN0c3VpdGUvZ2Nj LmRnL2MyeC1xdWFsLTIuYyBiL2djYy90ZXN0c3VpdGUvZ2NjLmRnL2MyeC1xdWFsLTIuYw0KbmV3 IGZpbGUgbW9kZSAxMDA2NDQNCmluZGV4IDAwMDAwMDAwMDAwLi42OGI4OTcyMjZkMw0KLS0tIC9k ZXYvbnVsbA0KKysrIGIvZ2NjL3Rlc3RzdWl0ZS9nY2MuZGcvYzJ4LXF1YWwtMi5jDQpAQCAtMCww ICsxLDEyIEBADQorLyogVGVzdCB0aGF0IHRoZXJlIGFyZSBubyB3YXJuaW5ncyBhYm91dCBsb3N0 IHF1YWxpZmllcnMgZm9yIHBvaW50ZXJzIHRvIGFycmF5cw0KK8KgwqDCoHdpdGggcGVkYW50aWMg Zm9yIEMyWCwgUFI5ODM5NyAqLw0KKy8qIHsgZGctZG8gY29tcGlsZSB9ICovDQorLyogeyBkZy1v cHRpb25zICItc3RkPWdudTJ4IC1wZWRhbnRpYyIgfSAqLw0KKw0KK3ZvaWQgZm9vKHZvaWQpDQor ew0KKwljb25zdCB2b2lkICp3Ow0KKwljb25zdCBpbnQgKCp1KVsxXSA9IHc7DQorCXZvaWQgKnY7 DQorCSgxID8gdSA6IHYpOw0KK30=