gcc-7-20190418 is now available

2019-04-18 Thread gccadmin
Snapshot gcc-7-20190418 is now available on ftp://gcc.gnu.org/pub/gcc/snapshots/7-20190418/ and on various mirrors, see http://gcc.gnu.org/mirrors.html for details. This snapshot has been generated from the GCC 7 SVN branch with the following options: svn://gcc.gnu.org/svn/gcc/branches/gcc-7

Re: C provenance semantics proposal

2019-04-18 Thread Uecker, Martin
Am Donnerstag, den 18.04.2019, 15:49 +0100 schrieb Peter Sewell: > On Thu, 18 Apr 2019 at 14:54, Uecker, Martin > wrote: > > > > Am Donnerstag, den 18.04.2019, 07:42 -0600 schrieb Jeff Law: > > > On 4/18/19 6:20 AM, Uecker, Martin wrote: > > > > Am Donnerstag, den 18.04.2019, 11:45 +0100 schrieb

Re: C provenance semantics proposal

2019-04-18 Thread Peter Sewell
On Thu, 18 Apr 2019 at 14:54, Uecker, Martin wrote: > > Am Donnerstag, den 18.04.2019, 07:42 -0600 schrieb Jeff Law: > > 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 > > > > w

Re: C provenance semantics proposal

2019-04-18 Thread Uecker, Martin
Am Donnerstag, den 18.04.2019, 07:42 -0600 schrieb Jeff Law: > 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: ... > > 4.) Compilers make sure that exposed objects never

Re: C provenance semantics proposal

2019-04-18 Thread Uecker, Martin
Am Donnerstag, den 18.04.2019, 14:42 +0200 schrieb Richard Biener: > On Thu, Apr 18, 2019 at 2:20 PM 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

Re: C provenance semantics proposal

2019-04-18 Thread Jeff Law
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't necessarily >> mean that they are interchangeable.  I don't

Re: C provenance semantics proposal

2019-04-18 Thread Jeff Law
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 optimizations of pointers (or only when additional condit

Re: C provenance semantics proposal

2019-04-18 Thread Uecker, Martin
Am Donnerstag, den 18.04.2019, 14:30 +0200 schrieb Richard Biener: > On Thu, Apr 18, 2019 at 1:57 PM Uecker, Martin > wrote: > > > > Am Donnerstag, den 18.04.2019, 11:56 +0200 schrieb Richard Biener: > > > On Thu, Apr 18, 2019 at 11:31 AM Richard Biener > > > wrote: > > > > > > > > The additio

Re: C provenance semantics proposal

2019-04-18 Thread Jakub Jelinek
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 > > > optimizations of pointers (or only when additional > > > conditions apply which make it safe) > > > > >

Re: C provenance semantics proposal

2019-04-18 Thread Jakub Jelinek
On Thu, Apr 18, 2019 at 02:42:22PM +0200, Richard Biener wrote: > > 1.) Compilers do not use conditional equivalences for > > optimizations of pointers (or only when additional > > conditions apply which make it safe) > > > > 2.) We make pointer comparison between a pointer > > and a one-after poin

Re: C provenance semantics proposal

2019-04-18 Thread Richard Biener
On Thu, Apr 18, 2019 at 2:20 PM 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't necessarily > > mean that they are interchan

Re: C provenance semantics proposal

2019-04-18 Thread Richard Biener
On Thu, Apr 18, 2019 at 1:57 PM Uecker, Martin wrote: > > Am Donnerstag, den 18.04.2019, 11:56 +0200 schrieb Richard Biener: > > On Thu, Apr 18, 2019 at 11:31 AM Richard Biener > > wrote: > > > > > > On Wed, Apr 17, 2019 at 4:12 PM Uecker, Martin > > > wrote: > > > > > > > > Am Mittwoch, den 17.

Re: C provenance semantics proposal

2019-04-18 Thread Uecker, Martin
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't necessarily > mean that they are interchangeable.  I don't see any good way to > avoid that in a provenance sem

Re: C provenance semantics proposal

2019-04-18 Thread Uecker, Martin
Am Donnerstag, den 18.04.2019, 11:56 +0200 schrieb Richard Biener: > On Thu, Apr 18, 2019 at 11:31 AM Richard Biener > wrote: > > > > On Wed, Apr 17, 2019 at 4:12 PM Uecker, Martin > > wrote: > > > > > > Am Mittwoch, den 17.04.2019, 15:34 +0200 schrieb Richard Biener: > > > > On Wed, Apr 17, 20

Re: [WIP][RFC] split of i386.c

2019-04-18 Thread Jan Hubička
Hello, the patch looks good to me. I think in the copyright comment you want to copy all the years of copyright of original i386.c since the code is not from 2019. also there are missing licence comments in the .h files. I would probably put the bigger machine specific optimization passes into sepa

Re: C provenance semantics proposal

2019-04-18 Thread Peter Sewell
On Thu, 18 Apr 2019 at 10:56, Richard Biener wrote: > > On Thu, Apr 18, 2019 at 11:31 AM Richard Biener > wrote: > > > > On Wed, Apr 17, 2019 at 4:12 PM Uecker, Martin > > wrote: > > > > > > Am Mittwoch, den 17.04.2019, 15:34 +0200 schrieb Richard Biener: > > > > On Wed, Apr 17, 2019 at 2:56 PM

Re: C provenance semantics proposal

2019-04-18 Thread Peter Sewell
On Thu, 18 Apr 2019 at 10:32, Richard Biener wrote: > > On Wed, Apr 17, 2019 at 4:12 PM Uecker, Martin > wrote: > > > > Am Mittwoch, den 17.04.2019, 15:34 +0200 schrieb Richard Biener: > > > On Wed, Apr 17, 2019 at 2:56 PM Uecker, Martin > > > wrote: > > > > > > > > Am Mittwoch, den 17.04.2019,

Re: C provenance semantics proposal

2019-04-18 Thread Richard Biener
On Thu, Apr 18, 2019 at 11:31 AM Richard Biener wrote: > > On Wed, Apr 17, 2019 at 4:12 PM Uecker, Martin > wrote: > > > > Am Mittwoch, den 17.04.2019, 15:34 +0200 schrieb Richard Biener: > > > On Wed, Apr 17, 2019 at 2:56 PM Uecker, Martin > > > wrote: > > > > > > > > Am Mittwoch, den 17.04.201

Re: C provenance semantics proposal

2019-04-18 Thread Richard Biener
On Wed, Apr 17, 2019 at 4:12 PM Uecker, Martin wrote: > > Am Mittwoch, den 17.04.2019, 15:34 +0200 schrieb Richard Biener: > > On Wed, Apr 17, 2019 at 2:56 PM Uecker, Martin > > wrote: > > > > > > Am Mittwoch, den 17.04.2019, 14:41 +0200 schrieb Richard Biener: > > > > On Wed, Apr 17, 2019 at 1:5