Code

glossary: define pointer provenance#179

Code

Merged

RalfJung merged 15 commits intorust-lang:masterrust-lang/unsafe-code-guidelines:masterfrom

RalfJung:provenanceRalfJung/unsafe-code-guidelines:provenanceCopy head branch name to clipboard

Jul 28, 2019

Commits

Commits on Jul 28, 2019

• define provenance

  RalfJung

  committed
  e84a179

  Copy full SHA for e84a179

• location -> address

  RalfJung

  committed
  986b700

  Copy full SHA for 986b700

• try to clarify

  RalfJung

  committed
  01a2186

  Copy full SHA for 01a2186

• try to clarify more

  RalfJung

  committed
  41cc668

  Copy full SHA for 41cc668

• expand pointer provenance example

  RalfJung

  committed
  a403e9f

  Copy full SHA for a403e9f

• link to wrapping_offset docs

  RalfJung

  committed
  255187e

  Copy full SHA for 255187e

• provenance is ghost state

  RalfJung

  committed
  2c9b3c0

  Copy full SHA for 2c9b3c0

• explain what's wrong about the provenance

  RalfJung

  committed
  964f2e1

  Copy full SHA for 964f2e1

• clarify why this is UB

  RalfJung

  committed
  80edfa8

  Copy full SHA for 80edfa8

• provenance really is just ghost state

  RalfJung

  committed
  9faf042

  Copy full SHA for 9faf042

• wording

  RalfJung

  committed
  520c559

  Copy full SHA for 520c559

• compare with C/C++

  RalfJung

  committed
  5120b2a

  Copy full SHA for 5120b2a

• clarify what is UB

  RalfJung

  committed
  b1315e8

  Copy full SHA for b1315e8

• weasle words

  RalfJung

  committed
  24022e3

  Copy full SHA for 24022e3

• be more clear that the provenance example is just that

  RalfJung

  committed
  3d504f1

  Copy full SHA for 3d504f1