Re: C provenance semantics proposal

2019-04-19 Thread Jens Gustedt
Hello, On Thu, 18 Apr 2019 14:42:22 +0200 Richard Biener wrote: > On Thu, Apr 18, 2019 at 2:20 PM Uecker, Martin > wrote: > > 1.) Compilers do not use conditional equivalences for > > optimizations of pointers (or only when additional > > conditions apply which make it safe) > > > > 2.) We mak

Re: C provenance semantics proposal

2019-04-19 Thread Jens Gustedt
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 (for equality compa

Re: C provenance semantics proposal

2019-04-19 Thread Jens Gustedt
Hello Peter, On Fri, 19 Apr 2019 10:11:43 +0100 Peter Sewell wrote: > On 19/04/2019, Jakub Jelinek wrote: > > On Fri, Apr 19, 2019 at 10:19:28AM +0200, Jens Gustedt wrote: > [...] > > That penalizes quite a few optimizations though. > > If you have > >

Re: C provenance semantics proposal

2019-04-21 Thread Jens Gustedt
Hello Jakub, On Fri, 19 Apr 2019 11:34:33 +0200 Jakub Jelinek wrote: > On Fri, Apr 19, 2019 at 11:09:27AM +0200, Jens Gustedt wrote: > > > similarly, if one of the > > > pointers is &object or &object + sizeof (object). > > > > Here I don't follo

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