From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 96408 invoked by alias); 17 Apr 2019 14:12:11 -0000 Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-owner@gcc.gnu.org Received: (qmail 96180 invoked by uid 89); 17 Apr 2019 14:12:10 -0000 Authentication-Results: sourceware.org; auth=none X-Spam-SWARE-Status: No, score=-1.9 required=5.0 tests=BAYES_00,MIME_BASE64_BLANKS,SPF_PASS autolearn=ham version=3.3.1 spammy=respect, H*f:sk:4Hzz2KS, H*i:sk:4Hzz2KS X-HELO: mail1.med.uni-goettingen.de Received: from mail1.med.uni-goettingen.de (HELO mail1.med.uni-goettingen.de) (134.76.103.230) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Wed, 17 Apr 2019 14:12:08 +0000 Received: from umg-exc-2.ads.local.med.uni-goettingen.de ([10.76.100.69]:64903) by mail1.med.uni-goettingen.de with esmtps (TLSv1:DHE-RSA-AES256-SHA:256) (Exim 4.82_1-5b7a7c0-XX) (envelope-from ) id 1hGlIB-0001Di-0I; Wed, 17 Apr 2019 16:12:03 +0200 Received: from UMG-EXC-1.ads.local.med.uni-goettingen.de ([fe80::c97f:60fd:6a2d:e4b9]) by umg-exc-2.ads.local.med.uni-goettingen.de ([fe80::40b1:448:7be6:e2cf%13]) with mapi id 14.03.0439.000; Wed, 17 Apr 2019 16:12:02 +0200 From: "Uecker, Martin" To: "richard.guenther@gmail.com" CC: "gcc@gcc.gnu.org" , "Peter.Sewell@cl.cam.ac.uk" , "law@redhat.com" , "cl-c-memory-object-model@lists.cam.ac.uk" Subject: Re: C provenance semantics proposal Date: Wed, 17 Apr 2019 14:12:00 -0000 Message-ID: <1555510321.4884.7.camel@med.uni-goettingen.de> References: <1555502021.4884.1.camel@med.uni-goettingen.de> <1555505779.4884.4.camel@med.uni-goettingen.de> In-Reply-To: Content-Type: text/plain; charset="utf-8" Content-ID: Content-Transfer-Encoding: base64 MIME-Version: 1.0 X-SW-Source: 2019-04/txt/msg00187.txt.bz2 QW0gTWl0dHdvY2gsIGRlbiAxNy4wNC4yMDE5LCAxNTozNCArMDIwMCBzY2hy aWViIFJpY2hhcmQgQmllbmVyOg0KPiBPbiBXZWQsIEFwciAxNywgMjAxOSBh dCAyOjU2IFBNIFVlY2tlciwgTWFydGluDQo+IDxNYXJ0aW4uVWVja2VyQG1l ZC51bmktZ29ldHRpbmdlbi5kZT4gd3JvdGU6DQo+ID4gDQo+ID4gQW0gTWl0 dHdvY2gsIGRlbiAxNy4wNC4yMDE5LCAxNDo0MSArMDIwMCBzY2hyaWViIFJp Y2hhcmQgQmllbmVyOg0KPiA+ID4gT24gV2VkLCBBcHIgMTcsIDIwMTkgYXQg MTo1MyBQTSBVZWNrZXIsIE1hcnRpbg0KPiA+ID4gPE1hcnRpbi5VZWNrZXJA bWVkLnVuaS1nb2V0dGluZ2VuLmRlPiB3cm90ZToNCj4gPiA+ID4gDQo+ID4g PiA+ID4gwqBTaW5jZQ0KPiA+ID4gPiA+IHlvdXIgcHJvcG9zYWwgaXMgYmFz ZWQgb24gYW4gYWJzdHJhY3QgbWFjaGluZSB0aGVyZSBpc24ndCBhbnl0aGlu Zw0KPiA+ID4gPiA+IGxpa2UgYSBwb2ludGVyIHdpdGggbXVsdGlwbGUgcHJv dmVuYW5jZXMgKHdoaWNoICJhbnl0aGluZyIgaXMpLCBqdXN0DQo+ID4gPiA+ ID4gcG9pbnRlcnMgd2l0aCBubyBwcm92ZW5hbmNlIChwb2ludGluZyBvdXRz aWRlIG9mIGFueSBvYmplY3QpLCByaWdodD8NCj4gPiA+ID4gDQo+ID4gPiA+ IFRoaXMgaXMgY29ycmVjdC4gV2hhdCB0aGUgcHJvcG9zYWwgZG9lcyB0aG91 Z2ggaXMgcHV0IGEgbGltaXQNCj4gPiA+ID4gb24gd2hlcmUgcG9pbnRlcnMg b2J0YWluZWQgZnJvbSBpbnRlZ2VycyBhcmUgYWxsb3dlZCB0byBwb2ludA0K PiA+ID4gPiB0bzogVGhleSBjYW5ub3QgcG9pbnQgdG8gbm9uLWV4cG9zZWQg b2JqZWN0cy4gSSBhc3N1bWUgR0NDDQo+ID4gPiA+ICJhbnl0aGluZyIgcHJv dmVuYW5jZXMgYWxzbyBjYW5ub3QgcG9pbnQgdG8gYWxsIHBvc3NpYmxlDQo+ ID4gPiA+IG9iamVjdHMuDQo+ID4gPiANCj4gPiA+IFllcy7CoMKgV2UgZXhj bHVkZSBvYmplY3RzIHRoYXQgZG8gbm90IGhhdmUgdGhlaXIgYWRkcmVzcyB0 YWtlbg0KPiA+ID4gdGhvdWdoIChzbyBzb21ld2hhdCBzaW1pbGFyIHRvIHlv dXIgImV4cG9zZWQiKS4NCj4gPiANCj4gPiBBbHNvIGlmIHRoZSBhZGRyZXNz IG5ldmVyIGVzY2FwZXM/DQo+IA0KPiBZZXMuDQoNClRoZW4gd2l0aCByZXNw ZWN0IHRvICJleHBvc2UiIGl0IHNlZW1zIEdDQyBpbXBsZW1lbnRzDQphIHN1 cGVyc2V0IHdoaWNoIG1lYW5zIGl0IGFsbG93cyBzb21lIGJlaGF2aW9yIHdo aWNoDQppcyB1bmRlZmluZWQgYWNjb3JkaW5nIHRvIHRoZSBwcm9wb3NhbC4g U28gYWxsIHNlZW1zDQp3ZWxsIHdpdGggcmVzcGVjdCB0byB0aGlzIHBhcnQu DQoNCg0KV2l0aCByZXNwZWN0IHRvIHRyYWNraW5nIHByb3ZlbmFuY2UgdGhy b3VnaCBpbnRlZ2Vycw0Kc29tZSBjaGFuZ2VzIG1pZ2h0IGJlIHJlcXVpcmVk Lg0KDQpMZXQncyBjb25zaWRlciB0aGlzIGV4YW1wbGU6DQrCoMKgwqANCmlu dCB4Ow0KaW50IHk7DQp1aW50cHRyX3QgcGkgPSAodWludHB0cl90KSZ4Ow0K dWludHB0cl90IHBqID0gKHVpbnRwdHJfdCkmeTsNCsKgDQppZiAocGkgKyA0 ID09IHBqKSB7DQrCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoA0K ICDCoGludCogcCA9IChpbnQqKXBqO8KgLy8gY2FuIGJlIG9uZS1hZnRlciBw b2ludGVyIG9mICd4Jw0KwqDCoCBwWy0xXSA9IDE7wqDCoMKgwqDCoMKgwqDC oMKgLy8gd2VsbCBkZWZpbmVkPw0KfQ0KDQpJZiBJIHVuZGVyc3RhbmQgY29y cmVjdGx5LCBhIHBvaW50ZXIgb2J0YWluZWQgZnJvbQ0KcGkgKyA0IHdvdWxk IGhhdmUgYSAiYW55dGhpbmciIHByb3ZlbmFuY2UgKHdoaWNoIGlzDQpmaW5l KS4gQnV0IHRoZSBwb2ludGVyIG9idGFpbmVkIGZyb20gJ3BqJyB3b3VsZCBo YXZlIHRoZQ0KcHJvdmVuYW5jZSBvZiAneScgc28gdGhlIGFjY2VzcyB0byAn eCcgd291bGQgbm90DQpiZSBhbGxvd2VkLiBCdXQgYWNjb3JkaW5nIHRvIHRo ZSBwcmVmZXJyZWQgdmVyc2lvbiBvZg0Kb3VyIHByb3Bvc2FsLCB0aGUgcG9p bnRlciBjb3VsZCBhbHNvIGJlIHVzZWQgdG8NCmFjY2VzcyAneCcgYmVjYXVz ZSBpdCBpcyBhbHNvIGV4cG9zZWQuDQoNCkdDQyBjb3VsZCBtYWtlIHBqIGhh dmUgYSAiYW55dGhpbmciIHByb3ZlbmFuY2UNCmV2ZW4gdGhvdWdoIGl0IGlz IG5vdCBtb2RpZmllZC4gKFRoaXMgd291bGQgYnJlYWvCoA0Kc29tZSBvcHRp bWl6YXRpb24gc3VjaCBhcyB0aGUgb25lIGZvciBNYXRsYWIuKQ0KDQpNYXli ZSBvbmUgY291bGQgYWxzbyByZWZpbmUgdGhpcyBvcHRpbWl6YXRpb24gdG8g Y2hlY2sNCmZvciBhZGRpdGlvbmFsIGNvbmRpdGlvbnMgd2hpY2ggcnVsZSBv dXQgdGhlIGNhc2UNCnRoYXQgdGhlcmUgaXMgYW5vdGhlciBvYmplY3QgdGhl IHBvaW50ZXIgY291bGQgcG9pbnQNCnRvLg0KDQpCZXN0LA0KTWFydGlu