Re: C provenance semantics proposal

2019-04-24 Thread Peter Sewell
On 24/04/2019, Jeff Law wrote: > On 4/24/19 4:19 AM, Richard Biener wrote: >> On Thu, Apr 18, 2019 at 3:42 PM Jeff Law wrote: >>> >>> On 4/18/19 6:20 AM, Uecker, Martin wrote: Am Donnerstag, den 18.04.2019, 11:45 +0100 schrieb Peter Sewell: > On Thu, 18 Apr 2019 at 10:32, Richard Biener

Re: C provenance semantics proposal

2019-04-24 Thread Uecker, Martin
Am Mittwoch, den 24.04.2019, 21:30 +0200 schrieb Philipp Klaus Krause: > Am 24.04.19 um 20:41 schrieb Jeff Law: > > > > > 4.) Compilers make sure that exposed objects never > > > > > are allocated next to each other (as Jens proposed). > > > > > > > > Ugh.  Not sure how you enforce that.  Consider

Re: C provenance semantics proposal

2019-04-24 Thread Jakub Jelinek
On Wed, Apr 24, 2019 at 12:41:25PM -0600, Jeff Law wrote: > >>> 4.) Compilers make sure that exposed objects never > >>> are allocated next to each other (as Jens proposed). > >> Ugh. Not sure how you enforce that. Consider that the compiler may > >> ultimately have no control over layout of data

Re: C provenance semantics proposal

2019-04-24 Thread Philipp Klaus Krause
Am 24.04.19 um 20:41 schrieb Jeff Law: 4.) Compilers make sure that exposed objects never are allocated next to each other (as Jens proposed). >>> Ugh. Not sure how you enforce that. Consider that the compiler may >>> ultimately have no control over layout of data in static storage. >>

Re: C provenance semantics proposal

2019-04-24 Thread Jens Gustedt
Am 24. April 2019 20:43:03 MESZ schrieb Jeff Law : >On 4/24/19 4:24 AM, Richard Biener wrote: >> On Fri, Apr 19, 2019 at 11:09 AM Jens Gustedt >wrote: >>> >>> Hello Jakub, >>> >>> On Fri, 19 Apr 2019 10:49:08 +0200 Jakub Jelinek >>> wrote: >>> On Fri, Apr 19, 2019 at 10:19:28AM +0200, Jens G

Re: C provenance semantics proposal

2019-04-24 Thread Jeff Law
On 4/24/19 4:24 AM, Richard Biener wrote: > On Fri, Apr 19, 2019 at 11:09 AM Jens Gustedt wrote: >> >> Hello Jakub, >> >> On Fri, 19 Apr 2019 10:49:08 +0200 Jakub Jelinek >> wrote: >> >>> On Fri, Apr 19, 2019 at 10:19:28AM +0200, Jens Gustedt wrote: > OTOH GCC transforms > (uintptr_t)&a !

Re: C provenance semantics proposal

2019-04-24 Thread Jeff Law
On 4/24/19 4:19 AM, Richard Biener wrote: > On Thu, Apr 18, 2019 at 3:42 PM Jeff Law wrote: >> >> On 4/18/19 6:20 AM, Uecker, Martin wrote: >>> Am Donnerstag, den 18.04.2019, 11:45 +0100 schrieb Peter Sewell: On Thu, 18 Apr 2019 at 10:32, Richard Biener wrote: >>> >>> An equality

OUTLET muebles de oficina

2019-04-24 Thread Ana
Your Message Subject Madrid 28007 - Calle Granada 26 - Mail : a...@issa.ws - telef. 91.433.35.58 14/01/2019 12:32:03 Estimado cliente,Somos una empresa dedicada al mobiliario de oficia con una trayectoria en el sector de mas de 40 años en el sector y queríamos contactar con ustedes para of

exepre 24

2019-04-24 Thread D . L M
Provenance : Courrier pour Windows 10

Re: C provenance semantics proposal

2019-04-24 Thread Richard Biener
On Fri, Apr 19, 2019 at 11:09 AM Jens Gustedt wrote: > > Hello Jakub, > > On Fri, 19 Apr 2019 10:49:08 +0200 Jakub Jelinek > wrote: > > > On Fri, Apr 19, 2019 at 10:19:28AM +0200, Jens Gustedt wrote: > > > > OTOH GCC transforms > > > > (uintptr_t)&a != (uintptr_t)(&b+1) > > > > into &a != &b + 1

Re: C provenance semantics proposal

2019-04-24 Thread Richard Biener
On Thu, Apr 18, 2019 at 3:42 PM Jeff Law wrote: > > On 4/18/19 6:20 AM, Uecker, Martin wrote: > > Am Donnerstag, den 18.04.2019, 11:45 +0100 schrieb Peter Sewell: > >> On Thu, 18 Apr 2019 at 10:32, Richard Biener > >> wrote: > > > > > >> An equality test of two pointers, on the other hand, doesn

Re: C provenance semantics proposal

2019-04-24 Thread Richard Biener
On Thu, Apr 18, 2019 at 3:29 PM Jeff Law wrote: > > On 4/18/19 6:50 AM, Jakub Jelinek wrote: > > On Thu, Apr 18, 2019 at 02:47:18PM +0200, Jakub Jelinek wrote: > >> On Thu, Apr 18, 2019 at 02:42:22PM +0200, Richard Biener wrote: > 1.) Compilers do not use conditional equivalences for > o