From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 106294 invoked by alias); 19 Apr 2019 10:35:34 -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 106285 invoked by uid 89); 19 Apr 2019 10:35:34 -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=H*i:sk:CAHWkzR, of, BTW, H*f:sk:RURmApP 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; Fri, 19 Apr 2019 10:35:33 +0000 Received: from umg-exc-2.ads.local.med.uni-goettingen.de ([10.76.100.69]:20847) by mail1.med.uni-goettingen.de with esmtps (TLSv1:DHE-RSA-AES256-SHA:256) (Exim 4.82_1-5b7a7c0-XX) (envelope-from ) id 1hHQrg-0000qm-2c; Fri, 19 Apr 2019 12:35:28 +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; Fri, 19 Apr 2019 12:35:27 +0200 From: "Uecker, Martin" To: "Peter.Sewell@cl.cam.ac.uk" , "jens.gustedt@inria.fr" CC: "gcc@gcc.gnu.org" , "law@redhat.com" , "jakub@redhat.com" , "richard.guenther@gmail.com" , "cl-c-memory-object-model@lists.cam.ac.uk" Subject: Re: C provenance semantics proposal Date: Fri, 19 Apr 2019 10:35:00 -0000 Message-ID: <1555670126.16329.4.camel@med.uni-goettingen.de> References: <1555502021.4884.1.camel@med.uni-goettingen.de> <1555505779.4884.4.camel@med.uni-goettingen.de> <1555510321.4884.7.camel@med.uni-goettingen.de> <1555590011.12545.3.camel@med.uni-goettingen.de> <20190419101928.5e8c3488@inria.fr> <20190419084908.GF21066@tucnak> <20190419111548.11a551a0@inria.fr> 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/msg00220.txt.bz2 QW0gRnJlaXRhZywgZGVuIDE5LjA0LjIwMTksIDEwOjM1ICswMTAwIHNjaHJp ZWIgUGV0ZXIgU2V3ZWxsOg0KPiBPbiAxOS8wNC8yMDE5LCBKZW5zIEd1c3Rl ZHQgPGplbnMuZ3VzdGVkdEBpbnJpYS5mcj4gd3JvdGU6DQo+ID4gSGVsbG8g UGV0ZXIsDQo+ID4gDQo+ID4gT24gRnJpLCAxOSBBcHIgMjAxOSAxMDoxMTo0 MyArMDEwMCBQZXRlciBTZXdlbGwNCj4gPiA8UGV0ZXIuU2V3ZWxsQGNsLmNh bS5hYy51az4gd3JvdGU6DQo+ID4gDQo+ID4gPiBPbiAxOS8wNC8yMDE5LCBK YWt1YiBKZWxpbmVrIDxqYWt1YkByZWRoYXQuY29tPiB3cm90ZToNCj4gPiA+ ID4gT24gRnJpLCBBcHIgMTksIDIwMTkgYXQgMTA6MTk6MjhBTSArMDIwMCwg SmVucyBHdXN0ZWR0IHdyb3RlOg0KwqBbLi4uXQ0KPiBJIHdhcyBjb25mbGF0 aW5nIHR3byB0aGluZ3MsIHNvcnJ5LsKgwqBJIG1lYW50IGFuIGFkYXB0aW9u IG9mIFBOVkktYWUtdWRpDQo+IHRoYXQgd291bGQgbGV0IGltcGxlbWVudGF0 aW9ucyB0dXJuIG9mZiB0aGUgdWRpIHBhcnQgaWYgdGhleSB3aXNoLsKgwqDC oFRoZW4NCj4gZm9yIHRob3NlLCBjYXN0aW5nIGEgb25lLXBhc3QgcG9pbnRl ciBpbnRvIGludGVnZXIgYW5kIGJhY2sgd291bGQgZ2l2ZSBhbg0KPiBlbXB0 eS1wcm92ZW5hbmNlIHBvaW50ZXIgdGhhdCBjb3VsZG4ndCBiZSB1c2VkIGZv ciBhY2Nlc3Nlcywgd2hpY2ggaGVscHMNCj4gd2l0aCB0aGUgcFstMV0gZXhh bXBsZXMgdGhhdCBSaWNoYXJkIHdhcyB0aGlua2luZyBvZi7CoMKgQXMgd2Ug dGhpbmsgdGhpcw0KPiByb3VuZHRyaXAgY2FzdGluZyBvZiBhIG9uZS1wYXN0 IHBvaW50ZXIgbWlnaHQgYmUgYW4gZXhvdGljIGNvcm5lciBjYXNlLA0KPiB0 aGlzIG1pZ2h0IGJlIHJlYXNvbmFibGUuDQoNClRoZSBwb2ludCBvZiBtYWtp bmcgc3VjaCBjb3JuZXIgY2FzdCAianVzdCB3b3JrIiBmcm9tIGEgcHJvZ3Jh bW1lcidzDQpwb2ludCBvZiB2aWV3IGlzIHRvIG5vdCBoYXZlIGhpbSBuZWVk IHRvIGtub3cgYWJvdXQgYW5kIGFsd2F5cw0Kd29ycnkgYWJvdXQgaXQganVz dCB0byBub3QgYWNjaWRlbnRhbGx5IHdyaXRlIGJyb2tlbiBjb2RlLg0KTWFr aW5nIGl0IGltcGxlbWVudGF0aW9uLWRlZmluZWQganVzdCBtYWtlcyBpdCBt b3JlIGNvbXBsaWNhdGVkDQp0byB1bmRlcnN0YW5kIHdoZW4gaXQgbWlnaHQg d29yayBvciBub3QuDQoNClNvIGluIG15IG9waW5pb24gd2Ugc2hvdWxkIGVp dGhlciBtYWtlIGl0IHdvcmsgYWx3YXlzIG9yIHdlDQpyZW1vdmUgaXQgY29t cGxldGVseSBhbmQgbWFrZSB0aGUgbGltaXRhdGlvbnMgb2Ygb25lLWFmdGVy DQpwb2ludGVycyB2ZXJ5IGV4cGxpY2l0LiBCdXQgbXkgcHJlZmVyZW5jZSBp cyBzdGlsbCB0aGUgZmlyc3QuDQoNCj4gDQo+IFRoaXM6DQo+ID4gPiA+IElm IHlvdSBoYXZlDQo+ID4gPiA+IHB0ciAhPSBwdHIyDQo+ID4gPiA+IGFuZCBw b2ludHMtdG8gYW5hbHlzaXMgZmluZHMgYSBzZXQgb2YgdmFyaWFibGVzIHB0 ciBhcyB3ZWxsIGFzIHB0cjINCj4gPiA+ID4gcG9pbnRzIHRvIGFuZCB0aGUg c2V0cyB3b3VsZCBiZSBkaXNqb2ludCwgaXQgd291bGQgYmUgbmljZSB0byBi ZQ0KPiA+ID4gPiBhYmxlIHRvIG9wdGltaXplIHRoYXQgY29tcGFyaXNvbiBh d2F5IChnY2MgZG9lcykNCg0KQlRXOiBUaGlzIGlzIGFsd2F5cyB0cnVlLiBK dXN0IHRoYXQgdGhlIG9uZS1hZnRlciBjYXNlIG1lYW5zDQp0aGF0IHRoZSBz ZXRzIG9mIGFkZHJlc3NlcyBvdmVybGFwIGluIHNvbWUgY2FzZXMgd2hlcmUg b25lDQptYXkgKGluY29ycmVjdGx5KSBhc3N1bWUgdGhleSBkb24ndCB3aGVu IG9ubHkNCmNvbnNpZGVyaW5nIHByb3ZlbmFuY2UuDQoNCj4gc2VlbXMgdG8g YmUgYW4gYXJndW1lbnQgdG8ga2VlcCBwb2ludGVyID09IG5vbmRldGVybWlu aXN0aWNhbGx5DQo+IHByb3ZlbmFuY2Utc2Vuc2l0aXZlIG9yIG5vdCwgdGhv dWdoIHdoZXRoZXIgaXQgb3V0d2VpZ2hzIHRoZQ0KPiBzaW1wbGljaXR5IGdh aW4gb2YgbWFraW5nID09IGp1c3QgZXhhbWluZSB0aGUgYWRkcmVzcyBpc24n dCBjbGVhciB0byBtZS4NCj4gTXkgaW5jbGluYXRpb24gd291bGQgc3RpbGwg YmUgdG8gdGhlIGxhdHRlci4NCg0KVGhpcyB3b3VsZCBiZSBteSBwcmVmZXJl bmNlIHRvby4gSW4gZmFjdCwgSSBiZWxpZXZlIHRoYXQgbW9zdA0Kb3B0aW1p emF0aW9ucyBjb3VsZCBzdGlsbCBiZSBpbXBsZW1lbnRlZC4NCkNlcnRhaW5s eSwgdGhpcyBhZGRzIGNvbXBsZXhpdHkgdG8gdGhlIGNvbXBpbGVyDQpiZWNh dXNlIGl0IHRoZW4gYWxzbyBoYXMgZG8gbW9yZSBzb3BoaXN0aWNhdGVkDQpj aGVja3MgYW5kIG1heWJlIGFsc28gaGF2ZSBzb21lIHJ1bGVzIGFib3V0DQp3 aGljaCBvYmplY3RzIGNvdWxkIGJlIGFkamFjZW50IHRvIGVhY2ggb3RoZXIu DQoNCkFuZCBhcyBhIGxhc3QgcmVzb3J0LCB0aGVyZSBjb3VsZCBiZSBhIGNv bXBpbGVyIGZsYWcgd2hpY2gNCmlzIG9mZiBieSBkZWZhdWx0IHRoYXQgZW5h YmxlcyBvcHRpbWl6YXRpb25zIGJhc2VkIG9uDQp0aGUgYXNzdW1wdGlvbiB0 aGF0IG9uZS1hZnRlciBwb2ludGVycyBhcmUgbmV2ZXIgY29tcGFyZWQNCnRv IHBvaW50ZXJzIHBvaW50aW5nIHRvIGRpZmZlcmVudCBvYmplY3RzLiANCg0K QmVzdCwNCk1hcnRpbg0KDQoNCg==