Code

Pointer cleanup#1154

Code

Merged

tautschnig merged 5 commits intomasterdiffblue/cbmc:masterfrom

pointer-cleanupdiffblue/cbmc:pointer-cleanupCopy head branch name to clipboard

Jul 20, 2017

Commits

Commits on Jul 20, 2017

• get rid of typet(ID_pointer)

  

  Daniel Kroening

  committed
  d0c9bd3

  Copy full SHA for d0c9bd3

• use pointer_type() instead of pointer_typet()

  

  Daniel Kroening

  committed
  13f3d5f

  Copy full SHA for 13f3d5f

• address_of now needs a pointer type

  

  Daniel Kroening

  committed
  636655d

  Copy full SHA for 636655d

• removed an assert

  

  Daniel Kroening

  committed
  d430319

  Copy full SHA for d430319

• include order cleanup

  

  Daniel Kroening

  committed
  db71221

  Copy full SHA for db71221