Code

Implementation of expr_dynamic_cast#1279

Code

Merged

smowton merged 8 commits intodiffblue:developdiffblue/cbmc:developfrom

NathanJPhillips:feature/expr_dynamic_castNathanJPhillips/cbmc:feature/expr_dynamic_castCopy head branch name to clipboard

Sep 22, 2017

Commits

Commits on Sep 19, 2017

• Implementation of expr_dynamic_cast

  

  NathanJPhillips

  authored and

  smowton

  committed
  de8a8d0

  Copy full SHA for de8a8d0

• Made validate_expr non-template

  

  NathanJPhillips

  authored and

  smowton

  committed
  d35710f

  Copy full SHA for d35710f

• Comment on types for which expr_dynamic_cast is not implemented

  

  NathanJPhillips

  authored and

  smowton

  committed
  95f6505

  Copy full SHA for 95f6505

• Used typeinfo functions instead of rolling own

  

  NathanJPhillips

  authored and

  smowton

  committed
  c372eb3

  Copy full SHA for c372eb3

• Renamed can_cast_expr

  

  NathanJPhillips

  authored and

  smowton

  committed
  775d9dd

  Copy full SHA for 775d9dd

• Code review fixup

  Show description for b8ab624
  

  NathanJPhillips

  authored and

  smowton

  committed
  b8ab624

  Copy full SHA for b8ab624

• Added a PRECONDITION assert/invariant

  Show description for 96f2d9e
  

  NathanJPhillips

  authored and

  smowton

  committed
  96f2d9e

  Copy full SHA for 96f2d9e

Commits on Sep 20, 2017

• Switch from pointers to optionalt

  smowton

  committed
  da4df03

  Copy full SHA for da4df03