Code

Accept null pointer casts#1098

Code

Merged

smowton merged 2 commits intodiffblue:test-gen-supportdiffblue/cbmc:test-gen-supportfrom

smowton:smowton/fix/cast_null_pointersmowton/cbmc:smowton/fix/cast_null_pointerCopy head branch name to clipboard

Jul 7, 2017

Commits

Commits on Jul 6, 2017

• check_class_cast: don't duplicate existing assertion

  Show description for ca3dbab
  smowton

  committed
  ca3dbab

  Copy full SHA for ca3dbab

• Don't throw ClassCastException when casting null pointer

  Show description for 73bd18d
  smowton

  committed
  73bd18d

  Copy full SHA for 73bd18d