Code

make pointer_offset_exprt unsigned#6893

Code

Merged

tautschnig merged 5 commits intodevelopdiffblue/cbmc:developfrom

unsigned_pointer_offsetdiffblue/cbmc:unsigned_pointer_offsetCopy head branch name to clipboard

Jan 20, 2023

Commits

Commits on Jan 19, 2023

• Memory predicates test: avoid undefined behaviour

  Show description for 2864842
  tautschnig

  committed
  2864842

  Copy full SHA for 2864842

• Byte-operator lowering: ensure index type consistency

  Show description for 47df3ba
  tautschnig

  committed
  47df3ba

  Copy full SHA for 47df3ba

• replace_expr: check type consistency

  Show description for 9b6d003
  tautschnig

  committed
  9b6d003

  Copy full SHA for 9b6d003

• make pointer_offset_exprt unsigned

  Show description for f8cc13a
  

  kroening

  authored and

  tautschnig

  committed
  f8cc13a

  Copy full SHA for f8cc13a

• CONTRACTS: take unsigned offsets into account

  

  Remi Delmas

  authored and

  tautschnig

  committed
  7cb83c1

  Copy full SHA for 7cb83c1