On 4/2/19 2:11 AM, Peter Sewell wrote:
> Dear all,
>
> continuing the discussion from the 2018 GNU Tools Cauldron, we
> (the WG14 C memory object model study group) now
> have a detailed proposal for pointer provenance semantics, refining
> the "provenance not via integers (PNVI)" model presented
On Fri, 12 Apr 2019 at 15:51, Jeff Law wrote:
>
> On 4/2/19 2:11 AM, Peter Sewell wrote:
> > Dear all,
> >
> > continuing the discussion from the 2018 GNU Tools Cauldron, we
> > (the WG14 C memory object model study group) now
> > have a detailed proposal for pointer provenance semantics, refining
Snapshot gcc-8-20190412 is now available on
ftp://gcc.gnu.org/pub/gcc/snapshots/8-20190412/
and on various mirrors, see http://gcc.gnu.org/mirrors.html for details.
This snapshot has been generated from the GCC 8 SVN branch
with the following options: svn://gcc.gnu.org/svn/gcc/branches/gcc-8
