From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 98433 invoked by alias); 18 Apr 2019 13:54:01 -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 98415 invoked by uid 89); 18 Apr 2019 13:54:00 -0000 Authentication-Results: sourceware.org; auth=none X-Spam-SWARE-Status: No, score=-1.9 required=5.0 tests=AWL,BAYES_00,MIME_BASE64_BLANKS,SPF_PASS autolearn=ham version=3.3.1 spammy=biggest, H*i:sk:30c3be0, H*f:sk:30c3be0, somewhere 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; Thu, 18 Apr 2019 13:53:59 +0000 Received: from umg-exc-2.ads.local.med.uni-goettingen.de ([10.76.100.69]:20364) by mail1.med.uni-goettingen.de with esmtps (TLSv1:DHE-RSA-AES256-SHA:256) (Exim 4.82_1-5b7a7c0-XX) (envelope-from ) id 1hH7UB-0000sB-1o; Thu, 18 Apr 2019 15:53:55 +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; Thu, 18 Apr 2019 15:53:54 +0200 From: "Uecker, Martin" To: "law@redhat.com" , "Peter.Sewell@cl.cam.ac.uk" , "richard.guenther@gmail.com" CC: "gcc@gcc.gnu.org" , "cl-c-memory-object-model@lists.cam.ac.uk" Subject: Re: C provenance semantics proposal Date: Thu, 18 Apr 2019 13:54:00 -0000 Message-ID: <1555595634.12545.10.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> In-Reply-To: <30c3be07-433d-b945-40de-7b9a02f78789@redhat.com> Content-Type: text/plain; charset="utf-8" Content-ID: <5D8F3AD38DAB5E499E55433CF86A8462@ads.local.med.uni-goettingen.de> Content-Transfer-Encoding: base64 MIME-Version: 1.0 X-SW-Source: 2019-04/txt/msg00208.txt.bz2 QW0gRG9ubmVyc3RhZywgZGVuIDE4LjA0LjIwMTksIDA3OjQyIC0wNjAwIHNj aHJpZWIgSmVmZiBMYXc6DQo+IE9uIDQvMTgvMTkgNjoyMCBBTSwgVWVja2Vy LCBNYXJ0aW4gd3JvdGU6DQo+ID4gQW0gRG9ubmVyc3RhZywgZGVuIDE4LjA0 LjIwMTksIDExOjQ1ICswMTAwIHNjaHJpZWIgUGV0ZXIgU2V3ZWxsOg0KPiA+ ID4gT24gVGh1LCAxOCBBcHIgMjAxOSBhdCAxMDozMiwgUmljaGFyZCBCaWVu ZXIgPHJpY2hhcmQuZ3VlbnRoZXJAZ21haWwuY29tPiB3cm90ZToNCg0KLi4u DQo+ID4gNC4pIENvbXBpbGVycyBtYWtlIHN1cmUgdGhhdCBleHBvc2VkIG9i amVjdHMgbmV2ZXINCj4gPiBhcmUgYWxsb2NhdGVkIG5leHQgdG8gZWFjaCBv dGhlciAoYXMgSmVucyBwcm9wb3NlZCkuDQo+IA0KPiBVZ2guwqDCoE5vdCBz dXJlIGhvdyB5b3UgZW5mb3JjZSB0aGF0LsKgwqBDb25zaWRlciB0aGF0IHRo ZSBjb21waWxlciBtYXkNCj4gdWx0aW1hdGVseSBoYXZlIG5vIGNvbnRyb2wg b3ZlciBsYXlvdXQgb2YgZGF0YSBpbiBzdGF0aWMgc3RvcmFnZS4NCg0KT25l IG1heWJlIG9ubHkgd2hlcmUgaXQgbWF0dGVycz8gSSBhc3N1bWUgdGhlIGJp Z2dlc3QgYmVuZWZpdA0KaXMgZm9yIGxvY2FsIHZhcmlhYmxlcyBhbmQgdGhl cmUgdGhlIGNvbXBpbGVyIGhhcyBmdWxsIGNvbnRyb2wuDQoNCkZvciBhcmJp dHJhcnkgcG9pbnRlciBjb21pbmcgZnJvbSBzb21ld2hlcmUsIG9uZSBoYXMg bm8gcHJvdmVuYW5jZQ0KaW5mb3JtYXRpb24gYW55d2F5Lg0KDQpCZXN0LA0K TWFydGlu