Code

Fix value-set make_member function#3570

Code

Merged

smowton merged 3 commits intodiffblue:developdiffblue/cbmc:developfrom

smowton:smowton/fix/value-set-member-type-safetysmowton/cbmc:smowton/fix/value-set-member-type-safetyCopy head branch name to clipboard

Dec 17, 2018

Commits

Commits on Dec 17, 2018

• get_subexpression_at_offset: use typecast_exprt for pointer-to-pointer casts

  Show description for 71fc87d
  smowton

  committed
  71fc87d

  Copy full SHA for 71fc87d

• Value-set: replace unsound typecast simplification with simplify_expr

  Show description for c1314ae
  smowton

  committed
  c1314ae

  Copy full SHA for c1314ae

• Enable previously-failing test Linking7/member-name-mismatch

  Show description for 8d88c97
  smowton

  committed
  8d88c97

  Copy full SHA for 8d88c97