Code

Clean-up use of guards#4188

Code

Merged

romainbrenguier merged 6 commits intodiffblue:developdiffblue/cbmc:developfrom

romainbrenguier:clean-up/unused-guardsromainbrenguier/cbmc:clean-up/unused-guardsCopy head branch name to clipboard

Feb 15, 2019

Commits

Commits on Feb 14, 2019

• Make dereference non-virtual

  Show description for e97fa0c
  romainbrenguier

  committed
  e97fa0c

  Copy full SHA for e97fa0c

• Remove unused guard argument from dereference

  Show description for e1e2c11
  romainbrenguier

  committed
  e1e2c11

  Copy full SHA for e1e2c11

• Remove unused guard argument of dereference_rec

  Show description for 919ae48
  romainbrenguier

  committed
  919ae48

  Copy full SHA for 919ae48

• Remove unused include of guard.h

  Show description for 560f0df
  romainbrenguier

  committed
  560f0df

  Copy full SHA for 560f0df

Commits on Feb 15, 2019

• Replace guardt by exprt::operandst in rw_set

  Show description for 2b5c3e0
  romainbrenguier

  committed
  2b5c3e0

  Copy full SHA for 2b5c3e0

• Remove unused code from goto_program_dereference

  Show description for cee38c5
  romainbrenguier

  committed
  cee38c5

  Copy full SHA for cee38c5