Code

Add separate overflow expr classes#6744

Code

Merged

thomasspriggs merged 17 commits intodiffblue:developdiffblue/cbmc:developfrom

thomasspriggs:tas/overflow_expr_classesthomasspriggs/cbmc:tas/overflow_expr_classesCopy head branch name to clipboard

Mar 23, 2022

Commits

Commits on Mar 22, 2022

• Add `binary_predicate_exprt` sub classes

  thomasspriggs

  committed
  19db9a0

  Copy full SHA for 19db9a0

• Add `binary_predicate_exprt` sub class unit tests

  thomasspriggs

  committed
  0f6ae1c

  Copy full SHA for 0f6ae1c

• Add invariant on kind used to construct `binary_overflow_exprt`

  thomasspriggs

  committed
  5d7c21c

  Copy full SHA for 5d7c21c

• Use `mult_overflow_exprt` in `boolbvt::convert_overflow`

  thomasspriggs

  committed
  ce025e1

  Copy full SHA for ce025e1

• Use `shl_overflow_exprt` in `boolbvt::convert_overflow`

  thomasspriggs

  committed
  defc6d4

  Copy full SHA for defc6d4

• Use `plus/minus_overflow_exprt` in `boolbvt::convert_overflow`

  thomasspriggs

  committed
  0d36c43

  Copy full SHA for 0d36c43

• Use `binary_overflow_exprt` in `expr2ct::convert_with_precedence`

  thomasspriggs

  committed
  636ffa8

  Copy full SHA for 636ffa8

• Use `binary_overflow_exprt` in `boolbvt::convert_rest`

  thomasspriggs

  committed
  d4b17bd

  Copy full SHA for d4b17bd

• Use `plus/minus_overflow_exprt` in `smt2_convt`

  thomasspriggs

  committed
  533a902

  Copy full SHA for 533a902

• Use `mult_overflow_exprt` in `smt2_convt`

  thomasspriggs

  committed
  fdc0fc8

  Copy full SHA for fdc0fc8

• Use `minus_overflow_exprt` in `simplify_overflow_binary`

  thomasspriggs

  committed
  12a4451

  Copy full SHA for 12a4451

• Use `mult_overflow_exprt` in `simplify_overflow_binary`

  thomasspriggs

  committed
  4e3e8b9

  Copy full SHA for 4e3e8b9

• Use `plus_overflow_exprt` in `simplify_overflow_binary`

  thomasspriggs

  committed
  24c9da7

  Copy full SHA for 24c9da7

• Use `shl_overflow_exprt` in `simplify_overflow_binary`

  thomasspriggs

  committed
  7936b57

  Copy full SHA for 7936b57

• Use `binary_overflow_exprt` in `simplify_exprt::simplify_node`

  thomasspriggs

  committed
  98c80dc

  Copy full SHA for 98c80dc

• Add `unary_minus_overflow_exprt`

  thomasspriggs

  committed
  631aeb4

  Copy full SHA for 631aeb4

• Use `unary_minus_overflow_exprt`

  thomasspriggs

  committed
  c0f179c

  Copy full SHA for c0f179c