Overflow checking does not do the right thing on pointers #786
Description
The overflow operations in CBMC operate on integers, which does the wrong thing on pointers
{{ message }}
The overflow operations in CBMC operate on integers, which does the wrong thing on pointers