Code

clarify what is UB#149

Code

Merged

Gankra merged 21 commits intorust-lang:masterrust-lang/nomicon:masterfrom RalfJung:ubRalfJung/nomicon:ubCopy head branch name to clipboardAug 16, 2019

+35-9

Commits

Commits on Jul 20, 2019

• UB

  RalfJung

  committed
  dfb93b2

  Copy full SHA for dfb93b2

• list more ptr offset computations

  RalfJung

  committed
  1dcafde

  Copy full SHA for 1dcafde

• NonNull, NonZero*

  RalfJung

  committed
  280761a

  Copy full SHA for 280761a

• Define 'producing'

  RalfJung

  committed
  86d9e2c

  Copy full SHA for 86d9e2c

• handle recursion in the heading

  RalfJung

  committed
  3241c00

  Copy full SHA for 3241c00

• subsume the NonNull things as library types

  RalfJung

  committed
  909b14c

  Copy full SHA for 909b14c

• be more precise about dangling

  RalfJung

  committed
  f59eca2

  Copy full SHA for f59eca2

Commits on Jul 21, 2019

• stick to broader UB for raw ptr offsets/derefs for now

  RalfJung

  committed
  738a338

  Copy full SHA for 738a338

• avoid redundant UB

  RalfJung

  committed
  0f51082

  Copy full SHA for 0f51082

Commits on Jul 24, 2019

• add more cases of UB

  RalfJung

  committed
  efb5086

  Copy full SHA for efb5086

• mention !

  RalfJung

  committed
  df5ff63

  Copy full SHA for df5ff63

• explain when metadata is invalid

  RalfJung

  committed
  c41d492

  Copy full SHA for c41d492

• Apply suggestions from code review

  Show description for 1f613d8
  

  RalfJung

  and

  gnzlbg

  authored
  1f613d8

  Copy full SHA for 1f613d8

Commits on Jul 26, 2019

• raw ptrs must be initialized like integers

  RalfJung

  committed
  c73730b

  Copy full SHA for c73730b

Commits on Jul 28, 2019

• resolve some nits

  RalfJung

  committed
  bd6215e

  Copy full SHA for bd6215e

• refactor null a bit

  RalfJung

  committed
  7386b5c

  Copy full SHA for 7386b5c

Commits on Jul 29, 2019

• fold uninit integer rule with reading uninit memory

  RalfJung

  committed
  864625f

  Copy full SHA for 864625f

• fix def.n of dangling

  RalfJung

  committed
  64bf0a5

  Copy full SHA for 64bf0a5

Commits on Jul 31, 2019

• clarify dangling

  RalfJung

  committed
  86a89ae

  Copy full SHA for 86a89ae

Commits on Aug 16, 2019

• drop parenthetical

  RalfJung

  committed
  c5778a1

  Copy full SHA for c5778a1

• some edits

  RalfJung

  committed
  7703c18

  Copy full SHA for 7703c18