From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 102845 invoked by alias); 24 Apr 2019 19:55:06 -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 102837 invoked by uid 89); 24 Apr 2019 19:55:06 -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*f:sk:e63e217, H*M:med, relationships, H*i:sk:e63e217 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, 24 Apr 2019 19:55:03 +0000 Received: from umg-exc-2.ads.local.med.uni-goettingen.de ([10.76.100.69]:37165) by mail1.med.uni-goettingen.de with esmtps (TLSv1:DHE-RSA-AES256-SHA:256) (Exim 4.82_1-5b7a7c0-XX) (envelope-from ) id 1hJNyq-0006vd-0v; Wed, 24 Apr 2019 21:54:56 +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, 24 Apr 2019 21:54:55 +0200 From: "Uecker, Martin" To: "krauseph@informatik.uni-freiburg.de" , "law@redhat.com" , "richard.guenther@gmail.com" CC: "gcc@gcc.gnu.org" , "Peter.Sewell@cl.cam.ac.uk" , "cl-c-memory-object-model@lists.cam.ac.uk" Subject: Re: C provenance semantics proposal Date: Wed, 24 Apr 2019 19:55:00 -0000 Message-ID: <1556135695.3059.1.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> <30c3be07-433d-b945-40de-7b9a02f78789@redhat.com> <917e49da-bc4f-80a8-3399-30fff4a573f0@redhat.com> 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/msg00247.txt.bz2 QW0gTWl0dHdvY2gsIGRlbiAyNC4wNC4yMDE5LCAyMTozMCArMDIwMCBzY2hy aWViIFBoaWxpcHAgS2xhdXMgS3JhdXNlOg0KPiBBbSAyNC4wNC4xOSB1bSAy MDo0MSBzY2hyaWViIEplZmYgTGF3Og0KPiA+ID4gPiA+IDQuKSBDb21waWxl cnMgbWFrZSBzdXJlIHRoYXQgZXhwb3NlZCBvYmplY3RzIG5ldmVyDQo+ID4g PiA+ID4gYXJlIGFsbG9jYXRlZCBuZXh0IHRvIGVhY2ggb3RoZXIgKGFzIEpl bnMgcHJvcG9zZWQpLg0KPiA+ID4gPiANCj4gPiA+ID4gVWdoLsKgwqBOb3Qg c3VyZSBob3cgeW91IGVuZm9yY2UgdGhhdC7CoMKgQ29uc2lkZXIgdGhhdCB0 aGUgY29tcGlsZXIgbWF5DQo+ID4gPiA+IHVsdGltYXRlbHkgaGF2ZSBubyBj b250cm9sIG92ZXIgbGF5b3V0IG9mIGRhdGEgaW4gc3RhdGljIHN0b3JhZ2Uu DQo+ID4gPiANCj4gPiA+IE1ha2UgZXZlcnl0aGluZyAxIGJ5dGUgbGFyZ2Vy Lg0KPiA+IA0KPiA+IE5vdCBhIGJhZCBpZGVhLsKgwqBJIHN1c3BlY3QgdGhl IGVtYmVkZGVkIGZvbGtzIHdvdWxkIGdvIGJhbmFuYXMgdGhvdWdoLg0KPiA+ IA0KPiANCj4gU29tZSBvZiB0aGUgc3lzdGVtcyB0aGUgU21hbGwgRGV2aWNl IEMgY29tcGlsZXIgdGFyZ2V0cyBoYXZlIGp1c3QgNjAgQg0KPiBvZiBSQU0u IEFuZCB3ZSBhcmUgY3VyZXRubHkgY29uc2lkZXJpbmcgYWRkaW5nIHN1cHBv cnQgZm9yIGEgbXVsdGljb3JlDQo+IG1pY3JvY29udHJvbGxlciwgb2Ygd2hp Y2ggYWxzbyB2YXJpYW50cyB3aXRoIGp1c3QgNjAgQiBvZiBSQU0gZXhpc3Qu DQo+IEJ1dCBldmVuIGZvciB0aGUgb3RoZXIgYXJjaGl0ZWN0dXJlcyBzdXBw b3J0ZWQgaW4gU0RDQywgd2hlcmUgZGV2aWNlcw0KPiB0ZW5kIHRvIGhhdmUg bXVjaCBiaWdnZXIgUkFNLCBpbiB0aGUgcmFuZ2Ugb2YgMTI4QiB0byBldmVu IGEgZmV3IEtCLA0KPiB3YXN0aW5nIG1lbW9yeSBsaWtlIHRoYXQgaXMgbm90 IGFjY2VwdGFibGUuDQoNCkl0IHdvdWxkIG5vdCBiZSBhIHJlcXVpcmVtZW50 LCB5b3UgY291bGQgYWx3YXlzIGRvIHRoZSBwb2ludGVyDQpjb21wYXJpc29u IGF0IHJ1bi10aW1lIG9yIHdyaXRlIGEgc21hcnRlciBjb21waWxlciB3aGlj aCBub3QNCm9ubHkgdXNlcyBwcm92ZW5hbmNlIGZvciBvcHRpbWl6YXRpb24g YnV0IGFsc28gdGFrZXMNCm5laWdoYm9yaG9vZCByZWxhdGlvbnNoaXBzIGlu dG8gYWNjb3V0Lg0KDQpNYXJ0aW4NCg0KDQo=