Code

Refactor boolbvt::convert_overflow#6752

Code

Merged

thomasspriggs merged 5 commits intodiffblue:developdiffblue/cbmc:developfrom

thomasspriggs:tas/refactor_convert_overflowthomasspriggs/cbmc:tas/refactor_convert_overflowCopy head branch name to clipboard

Mar 24, 2022

Commits

Commits on Mar 23, 2022

• Split `convert_overflow` into binary and unary variations

  Show description for e884c43
  thomasspriggs

  committed
  e884c43

  Copy full SHA for e884c43

• Factor out conversion of operands for `binary_overflow_exprt`

  thomasspriggs

  committed
  c0797f9

  Copy full SHA for c0797f9

• Factor out working out signedness in `convert_binary_overflow`

  thomasspriggs

  committed
  9b1a388

  Copy full SHA for 9b1a388

• Use can_cast_type inplace of type id in `convert_binary_overflow`

  thomasspriggs

  committed
  c5c5e91

  Copy full SHA for c5c5e91

• Remove lambda in `convert_binary_overflow`

  thomasspriggs

  committed
  fad0e20

  Copy full SHA for fad0e20